Ticket #113: output.txt

File output.txt, 10.5 KB (added by John Lång, 14 months ago)
Line 
1[0/1] Install the project...
2-- Install configuration: "Release"
3-- Up-to-date: /opt/divine/lib/libunwind.so.1.0
4-- Up-to-date: /opt/divine/lib/libunwind.so.1
5-- Up-to-date: /opt/divine/lib/libunwind.so
6-- Up-to-date: /opt/divine/lib/libunwind.a
7-- Up-to-date: /opt/divine/lib/libc++abi.so.1.0
8-- Up-to-date: /opt/divine/lib/libc++abi.so.1
9-- Up-to-date: /opt/divine/lib/libc++abi.so
10-- Up-to-date: /opt/divine/lib/libc++abi.a
11-- Up-to-date: /opt/divine/include/c++/v1/cxxabi.h
12-- Up-to-date: /opt/divine/include/c++/v1/__cxxabi_config.h
13-- Up-to-date: /opt/divine/include/c++/v1/__bit_reference
14-- Up-to-date: /opt/divine/include/c++/v1/__bsd_locale_defaults.h
15-- Up-to-date: /opt/divine/include/c++/v1/__bsd_locale_fallbacks.h
16-- Up-to-date: /opt/divine/include/c++/v1/__errc
17-- Up-to-date: /opt/divine/include/c++/v1/__debug
18-- Up-to-date: /opt/divine/include/c++/v1/__functional_03
19-- Up-to-date: /opt/divine/include/c++/v1/__functional_base
20-- Up-to-date: /opt/divine/include/c++/v1/__functional_base_03
21-- Up-to-date: /opt/divine/include/c++/v1/__hash_table
22-- Up-to-date: /opt/divine/include/c++/v1/__libcpp_version
23-- Up-to-date: /opt/divine/include/c++/v1/__locale
24-- Up-to-date: /opt/divine/include/c++/v1/__mutex_base
25-- Up-to-date: /opt/divine/include/c++/v1/__node_handle
26-- Up-to-date: /opt/divine/include/c++/v1/__nullptr
27-- Up-to-date: /opt/divine/include/c++/v1/__split_buffer
28-- Up-to-date: /opt/divine/include/c++/v1/__sso_allocator
29-- Up-to-date: /opt/divine/include/c++/v1/__std_stream
30-- Up-to-date: /opt/divine/include/c++/v1/__string
31-- Up-to-date: /opt/divine/include/c++/v1/__threading_support
32-- Up-to-date: /opt/divine/include/c++/v1/__tree
33-- Up-to-date: /opt/divine/include/c++/v1/__tuple
34-- Up-to-date: /opt/divine/include/c++/v1/__undef_macros
35-- Up-to-date: /opt/divine/include/c++/v1/algorithm
36-- Up-to-date: /opt/divine/include/c++/v1/any
37-- Up-to-date: /opt/divine/include/c++/v1/array
38-- Up-to-date: /opt/divine/include/c++/v1/atomic
39-- Up-to-date: /opt/divine/include/c++/v1/bit
40-- Up-to-date: /opt/divine/include/c++/v1/bitset
41-- Up-to-date: /opt/divine/include/c++/v1/cassert
42-- Up-to-date: /opt/divine/include/c++/v1/ccomplex
43-- Up-to-date: /opt/divine/include/c++/v1/cctype
44-- Up-to-date: /opt/divine/include/c++/v1/cerrno
45-- Up-to-date: /opt/divine/include/c++/v1/cfenv
46-- Up-to-date: /opt/divine/include/c++/v1/cfloat
47-- Up-to-date: /opt/divine/include/c++/v1/charconv
48-- Up-to-date: /opt/divine/include/c++/v1/chrono
49-- Up-to-date: /opt/divine/include/c++/v1/cinttypes
50-- Up-to-date: /opt/divine/include/c++/v1/ciso646
51-- Up-to-date: /opt/divine/include/c++/v1/climits
52-- Up-to-date: /opt/divine/include/c++/v1/clocale
53-- Up-to-date: /opt/divine/include/c++/v1/cmath
54-- Up-to-date: /opt/divine/include/c++/v1/codecvt
55-- Up-to-date: /opt/divine/include/c++/v1/compare
56-- Up-to-date: /opt/divine/include/c++/v1/complex
57-- Up-to-date: /opt/divine/include/c++/v1/complex.h
58-- Up-to-date: /opt/divine/include/c++/v1/condition_variable
59-- Up-to-date: /opt/divine/include/c++/v1/csetjmp
60-- Up-to-date: /opt/divine/include/c++/v1/csignal
61-- Up-to-date: /opt/divine/include/c++/v1/cstdarg
62-- Up-to-date: /opt/divine/include/c++/v1/cstdbool
63-- Up-to-date: /opt/divine/include/c++/v1/cstddef
64-- Up-to-date: /opt/divine/include/c++/v1/cstdint
65-- Up-to-date: /opt/divine/include/c++/v1/cstdio
66-- Up-to-date: /opt/divine/include/c++/v1/cstdlib
67-- Up-to-date: /opt/divine/include/c++/v1/cstring
68-- Up-to-date: /opt/divine/include/c++/v1/ctgmath
69-- Up-to-date: /opt/divine/include/c++/v1/ctime
70-- Up-to-date: /opt/divine/include/c++/v1/ctype.h
71-- Up-to-date: /opt/divine/include/c++/v1/cwchar
72-- Up-to-date: /opt/divine/include/c++/v1/cwctype
73-- Up-to-date: /opt/divine/include/c++/v1/deque
74-- Up-to-date: /opt/divine/include/c++/v1/errno.h
75-- Up-to-date: /opt/divine/include/c++/v1/exception
76-- Up-to-date: /opt/divine/include/c++/v1/experimental/__config
77-- Up-to-date: /opt/divine/include/c++/v1/experimental/__memory
78-- Up-to-date: /opt/divine/include/c++/v1/experimental/algorithm
79-- Up-to-date: /opt/divine/include/c++/v1/experimental/coroutine
80-- Up-to-date: /opt/divine/include/c++/v1/experimental/deque
81-- Up-to-date: /opt/divine/include/c++/v1/experimental/filesystem
82-- Up-to-date: /opt/divine/include/c++/v1/experimental/forward_list
83-- Up-to-date: /opt/divine/include/c++/v1/experimental/functional
84-- Up-to-date: /opt/divine/include/c++/v1/experimental/iterator
85-- Up-to-date: /opt/divine/include/c++/v1/experimental/list
86-- Up-to-date: /opt/divine/include/c++/v1/experimental/map
87-- Up-to-date: /opt/divine/include/c++/v1/experimental/memory_resource
88-- Up-to-date: /opt/divine/include/c++/v1/experimental/propagate_const
89-- Up-to-date: /opt/divine/include/c++/v1/experimental/regex
90-- Up-to-date: /opt/divine/include/c++/v1/experimental/set
91-- Up-to-date: /opt/divine/include/c++/v1/experimental/simd
92-- Up-to-date: /opt/divine/include/c++/v1/experimental/string
93-- Up-to-date: /opt/divine/include/c++/v1/experimental/type_traits
94-- Up-to-date: /opt/divine/include/c++/v1/experimental/unordered_map
95-- Up-to-date: /opt/divine/include/c++/v1/experimental/unordered_set
96-- Up-to-date: /opt/divine/include/c++/v1/experimental/utility
97-- Up-to-date: /opt/divine/include/c++/v1/experimental/vector
98-- Up-to-date: /opt/divine/include/c++/v1/ext/__hash
99-- Up-to-date: /opt/divine/include/c++/v1/ext/hash_map
100-- Up-to-date: /opt/divine/include/c++/v1/ext/hash_set
101-- Up-to-date: /opt/divine/include/c++/v1/fenv.h
102-- Up-to-date: /opt/divine/include/c++/v1/filesystem
103-- Up-to-date: /opt/divine/include/c++/v1/float.h
104-- Up-to-date: /opt/divine/include/c++/v1/forward_list
105-- Up-to-date: /opt/divine/include/c++/v1/fstream
106-- Up-to-date: /opt/divine/include/c++/v1/functional
107-- Up-to-date: /opt/divine/include/c++/v1/future
108-- Up-to-date: /opt/divine/include/c++/v1/initializer_list
109-- Up-to-date: /opt/divine/include/c++/v1/inttypes.h
110-- Up-to-date: /opt/divine/include/c++/v1/iomanip
111-- Up-to-date: /opt/divine/include/c++/v1/ios
112-- Up-to-date: /opt/divine/include/c++/v1/iosfwd
113-- Up-to-date: /opt/divine/include/c++/v1/iostream
114-- Up-to-date: /opt/divine/include/c++/v1/istream
115-- Up-to-date: /opt/divine/include/c++/v1/iterator
116-- Up-to-date: /opt/divine/include/c++/v1/limits
117-- Up-to-date: /opt/divine/include/c++/v1/limits.h
118-- Up-to-date: /opt/divine/include/c++/v1/list
119-- Up-to-date: /opt/divine/include/c++/v1/locale
120-- Up-to-date: /opt/divine/include/c++/v1/locale.h
121-- Up-to-date: /opt/divine/include/c++/v1/map
122-- Up-to-date: /opt/divine/include/c++/v1/math.h
123-- Up-to-date: /opt/divine/include/c++/v1/memory
124-- Up-to-date: /opt/divine/include/c++/v1/module.modulemap
125-- Up-to-date: /opt/divine/include/c++/v1/mutex
126-- Up-to-date: /opt/divine/include/c++/v1/new
127-- Up-to-date: /opt/divine/include/c++/v1/numeric
128-- Up-to-date: /opt/divine/include/c++/v1/optional
129-- Up-to-date: /opt/divine/include/c++/v1/ostream
130-- Up-to-date: /opt/divine/include/c++/v1/queue
131-- Up-to-date: /opt/divine/include/c++/v1/random
132-- Up-to-date: /opt/divine/include/c++/v1/ratio
133-- Up-to-date: /opt/divine/include/c++/v1/regex
134-- Up-to-date: /opt/divine/include/c++/v1/scoped_allocator
135-- Up-to-date: /opt/divine/include/c++/v1/set
136-- Up-to-date: /opt/divine/include/c++/v1/setjmp.h
137-- Up-to-date: /opt/divine/include/c++/v1/shared_mutex
138-- Up-to-date: /opt/divine/include/c++/v1/span
139-- Up-to-date: /opt/divine/include/c++/v1/sstream
140-- Up-to-date: /opt/divine/include/c++/v1/stack
141-- Up-to-date: /opt/divine/include/c++/v1/stdbool.h
142-- Up-to-date: /opt/divine/include/c++/v1/stddef.h
143-- Up-to-date: /opt/divine/include/c++/v1/stdexcept
144-- Up-to-date: /opt/divine/include/c++/v1/stdint.h
145-- Up-to-date: /opt/divine/include/c++/v1/stdio.h
146-- Up-to-date: /opt/divine/include/c++/v1/stdlib.h
147-- Up-to-date: /opt/divine/include/c++/v1/streambuf
148-- Up-to-date: /opt/divine/include/c++/v1/string
149-- Up-to-date: /opt/divine/include/c++/v1/string.h
150-- Up-to-date: /opt/divine/include/c++/v1/string_view
151-- Up-to-date: /opt/divine/include/c++/v1/strstream
152-- Up-to-date: /opt/divine/include/c++/v1/system_error
153-- Up-to-date: /opt/divine/include/c++/v1/tgmath.h
154-- Up-to-date: /opt/divine/include/c++/v1/thread
155-- Up-to-date: /opt/divine/include/c++/v1/tuple
156-- Up-to-date: /opt/divine/include/c++/v1/type_traits
157-- Up-to-date: /opt/divine/include/c++/v1/typeindex
158-- Up-to-date: /opt/divine/include/c++/v1/typeinfo
159-- Up-to-date: /opt/divine/include/c++/v1/unordered_map
160-- Up-to-date: /opt/divine/include/c++/v1/unordered_set
161-- Up-to-date: /opt/divine/include/c++/v1/utility
162-- Up-to-date: /opt/divine/include/c++/v1/valarray
163-- Up-to-date: /opt/divine/include/c++/v1/variant
164-- Up-to-date: /opt/divine/include/c++/v1/vector
165-- Up-to-date: /opt/divine/include/c++/v1/version
166-- Up-to-date: /opt/divine/include/c++/v1/wchar.h
167-- Up-to-date: /opt/divine/include/c++/v1/wctype.h
168-- Up-to-date: /opt/divine/include/c++/v1/support/android/locale_bionic.h
169-- Up-to-date: /opt/divine/include/c++/v1/support/fuchsia/xlocale.h
170-- Up-to-date: /opt/divine/include/c++/v1/support/ibm/limits.h
171-- Up-to-date: /opt/divine/include/c++/v1/support/ibm/locale_mgmt_aix.h
172-- Up-to-date: /opt/divine/include/c++/v1/support/ibm/support.h
173-- Up-to-date: /opt/divine/include/c++/v1/support/ibm/xlocale.h
174-- Up-to-date: /opt/divine/include/c++/v1/support/musl/xlocale.h
175-- Up-to-date: /opt/divine/include/c++/v1/support/newlib/xlocale.h
176-- Up-to-date: /opt/divine/include/c++/v1/support/solaris/floatingpoint.h
177-- Up-to-date: /opt/divine/include/c++/v1/support/solaris/wchar.h
178-- Up-to-date: /opt/divine/include/c++/v1/support/solaris/xlocale.h
179-- Up-to-date: /opt/divine/include/c++/v1/support/win32/limits_msvc_win32.h
180-- Up-to-date: /opt/divine/include/c++/v1/support/win32/locale_win32.h
181-- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__nop_locale_mgmt.h
182-- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__posix_l_fallback.h
183-- Up-to-date: /opt/divine/include/c++/v1/support/xlocale/__strtonum_fallback.h
184-- Up-to-date: /opt/divine/include/c++/v1/__config
185-- Up-to-date: /opt/divine/lib/libc++.so.2.0
186-- Up-to-date: /opt/divine/lib/libc++.so.2
187-- Installing: /opt/divine/lib/libc++.so
188CMake Error at dios/libcxx/src/cmake_install.cmake:83 (file):
189  file RPATH_CHANGE could not write new RPATH:
190
191    /opt/divine/lib
192
193  to the file:
194
195    /opt/divine/lib/libc++.so
196
197  No valid ELF RPATH or RUNPATH entry exists in the file; File does not have
198  a valid ELF identification.
199Call Stack (most recent call first):
200  dios/libcxx/cmake_install.cmake:51 (include)
201  cmake_install.cmake:44 (include)
202
203
204FAILED: CMakeFiles/install.util
205cd /home/johnny/Lataukset/divine-4.4.2/_build.toolchain && /usr/bin/cmake -P cmake_install.cmake
206ninja: build stopped: subcommand failed.
207make: *** [Makefile:164: install] Error 1