==> Synchronizing chroot copy [/home/alhp/workspace/chroot/root] -> [build_37f77e80-84f0-4016-afbb-ee6e7cf037a3]...done ==> Making package: cvc4 1.8-3.1 (Sat Sep 2 01:35:20 2023) ==> Retrieving sources... -> Downloading cvc5-1.8.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1345k 0 1345k 0 0 1044k 0 --:--:-- 0:00:01 --:--:-- 1044k 100 4897k 0 4897k 0 0 2143k 0 --:--:-- 0:00:02 --:--:-- 3559k 100 7370k 0 7370k 0 0 2536k 0 --:--:-- 0:00:02 --:--:-- 3726k -> Downloading antlr-3.4-complete.jar... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:02 --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- 0:00:03 --:--:-- 0 100 2332k 100 2332k 0 0 566k 0 0:00:04 0:00:04 --:--:-- 566k -> Found cvc4-fix-headers.patch -> Found cvc4-gcc7.patch ==> Validating source files with sha512sums... cvc5-1.8.tar.gz ... Passed antlr-3.4-complete.jar ... Passed cvc4-fix-headers.patch ... Passed cvc4-gcc7.patch ... Passed ==> Making package: cvc4 1.8-3.1 (Sat Sep 2 01:35:29 2023) ==> Checking runtime dependencies... ==> Installing missing dependencies... [?25lresolving dependencies... looking for conflicting packages... Package (2) New Version Net Change Download Size extra/cln 1.3.6-4 2.53 MiB 0.93 MiB extra/libantlr3c 3.5.3-1 0.35 MiB 0.09 MiB Total Download Size: 1.02 MiB Total Installed Size: 2.89 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... cln-1.3.6-4-x86_64 downloading... libantlr3c-3.5.3-1-x86_64 downloading... checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing libantlr3c... installing cln... :: Running post-transaction hooks... (1/1) Updating the info directory file... [?25h==> Checking buildtime dependencies... ==> Installing missing dependencies... [?25l:: There are 4 providers available for java-runtime: :: Repository extra 1) jre-openjdk 2) jre11-openjdk 3) jre17-openjdk 4) jre8-openjdk Enter a number (default=1): resolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: harfbuzz will be installed before its freetype2 dependency Package (23) New Version Net Change extra/cppdap 1.58.0-1 1.62 MiB extra/freetype2 2.13.2-1 1.63 MiB extra/giflib 5.2.1-2 0.30 MiB extra/graphite 1:1.3.14-3 0.20 MiB extra/harfbuzz 8.1.1-1 3.77 MiB extra/hicolor-icon-theme 0.17-3 0.05 MiB extra/java-runtime-common 3-5 0.01 MiB extra/jre-openjdk-headless 20.0.2.u9-3 187.73 MiB extra/jsoncpp 1.9.5-2 0.73 MiB extra/lcms2 2.15-1 0.66 MiB extra/libjpeg-turbo 3.0.0-1 2.37 MiB extra/libnet 1:1.1.6-1 0.30 MiB core/libnsl 2.0.0-3 0.07 MiB extra/libpng 1.6.40-2 0.57 MiB extra/libtiff 4.5.1-1 5.91 MiB extra/libuv 1.46.0-1 0.58 MiB core/nspr 4.35-1 0.71 MiB core/nss 3.92-1 4.92 MiB core/python 3.11.5-1 75.23 MiB extra/rhash 1.4.3-1 0.32 MiB extra/cmake 3.27.4-1 71.14 MiB extra/jre-openjdk 20.0.2.u9-3 0.48 MiB extra/python-toml 0.10.2-9 0.20 MiB Total Installed Size: 359.50 MiB :: Proceed with installation? [Y/n] checking keyring... checking package integrity... loading package files... checking for file conflicts... :: Processing package changes... installing hicolor-icon-theme... installing jsoncpp... Optional dependencies for jsoncpp jsoncpp-doc: documentation installing libnsl... installing libuv... installing rhash... installing cppdap... installing cmake... Optional dependencies for cmake qt6-base: cmake-gui installing java-runtime-common... For the complete set of Java binaries to be available in your PATH, you need to re-login or source /etc/profile.d/jre.sh Please note that this package does not support forcing JAVA_HOME as former package java-common did installing nspr... installing nss... installing libjpeg-turbo... Optional dependencies for libjpeg-turbo java-runtime>11: for TurboJPEG Java wrapper [pending] installing libtiff... Optional dependencies for libtiff freeglut: for using tiffgt installing lcms2... installing libnet... installing libpng... installing graphite... Optional dependencies for graphite graphite-docs: Documentation installing harfbuzz... Optional dependencies for harfbuzz harfbuzz-utils: utilities installing freetype2... installing jre-openjdk-headless... Optional dependencies for jre-openjdk-headless java-rhino: for some JavaScript support installing giflib... installing jre-openjdk... when you use a non-reparenting window manager, set _JAVA_AWT_WM_NONREPARENTING=1 in /etc/profile.d/jre.sh Optional dependencies for jre-openjdk alsa-lib: for basic sound support gtk2: for the Gtk+ 2 look and feel - desktop usage gtk3: for the Gtk+ 3 look and feel - desktop usage installing python... Optional dependencies for python python-setuptools python-pip sqlite [installed] mpdecimal: for decimal xz: for lzma [installed] tk: for tkinter installing python-toml... [?25h==> Retrieving sources... -> Found cvc5-1.8.tar.gz -> Found antlr-3.4-complete.jar -> Found cvc4-fix-headers.patch -> Found cvc4-gcc7.patch ==> WARNING: Skipping all source file integrity checks. ==> Extracting sources... -> Extracting cvc5-1.8.tar.gz with bsdtar ==> Starting prepare()... (Stripping trailing CRs from patch; use --binary to disable.) patching file src/CMakeLists.txt Hunk #1 succeeded at 1021 (offset 106 lines). (Stripping trailing CRs from patch; use --binary to disable.) patching file src/parser/memory_mapped_input_buffer.cpp #!/bin/bash export CLASSPATH=/startdir/src/antlr-3.4-complete.jar:$CLASSPATH exec java org.antlr.Tool "$@" ==> Starting build()... CMake Deprecation Warning at CMakeLists.txt:1 (cmake_minimum_required): Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument value or use a ... suffix to tell CMake that the project does not need compatibility with older versions. -- The C compiler identification is GNU 13.2.1 -- The CXX compiler identification is GNU 13.2.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/bin/cc - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Building Production build -- Performing Test HAVE_FLAG_O3 -- Performing Test HAVE_FLAG_O3 - Success -- Configuring with C flag '-O3' -- Configuring with CXX flag '-O3' -- Performing Test HAVE_FLAG_Wall -- Performing Test HAVE_FLAG_Wall - Success -- Configuring with C flag '-Wall' -- Configuring with CXX flag '-Wall' -- Performing Test HAVE_FLAG_fexceptions -- Performing Test HAVE_FLAG_fexceptions - Success -- Configuring with C flag '-fexceptions' -- Performing Test HAVE_FLAG_Wno_deprecated -- Performing Test HAVE_FLAG_Wno_deprecated - Success -- Configuring with C flag '-Wno-deprecated' -- Configuring with CXX flag '-Wno-deprecated' -- Performing Test HAVE_FLAG_Wsuggest_override -- Performing Test HAVE_FLAG_Wsuggest_override - Success -- Configuring with CXX flag '-Wsuggest-override' -- Performing Test HAVE_FLAG_Wnon_virtual_dtor -- Performing Test HAVE_FLAG_Wnon_virtual_dtor - Success -- Configuring with CXX flag '-Wnon-virtual-dtor' -- Performing Test HAVE_FLAG_Wimplicit_fallthrough -- Performing Test HAVE_FLAG_Wimplicit_fallthrough - Success -- Configuring with C flag '-Wimplicit-fallthrough' -- Configuring with CXX flag '-Wimplicit-fallthrough' -- Performing Test HAVE_FLAG_Wshadow -- Performing Test HAVE_FLAG_Wshadow - Success -- Configuring with C flag '-Wshadow' -- Configuring with CXX flag '-Wshadow' -- Performing Test HAVE_FLAG_Wno_class_memaccess -- Performing Test HAVE_FLAG_Wno_class_memaccess - Success -- Configuring with CXX flag '-Wno-class-memaccess' -- Using GNU gold linker. CMake Warning (dev) at CMakeLists.txt:353 (find_package): Policy CMP0148 is not set: The FindPythonInterp and FindPythonLibs modules are removed. Run "cmake --help-policy CMP0148" for policy details. Use the cmake_policy command to set the policy and suppress this warning. This warning is for project developers. Use -Wno-dev to suppress it. -- Found PythonInterp: /usr/bin/python (found version "3.11.5") -- Found GMP: /usr/include -- Found GMP libs: /usr/lib/libgmp.so -- Found CLN: /usr/include (found suitable version "1.3.6", minimum required is "1.2.2") -- Found CLN libs: /usr/lib/libcln.so -- Performing Test CVC4_NEED_INT64_T_OVERLOADS -- Performing Test CVC4_NEED_INT64_T_OVERLOADS - Failed -- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD -- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD - Failed -- Looking for unistd.h -- Looking for unistd.h - not found -- Looking for C++ include ext/stdio_filebuf.h -- Looking for C++ include ext/stdio_filebuf.h - not found -- Looking for clock_gettime -- Looking for clock_gettime - not found -- Looking for clock_gettime in rt -- Looking for clock_gettime in rt - not found -- Looking for ffs -- Looking for ffs - not found -- Looking for optreset -- Looking for optreset - not found -- Looking for sigaltstack -- Looking for sigaltstack - not found -- Looking for strerror_r -- Looking for strerror_r - not found -- Looking for strtok_r -- Looking for strtok_r - not found -- Performing Test STRERROR_R_CHAR_P -- Performing Test STRERROR_R_CHAR_P - Failed -- Could NOT find Git (missing: GIT_EXECUTABLE) -- Looking for antlr3FileStreamNew -- Looking for antlr3FileStreamNew - not found -- Found ANTLR: /startdir/src/cvc5-1.8/antlr-3.4/bin/antlr3 -- Found ANTLR libs: /usr/lib/libantlr3c.so -- Found Java: /usr/bin/java (found version "20.0.2") found components: Runtime CVC4 1.8 Build profile : production GPL : on Best configuration : off Optimization level : off Assertions : off Debug symbols : off Debug context mem mgr : off Dumping : on Muzzle : off Proofs : on Statistics : on Tracing : off ASan : off UBSan : off TSan : off Coverage (gcov) : off Profiling (gprof) : off Unit tests : off Valgrind : off Shared libs : on Static binary : off Java SWIG bindings : off Python SWIG bindings : off Python bindings : off Python2 : off Python3 : off ABC : off CaDiCaL : off CryptoMiniSat : off drat2er : off GLPK : off Kissat : off LFSC : off MP library : cln Readline : off SymFPU : off CPPLAGS (-D...) : NDEBUG CVC4_DUMPING CVC4_PROOF CVC4_STATISTICS_ON CXXFLAGS : -march=x86-64-v3 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -Wp,-D_GLIBCXX_ASSERTIONS -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cvc4 -flto=auto -falign-functions=32 -O3 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess CFLAGS : -march=x86-64-v3 -O3 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -mpclmul -g -ffile-prefix-map=/startdir/src=/usr/src/debug/cvc4 -flto=auto -falign-functions=32 -O3 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow Linker flags : -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now,-z,pack-relative-relocs -flto=auto -falign-functions=32 -fuse-ld=gold Install prefix : /usr CVC4 license : GPLv3 (due to optional libraries; see below) Please note that CVC4 will be built against the following GPLed libraries: cln As these libraries are covered under the GPLv3, so is this build of CVC4. CVC4 is also available to you under the terms of the (modified) BSD license. If you prefer to license CVC4 under those terms, please configure CVC4 to disable all optional GPLed library dependencies (-DENABLE_BSD_ONLY=ON). Now change to 'build' and type 'make', followed by 'make check' or 'make install'. -- Configuring done (2.4s) -- Generating done (0.1s) -- Build files have been written to: /startdir/src/cvc5-1.8/build [ 0%] Generating git_versioninfo.cpp [ 1%] Generating options.cpp, options_holder.h, arith_options.cpp, arrays_options.cpp, base_options.cpp, booleans_options.cpp, builtin_options.cpp, bv_options.cpp, datatypes_options.cpp, decision_options.cpp, expr_options.cpp, fp_options.cpp, main_options.cpp, parser_options.cpp, printer_options.cpp, proof_options.cpp, prop_options.cpp, quantifiers_options.cpp, sep_options.cpp, sets_options.cpp, smt_options.cpp, strings_options.cpp, theory_options.cpp, uf_options.cpp, arith_options.h, arrays_options.h, base_options.h, booleans_options.h, builtin_options.h, bv_options.h, datatypes_options.h, decision_options.h, expr_options.h, fp_options.h, main_options.h, parser_options.h, printer_options.h, proof_options.h, prop_options.h, quantifiers_options.h, sep_options.h, sets_options.h, smt_options.h, strings_options.h, theory_options.h, uf_options.h [ 1%] Generating theory_traits.h [ 1%] Generating type_enumerator.cpp [ 1%] Generating cvc_tokens.h [ 1%] Generating smt2_tokens.h [ 1%] Generating tptp_tokens.h [ 1%] Generating kind.h [ 1%] Generating rewriter_tables.h [ 1%] Generating Debug_tags.tmp [ 1%] Built target gen-gitinfo [ 1%] Generating Trace_tags.tmp [ 1%] Generating metakind.h [ 1%] Built target gen-tokens [ 1%] Generating type_checker.cpp grep: warning: stray \ before " grep: warning: stray \ before " [ 2%] Generating type_properties.h grep: warning: stray \ before " grep: warning: stray \ before " [ 2%] Generating Debug_tags [ 2%] Generating Debug_tags.h [ 3%] Generating Trace_tags [ 3%] Generating Trace_tags.h [ 3%] Built target gen-tags [ 3%] Built target gen-options [ 4%] Generating kind.cpp [ 4%] Generating expr.h [ 4%] Built target gen-theory [ 4%] Generating expr_manager.h [ 4%] Generating expr.cpp [ 4%] Generating expr_manager.cpp [ 4%] Generating metakind.cpp [ 4%] Built target gen-expr [ 4%] Building CXX object src/CMakeFiles/cvc4.dir/decision/justification_heuristic.cpp.o [ 4%] Building C object src/CMakeFiles/cvc4.dir/lib/clock_gettime.c.o [ 4%] Building CXX object src/CMakeFiles/cvc4.dir/context/context_mm.cpp.o [ 4%] Building CXX object src/CMakeFiles/cvc4.dir/api/cvc4cpp.cpp.o [ 4%] Building CXX object src/CMakeFiles/cvc4.dir/context/context.cpp.o [ 4%] Building C object src/CMakeFiles/cvc4.dir/lib/ffs.c.o [ 5%] Building C object src/CMakeFiles/cvc4.dir/lib/strtok_r.c.o [ 6%] Building CXX object src/CMakeFiles/cvc4.dir/preprocessing/assertion_pipeline.cpp.o [ 6%] Building CXX object src/CMakeFiles/cvc4.dir/decision/decision_engine.cpp.o [ 6%] Building CXX object src/CMakeFiles/cvc4.dir/preprocessing/passes/ackermann.cpp.o In file included from /usr/include/time.h:33, from /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:51, from /startdir/src/cvc5-1.8/src/lib/clock_gettime.c:19: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected identifier before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:66:3: error: conflicting types for ‘clockid_t’; have ‘enum ’ 66 | } clockid_t; | ^~~~~~~~~ In file included from /usr/include/time.h:46: /usr/include/bits/types/clockid_t.h:7:21: note: previous declaration of ‘clockid_t’ with type ‘clockid_t’ {aka ‘int’} 7 | typedef __clockid_t clockid_t; | ^~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:68:6: error: conflicting types for ‘clock_gettime’; have ‘long int(int, struct timespec *)’ 68 | long clock_gettime(clockid_t which_clock, struct timespec* tp); | ^~~~~~~~~~~~~ /usr/include/time.h:289:12: note: previous declaration of ‘clock_gettime’ with type ‘int(clockid_t, struct timespec *)’ {aka ‘int(int, struct timespec *)’} 289 | extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) | ^~~~~~~~~~~~~ make[2]: *** [src/CMakeFiles/cvc4.dir/build.make:146: src/CMakeFiles/cvc4.dir/lib/clock_gettime.c.o] Error 1 make[2]: *** Waiting for unfinished jobs.... In file included from /usr/include/time.h:33, from /usr/include/pthread.h:23, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr-default.h:35, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr.h:148, from /usr/include/c++/13.2.1/ext/atomicity.h:35, from /usr/include/c++/13.2.1/bits/ios_base.h:39, from /usr/include/c++/13.2.1/ios:44, from /startdir/src/cvc5-1.8/src/./base/output.h:22, from /startdir/src/cvc5-1.8/src/./decision/decision_engine.h:24, from /startdir/src/cvc5-1.8/src/decision/decision_engine.cpp:16: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected identifier before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected ‘}’ before numeric constant In file included from /startdir/src/cvc5-1.8/src/./util/statistics_registry.h:48, from /startdir/src/cvc5-1.8/src/./proof/proof_manager.h:37, from /startdir/src/cvc5-1.8/src/./prop/cnf_stream.h:31, from /startdir/src/cvc5-1.8/src/./decision/decision_engine.h:28: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:61:14: note: to match this ‘{’ 61 | typedef enum { | ^ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected unqualified-id before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:66:3: error: declaration does not declare anything [-fpermissive] 66 | } clockid_t; | ^~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:68:6: error: ambiguating new declaration of ‘long int clock_gettime(clockid_t, timespec*)’ 68 | long clock_gettime(clockid_t which_clock, struct timespec* tp); | ^~~~~~~~~~~~~ /usr/include/time.h:289:12: note: old declaration ‘int clock_gettime(clockid_t, timespec*)’ 289 | extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) | ^~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:71:1: error: expected declaration before ‘}’ token 71 | }/* extern "C" */ | ^ In file included from /usr/include/time.h:33, from /usr/include/pthread.h:23, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr-default.h:35, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr.h:148, from /usr/include/c++/13.2.1/ext/atomicity.h:35, from /usr/include/c++/13.2.1/bits/ios_base.h:39, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /startdir/src/cvc5-1.8/src/./base/check.h:38, from /startdir/src/cvc5-1.8/build/src/expr/metakind.h:37, from /startdir/src/cvc5-1.8/src/./expr/node_value.h:24, from /startdir/src/cvc5-1.8/src/./expr/node.h:20, from /startdir/src/cvc5-1.8/src/./preprocessing/assertion_pipeline.h:23, from /startdir/src/cvc5-1.8/src/preprocessing/assertion_pipeline.cpp:16: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected identifier before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected ‘}’ before numeric constant In file included from /startdir/src/cvc5-1.8/src/./util/statistics_registry.h:48, from /startdir/src/cvc5-1.8/src/./proof/proof_manager.h:37, from /startdir/src/cvc5-1.8/src/preprocessing/assertion_pipeline.cpp:20: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:61:14: note: to match this ‘{’ 61 | typedef enum { | ^ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected unqualified-id before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:66:3: error: declaration does not declare anything [-fpermissive] 66 | } clockid_t; | ^~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:68:6: error: ambiguating new declaration of ‘long int clock_gettime(clockid_t, timespec*)’ 68 | long clock_gettime(clockid_t which_clock, struct timespec* tp); | ^~~~~~~~~~~~~ /usr/include/time.h:289:12: note: old declaration ‘int clock_gettime(clockid_t, timespec*)’ 289 | extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) | ^~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:71:1: error: expected declaration before ‘}’ token 71 | }/* extern "C" */ | ^ In file included from /usr/include/time.h:33, from /usr/include/pthread.h:23, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr-default.h:35, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr.h:148, from /usr/include/c++/13.2.1/ext/atomicity.h:35, from /usr/include/c++/13.2.1/bits/ios_base.h:39, from /usr/include/c++/13.2.1/ios:44, from /usr/include/c++/13.2.1/ostream:40, from /startdir/src/cvc5-1.8/src/./base/check.h:38, from /startdir/src/cvc5-1.8/build/src/expr/metakind.h:37, from /startdir/src/cvc5-1.8/src/./expr/node_value.h:24, from /startdir/src/cvc5-1.8/src/./expr/node.h:20, from /startdir/src/cvc5-1.8/src/./preprocessing/passes/ackermann.h:30, from /startdir/src/cvc5-1.8/src/preprocessing/passes/ackermann.cpp:24: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected identifier before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected ‘}’ before numeric constant In file included from /startdir/src/cvc5-1.8/src/./util/statistics_registry.h:48, from /startdir/src/cvc5-1.8/src/./proof/proof_manager.h:37, from /startdir/src/cvc5-1.8/src/./prop/cnf_stream.h:31, from /startdir/src/cvc5-1.8/src/./decision/decision_engine.h:28, from /startdir/src/cvc5-1.8/src/./preprocessing/preprocessing_pass_context.h:26, from /startdir/src/cvc5-1.8/src/./preprocessing/preprocessing_pass.h:37, from /startdir/src/cvc5-1.8/src/./preprocessing/passes/ackermann.h:31: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:61:14: note: to match this ‘{’ 61 | typedef enum { | ^ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected unqualified-id before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:66:3: error: declaration does not declare anything [-fpermissive] 66 | } clockid_t; | ^~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:68:6: error: ambiguating new declaration of ‘long int clock_gettime(clockid_t, timespec*)’ 68 | long clock_gettime(clockid_t which_clock, struct timespec* tp); | ^~~~~~~~~~~~~ /usr/include/time.h:289:12: note: old declaration ‘int clock_gettime(clockid_t, timespec*)’ 289 | extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) | ^~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:71:1: error: expected declaration before ‘}’ token 71 | }/* extern "C" */ | ^ In file included from /usr/include/time.h:33, from /usr/include/pthread.h:23, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr-default.h:35, from /usr/include/c++/13.2.1/x86_64-pc-linux-gnu/bits/gthr.h:148, from /usr/include/c++/13.2.1/ext/atomicity.h:35, from /usr/include/c++/13.2.1/bits/ios_base.h:39, from /usr/include/c++/13.2.1/streambuf:43, from /usr/include/c++/13.2.1/bits/streambuf_iterator.h:35, from /usr/include/c++/13.2.1/iterator:66, from /startdir/src/cvc5-1.8/src/./context/cdhashmap.h:87, from /startdir/src/cvc5-1.8/src/decision/justification_heuristic.h:28, from /startdir/src/cvc5-1.8/src/decision/justification_heuristic.cpp:19: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected identifier before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected ‘}’ before numeric constant In file included from /startdir/src/cvc5-1.8/src/./util/statistics_registry.h:48, from /startdir/src/cvc5-1.8/src/./proof/proof_manager.h:37, from /startdir/src/cvc5-1.8/src/./prop/cnf_stream.h:31, from /startdir/src/cvc5-1.8/src/./decision/decision_engine.h:28, from /startdir/src/cvc5-1.8/src/decision/justification_heuristic.h:32: /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:61:14: note: to match this ‘{’ 61 | typedef enum { | ^ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:62:3: error: expected unqualified-id before numeric constant 62 | CLOCK_REALTIME, | ^~~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:66:3: error: declaration does not declare anything [-fpermissive] 66 | } clockid_t; | ^~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:68:6: error: ambiguating new declaration of ‘long int clock_gettime(clockid_t, timespec*)’ 68 | long clock_gettime(clockid_t which_clock, struct timespec* tp); | ^~~~~~~~~~~~~ /usr/include/time.h:289:12: note: old declaration ‘int clock_gettime(clockid_t, timespec*)’ 289 | extern int clock_gettime (clockid_t __clock_id, struct timespec *__tp) | ^~~~~~~~~~~~~ /startdir/src/cvc5-1.8/src/./lib/clock_gettime.h:71:1: error: expected declaration before ‘}’ token 71 | }/* extern "C" */ | ^ make[2]: *** [src/CMakeFiles/cvc4.dir/build.make:188: src/CMakeFiles/cvc4.dir/preprocessing/assertion_pipeline.cpp.o] Error 1 make[2]: *** [src/CMakeFiles/cvc4.dir/build.make:118: src/CMakeFiles/cvc4.dir/decision/decision_engine.cpp.o] Error 1 make[2]: *** [src/CMakeFiles/cvc4.dir/build.make:132: src/CMakeFiles/cvc4.dir/decision/justification_heuristic.cpp.o] Error 1 In file included from /startdir/src/cvc5-1.8/src/./expr/node_manager.h:23, from /startdir/src/cvc5-1.8/src/./expr/node_value.h:404, from /startdir/src/cvc5-1.8/build/src/expr/metakind.h:142: /startdir/src/cvc5-1.8/src/./expr/node.h: In member function ‘CVC4::NodeTemplate CVC4::NodeTemplate::getOperator() const [with bool ref_count = false]’: /startdir/src/cvc5-1.8/src/./expr/node.h:1309:24: warning: control reaches end of non-void function [-Wreturn-type] 1309 | default: Unhandled() << mk; make[2]: *** [src/CMakeFiles/cvc4.dir/build.make:202: src/CMakeFiles/cvc4.dir/preprocessing/passes/ackermann.cpp.o] Error 1 make[1]: *** [CMakeFiles/Makefile2:335: src/CMakeFiles/cvc4.dir/all] Error 2 make: *** [Makefile:146: all] Error 2 ==> ERROR: A failure occurred in build(). Aborting... ==> ERROR: Build failed, check /home/alhp/workspace/chroot/build_37f77e80-84f0-4016-afbb-ee6e7cf037a3/build