[0/1] Install the project... -- Install configuration: "Release" -- Up-to-date: /opt/divine/lib/libunwind.so.1.0 -- Up-to-date: /opt/divine/lib/libunwind.so.1 -- Up-to-date: /opt/divine/lib/libunwind.so -- Up-to-date: /opt/divine/lib/libunwind.a -- Up-to-date: /opt/divine/lib/libc++abi.so.1.0 -- Up-to-date: /opt/divine/lib/libc++abi.so.1 -- Up-to-date: /opt/divine/lib/libc++abi.so -- Up-to-date: /opt/divine/lib/libc++abi.a -- Up-to-date: /opt/divine/include/c++/v1/cxxabi.h -- Up-to-date: /opt/divine/include/c++/v1/__cxxabi_config.h -- Up-to-date: /opt/divine/include/c++/v1/__bit_reference -- Up-to-date: /opt/divine/include/c++/v1/__bsd_locale_defaults.h -- Up-to-date: /opt/divine/include/c++/v1/__bsd_locale_fallbacks.h -- Up-to-date: /opt/divine/include/c++/v1/__errc -- Up-to-date: /opt/divine/include/c++/v1/__debug -- Up-to-date: /opt/divine/include/c++/v1/__functional_03 -- Up-to-date: /opt/divine/include/c++/v1/__functional_base -- Up-to-date: /opt/divine/include/c++/v1/__functional_base_03 -- Up-to-date: /opt/divine/include/c++/v1/__hash_table -- Up-to-date: /opt/divine/include/c++/v1/__libcpp_version -- Up-to-date: /opt/divine/include/c++/v1/__locale -- Up-to-date: /opt/divine/include/c++/v1/__mutex_base -- Up-to-date: /opt/divine/include/c++/v1/__node_handle -- Up-to-date: /opt/divine/include/c++/v1/__nullptr -- Up-to-date: /opt/divine/include/c++/v1/__split_buffer -- Up-to-date: /opt/divine/include/c++/v1/__sso_allocator -- Up-to-date: /opt/divine/include/c++/v1/__std_stream -- Up-to-date: /opt/divine/include/c++/v1/__string -- Up-to-date: /opt/divine/include/c++/v1/__threading_support -- Up-to-date: /opt/divine/include/c++/v1/__tree -- Up-to-date: /opt/divine/include/c++/v1/__tuple -- Up-to-date: /opt/divine/include/c++/v1/__undef_macros -- Up-to-date: /opt/divine/include/c++/v1/algorithm -- Up-to-date: /opt/divine/include/c++/v1/any -- Up-to-date: /opt/divine/include/c++/v1/array -- Up-to-date: /opt/divine/include/c++/v1/atomic -- Up-to-date: /opt/divine/include/c++/v1/bit -- Up-to-date: /opt/divine/include/c++/v1/bitset -- Up-to-date: /opt/divine/include/c++/v1/cassert -- Up-to-date: /opt/divine/include/c++/v1/ccomplex -- Up-to-date: /opt/divine/include/c++/v1/cctype -- Up-to-date: /opt/divine/include/c++/v1/cerrno -- Up-to-date: /opt/divine/include/c++/v1/cfenv -- Up-to-date: /opt/divine/include/c++/v1/cfloat -- Up-to-date: /opt/divine/include/c++/v1/charconv -- Up-to-date: /opt/divine/include/c++/v1/chrono -- Up-to-date: /opt/divine/include/c++/v1/cinttypes -- Up-to-date: /opt/divine/include/c++/v1/ciso646 -- Up-to-date: /opt/divine/include/c++/v1/climits -- Up-to-date: /opt/divine/include/c++/v1/clocale -- Up-to-date: /opt/divine/include/c++/v1/cmath -- Up-to-date: /opt/divine/include/c++/v1/codecvt -- Up-to-date: /opt/divine/include/c++/v1/compare -- Up-to-date: /opt/divine/include/c++/v1/complex -- Up-to-date: /opt/divine/include/c++/v1/complex.h -- Up-to-date: /opt/divine/include/c++/v1/condition_variable -- Up-to-date: /opt/divine/include/c++/v1/csetjmp -- Up-to-date: /opt/divine/include/c++/v1/csignal -- Up-to-date: /opt/divine/include/c++/v1/cstdarg -- Up-to-date: /opt/divine/include/c++/v1/cstdbool -- Up-to-date: /opt/divine/include/c++/v1/cstddef -- Up-to-date: /opt/divine/include/c++/v1/cstdint -- Up-to-date: /opt/divine/include/c++/v1/cstdio -- Up-to-date: /opt/divine/include/c++/v1/cstdlib -- Up-to-date: /opt/divine/include/c++/v1/cstring -- Up-to-date: /opt/divine/include/c++/v1/ctgmath -- Up-to-date: /opt/divine/include/c++/v1/ctime -- Up-to-date: /opt/divine/include/c++/v1/ctype.h -- Up-to-date: /opt/divine/include/c++/v1/cwchar -- Up-to-date: /opt/divine/include/c++/v1/cwctype -- Up-to-date: /opt/divine/include/c++/v1/deque -- Up-to-date: /opt/divine/include/c++/v1/errno.h -- Up-to-date: /opt/divine/include/c++/v1/exception -- Up-to-date: /opt/divine/include/c++/v1/experimental/__config -- Up-to-date: /opt/divine/include/c++/v1/experimental/__memory -- Up-to-date: /opt/divine/include/c++/v1/experimental/algorithm -- Up-to-date: /opt/divine/include/c++/v1/experimental/coroutine -- Up-to-date: /opt/divine/include/c++/v1/experimental/deque -- Up-to-date: /opt/divine/include/c++/v1/experimental/filesystem -- Up-to-date: /opt/divine/include/c++/v1/experimental/forward_list -- Up-to-date: /opt/divine/include/c++/v1/experimental/functional -- Up-to-date: /opt/divine/include/c++/v1/experimental/iterator -- Up-to-date: /opt/divine/include/c++/v1/experimental/list -- Up-to-date: /opt/divine/include/c++/v1/experimental/map -- Up-to-date: /opt/divine/include/c++/v1/experimental/memory_resource -- Up-to-date: /opt/divine/include/c++/v1/experimental/propagate_const -- Up-to-date: /opt/divine/include/c++/v1/experimental/regex -- Up-to-date: /opt/divine/include/c++/v1/experimental/set -- Up-to-date: /opt/divine/include/c++/v1/experimental/simd -- Up-to-date: /opt/divine/include/c++/v1/experimental/string -- Up-to-date: /opt/divine/include/c++/v1/experimental/type_traits -- Up-to-date: /opt/divine/include/c++/v1/experimental/unordered_map -- Up-to-date: /opt/divine/include/c++/v1/experimental/unordered_set -- Up-to-date: /opt/divine/include/c++/v1/experimental/utility -- Up-to-date: /opt/divine/include/c++/v1/experimental/vector -- Up-to-date: /opt/divine/include/c++/v1/ext/__hash -- Up-to-date: /opt/divine/include/c++/v1/ext/hash_map -- Up-to-date: /opt/divine/include/c++/v1/ext/hash_set -- Up-to-date: /opt/divine/include/c++/v1/fenv.h -- Up-to-date: /opt/divine/include/c++/v1/filesystem -- Up-to-date: /opt/divine/include/c++/v1/float.h -- Up-to-date: /opt/divine/include/c++/v1/forward_list -- Up-to-date: /opt/divine/include/c++/v1/fstream -- Up-to-date: /opt/divine/include/c++/v1/functional -- Up-to-date: /opt/divine/include/c++/v1/future -- Up-to-date: /opt/divine/include/c++/v1/initializer_list -- Up-to-date: /opt/divine/include/c++/v1/inttypes.h -- Up-to-date: /opt/divine/include/c++/v1/iomanip -- Up-to-date: /opt/divine/include/c++/v1/ios -- Up-to-date: /opt/divine/include/c++/v1/iosfwd -- Up-to-date: /opt/divine/include/c++/v1/iostream -- Up-to-date: /opt/divine/include/c++/v1/istream -- Up-to-date: /opt/divine/include/c++/v1/iterator -- Up-to-date: /opt/divine/include/c++/v1/limits -- Up-to-date: /opt/divine/include/c++/v1/limits.h -- Up-to-date: /opt/divine/include/c++/v1/list -- Up-to-date: /opt/divine/include/c++/v1/locale -- Up-to-date: /opt/divine/include/c++/v1/locale.h -- Up-to-date: /opt/divine/include/c++/v1/map -- Up-to-date: /opt/divine/include/c++/v1/math.h -- Up-to-date: /opt/divine/include/c++/v1/memory -- Up-to-date: /opt/divine/include/c++/v1/module.modulemap -- Up-to-date: /opt/divine/include/c++/v1/mutex -- Up-to-date: /opt/divine/include/c++/v1/new -- Up-to-date: /opt/divine/include/c++/v1/numeric -- Up-to-date: /opt/divine/include/c++/v1/optional -- Up-to-date: /opt/divine/include/c++/v1/ostream -- Up-to-date: /opt/divine/include/c++/v1/queue -- Up-to-date: /opt/divine/include/c++/v1/random -- Up-to-date: /opt/divine/include/c++/v1/ratio -- Up-to-date: /opt/divine/include/c++/v1/regex -- Up-to-date: /opt/divine/include/c++/v1/scoped_allocator -- Up-to-date: /opt/divine/include/c++/v1/set -- Up-to-date: /opt/divine/include/c++/v1/setjmp.h -- Up-to-date: /opt/divine/include/c++/v1/shared_mutex -- Up-to-date: /opt/divine/include/c++/v1/span -- Up-to-date: /opt/divine/include/c++/v1/sstream -- Up-to-date: /opt/divine/include/c++/v1/stack -- Up-to-date: /opt/divine/include/c++/v1/stdbool.h -- Up-to-date: /opt/divine/include/c++/v1/stddef.h -- Up-to-date: /opt/divine/include/c++/v1/stdexcept -- Up-to-date: /opt/divine/include/c++/v1/stdint.h -- Up-to-date: /opt/divine/include/c++/v1/stdio.h -- Up-to-date: /opt/divine/include/c++/v1/stdlib.h -- Up-to-date: /opt/divine/include/c++/v1/streambuf -- Up-to-date: /opt/divine/include/c++/v1/string -- Up-to-date: /opt/divine/include/c++/v1/string.h -- Up-to-date: /opt/divine/include/c++/v1/string_view -- Up-to-date: /opt/divine/include/c++/v1/strstream -- Up-to-date: /opt/divine/include/c++/v1/system_error -- Up-to-date: /opt/divine/include/c++/v1/tgmath.h -- Up-to-date: /opt/divine/include/c++/v1/thread -- Up-to-date: /opt/divine/include/c++/v1/tuple -- Up-to-date: /opt/divine/include/c++/v1/type_traits -- Up-to-date: /opt/divine/include/c++/v1/typeindex -- Up-to-date: /opt/divine/include/c++/v1/typeinfo -- Up-to-date: /opt/divine/include/c++/v1/unordered_map -- Up-to-date: /opt/divine/include/c++/v1/unordered_set -- Up-to-date: /opt/divine/include/c++/v1/utility -- Up-to-date: /opt/divine/include/c++/v1/valarray -- Up-to-date: /opt/divine/include/c++/v1/variant -- Up-to-date: /opt/divine/include/c++/v1/vector -- Up-to-date: /opt/divine/include/c++/v1/version -- Up-to-date: /opt/divine/include/c++/v1/wchar.h -- Up-to-date: /opt/divine/include/c++/v1/wctype.h -- Up-to-date: /opt/divine/include/c++/v1/support/android/locale_bionic.h -- Up-to-date: /opt/divine/include/c++/v1/support/fuchsia/xlocale.h -- Up-to-date: /opt/divine/include/c++/v1/support/ibm/limits.h -- Up-to-date: /opt/divine/include/c++/v1/support/ibm/locale_mgmt_aix.h -- Up-to-date: /opt/divine/include/c++/v1/support/ibm/support.h -- Up-to-date: /opt/divine/include/c++/v1/support/ibm/xlocale.h -- Up-to-date: /opt/divine/include/c++/v1/support/musl/xlocale.h -- Up-to-date: /opt/divine/include/c++/v1/support/newlib/xlocale.h -- Up-to-date: /opt/divine/include/c++/v1/support/solaris/floatingpoint.h -- Up-to-date: /opt/divine/include/c++/v1/support/solaris/wchar.h -- Up-to-date: /opt/divine/include/c++/v1/support/solaris/xlocale.h -- Up-to-date: /opt/divine/include/c++/v1/support/win32/limits_msvc_win32.h -- Up-to-date: /opt/divine/include/c++/v1/support/win32/locale_win32.h -- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__nop_locale_mgmt.h -- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__posix_l_fallback.h -- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__strtonum_fallback.h -- Up-to-date: /opt/divine/include/c++/v1/__config -- Up-to-date: /opt/divine/lib/libc++.so.2.0 -- Up-to-date: /opt/divine/lib/libc++.so.2 -- Installing: /opt/divine/lib/libc++.so CMake Error at dios/libcxx/src/cmake_install.cmake:83 (file): file RPATH_CHANGE could not write new RPATH: /opt/divine/lib to the file: /opt/divine/lib/libc++.so No valid ELF RPATH or RUNPATH entry exists in the file; File does not have a valid ELF identification. Call Stack (most recent call first): dios/libcxx/cmake_install.cmake:51 (include) cmake_install.cmake:44 (include) FAILED: CMakeFiles/install.util cd /home/johnny/Lataukset/divine-4.4.2/_build.toolchain && /usr/bin/cmake -P cmake_install.cmake ninja: build stopped: subcommand failed. make: *** [Makefile:164: install] Error 1