[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
