==> Cloning cvc4 ... Cloning into 'cvc4'... ==> Collecting packager identity from makepkg.conf -> name : Reproducible Arch Linux tests -> email : reproducible@archlinux.org -> gpg-key : undefined -> protocol: https ==> Configuring cvc4 :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 131k 100 131k 0 0 385k 0 --:--:-- --:--:-- --:--:-- 385k 100 131k 100 131k 0 0 385k 0 --:--:-- --:--:-- --:--:-- 385k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8425k 100 8425k 0 0 21.4M 0 --:--:-- --:--:-- --:--:-- 21.4M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 141k 100 141k 0 0 415k 0 --:--:-- --:--:-- --:--:-- 415k 100 141k 100 141k 0 0 415k 0 --:--:-- --:--:-- --:--:-- 415k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ SOURCE_DATE_EPOCH=1701827875 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1701827875' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-cvc4-archlinuxrb-build-VcRZGOOD PWD=/tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4 LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: cvc4 1.8-3 (Wed Dec 6 01:58:29 2023) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (2) cln-1.3.6-4 libantlr3c-3.5.3-1 Total Download Size: 1.02 MiB Total Installed Size: 2.89 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 95156 100 95156 0 0 53.0M 0 --:--:-- --:--:-- --:--:-- 90.7M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 955k 100 955k 0 0 166M 0 --:--:-- --:--:-- --:--:-- 186M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing libantlr3c... installing cln... :: Running post-transaction hooks... (1/2) Arming ConditionNeedsUpdate... (2/2) Updating the info directory file... ==> Checking buildtime dependencies... ==> Installing missing dependencies... :: There are 5 providers available for java-runtime: :: Repository extra 1) jdk-openjdk 2) jre-openjdk 3) jre11-openjdk 4) jre17-openjdk 5) 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 Packages (22) cppdap-1.58.0-1 freetype2-2.13.2-1 giflib-5.2.1-2 graphite-1:1.3.14-3 harfbuzz-8.3.0-1 hicolor-icon-theme-0.17-3 java-environment-common-3-5 java-runtime-common-3-5 jbigkit-2.1-7 jsoncpp-1.9.5-2 lcms2-2.16-1 libjpeg-turbo-3.0.1-1 libnet-2:1.3-1 libpng-1.6.40-2 libtiff-4.6.0-2 libuv-1.47.0-1 nspr-4.35-1 nss-3.95-1 rhash-1.4.4-1 cmake-3.27.9-1 jdk-openjdk-21.u35-8 python-toml-0.10.2-9 Total Download Size: 475.29 MiB Total Installed Size: 1233.19 MiB :: Proceed with installation? [Y/n] :: Retrieving packages... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 10021 100 10021 0 0 7760k 0 --:--:-- --:--:-- --:--:-- 9786k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 151k 100 151k 0 0 116M 0 --:--:-- --:--:-- --:--:-- 147M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 240k 100 240k 0 0 149M 0 --:--:-- --:--:-- --:--:-- 234M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 172k 100 172k 0 0 130M 0 --:--:-- --:--:-- --:--:-- 168M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 335k 100 335k 0 0 160M 0 --:--:-- --:--:-- --:--:-- 327M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 11.2M 100 11.2M 0 0 180M 0 --:--:-- --:--:-- --:--:-- 180M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5077 100 5077 0 0 4948k 0 --:--:-- --:--:-- --:--:-- 4958k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 198k 100 198k 0 0 142M 0 --:--:-- --:--:-- --:--:-- 193M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1618k 100 1618k 0 0 171M 0 --:--:-- --:--:-- --:--:-- 175M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 536k 100 536k 0 0 151M 0 --:--:-- --:--:-- --:--:-- 174M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 52996 100 52996 0 0 49.3M 0 --:--:-- --:--:-- --:--:-- 50.5M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 961k 100 961k 0 0 164M 0 --:--:-- --:--:-- --:--:-- 187M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 220k 100 220k 0 0 139M 0 --:--:-- --:--:-- --:--:-- 214M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 294k 100 294k 0 0 153M 0 --:--:-- --:--:-- --:--:-- 288M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 248k 100 248k 0 0 150M 0 --:--:-- --:--:-- --:--:-- 242M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 85987 100 85987 0 0 74.0M 0 --:--:-- --:--:-- --:--:-- 82.0M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 1008k 100 1008k 0 0 163M 0 --:--:-- --:--:-- --:--:-- 196M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 523k 100 523k 0 0 151M 0 --:--:-- --:--:-- --:--:-- 170M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 2628 100 2628 0 0 3137k 0 --:--:-- --:--:-- --:--:-- 2566k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 75487 100 75487 0 0 72.7M 0 --:--:-- --:--:-- --:--:-- 71.9M % 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 457M 0 14087 0 0 38468 0 3:27:49 --:--:-- 3:27:49 38384 0 457M 0 449k 0 0 370k 0 0:21:05 0:00:01 0:21:04 370k 0 457M 0 3520k 0 0 1692k 0 0:04:36 0:00:02 0:04:34 1691k 1 457M 1 7994k 0 0 2590k 0 0:03:00 0:00:03 0:02:57 2589k 2 457M 2 12.9M 0 0 3246k 0 0:02:24 0:00:04 0:02:20 3245k 4 457M 4 20.6M 0 0 4126k 0 0:01:53 0:00:05 0:01:48 4441k 6 457M 6 30.8M 0 0 5149k 0 0:01:30 0:00:06 0:01:24 6327k 8 457M 8 37.9M 0 0 5439k 0 0:01:26 0:00:07 0:01:19 6976k 10 457M 10 47.5M 0 0 5957k 0 0:01:18 0:00:08 0:01:10 8003k 12 457M 12 57.4M 0 0 6476k 0 0:01:12 0:00:09 0:01:03 9129k 14 457M 14 68.3M 0 0 6936k 0 0:01:07 0:00:10 0:00:57 9823k 16 457M 16 75.0M 0 0 6926k 0 0:01:07 0:00:11 0:00:56 9121k 17 457M 17 80.9M 0 0 6861k 0 0:01:08 0:00:12 0:00:56 8923k 18 457M 18 86.6M 0 0 6775k 0 0:01:09 0:00:13 0:00:56 8132k 20 457M 20 93.1M 0 0 6757k 0 0:01:09 0:00:14 0:00:55 7265k 21 457M 21 98.8M 0 0 6690k 0 0:01:10 0:00:15 0:00:55 6198k 22 457M 22 103M 0 0 6584k 0 0:01:11 0:00:16 0:00:55 5834k 23 457M 23 109M 0 0 6509k 0 0:01:11 0:00:17 0:00:54 5670k 24 457M 24 114M 0 0 6474k 0 0:01:12 0:00:18 0:00:54 5684k 26 457M 26 119M 0 0 6427k 0 0:01:12 0:00:19 0:00:53 5492k 27 457M 27 125M 0 0 6374k 0 0:01:13 0:00:20 0:00:53 5408k 28 457M 28 130M 0 0 6340k 0 0:01:13 0:00:21 0:00:52 5543k 29 457M 29 136M 0 0 6314k 0 0:01:14 0:00:22 0:00:52 5632k 30 457M 30 141M 0 0 6286k 0 0:01:14 0:00:23 0:00:51 5608k 32 457M 32 147M 0 0 6262k 0 0:01:14 0:00:24 0:00:50 5637k 33 457M 33 153M 0 0 6243k 0 0:01:15 0:00:25 0:00:50 5724k 34 457M 34 159M 0 0 6231k 0 0:01:15 0:00:26 0:00:49 5777k 36 457M 36 164M 0 0 6237k 0 0:01:15 0:00:27 0:00:48 5899k 37 457M 37 171M 0 0 6256k 0 0:01:14 0:00:28 0:00:46 6116k 38 457M 38 178M 0 0 6270k 0 0:01:14 0:00:29 0:00:45 6306k 40 457M 40 185M 0 0 6311k 0 0:01:14 0:00:30 0:00:44 6654k 42 457M 42 193M 0 0 6376k 0 0:01:13 0:00:31 0:00:42 7135k 44 457M 44 202M 0 0 6446k 0 0:01:12 0:00:32 0:00:40 7577k 46 457M 46 212M 0 0 6564k 0 0:01:11 0:00:33 0:00:38 8296k 48 457M 48 223M 0 0 6685k 0 0:01:10 0:00:34 0:00:36 9041k 50 457M 50 230M 0 0 6721k 0 0:01:09 0:00:35 0:00:34 9169k 51 457M 51 237M 0 0 6733k 0 0:01:09 0:00:36 0:00:33 8973k 53 457M 53 244M 0 0 6741k 0 0:01:09 0:00:37 0:00:32 8629k 54 457M 54 251M 0 0 6758k 0 0:01:09 0:00:38 0:00:31 8045k 56 457M 56 257M 0 0 6751k 0 0:01:09 0:00:39 0:00:30 7210k 57 457M 57 265M 0 0 6771k 0 0:01:09 0:00:40 0:00:29 7125k 59 457M 59 272M 0 0 6797k 0 0:01:08 0:00:41 0:00:27 7260k 61 457M 61 280M 0 0 6816k 0 0:01:08 0:00:42 0:00:26 7374k 62 457M 62 287M 0 0 6834k 0 0:01:08 0:00:43 0:00:25 7415k 64 457M 64 295M 0 0 6852k 0 0:01:08 0:00:44 0:00:24 7637k 66 457M 66 302M 0 0 6870k 0 0:01:08 0:00:45 0:00:23 7659k 67 457M 67 310M 0 0 6900k 0 0:01:07 0:00:46 0:00:21 7749k 69 457M 69 318M 0 0 6923k 0 0:01:07 0:00:47 0:00:20 7826k 71 457M 71 325M 0 0 6927k 0 0:01:07 0:00:48 0:00:19 7731k 72 457M 72 333M 0 0 6959k 0 0:01:07 0:00:49 0:00:18 7907k 74 457M 74 342M 0 0 7004k 0 0:01:06 0:00:50 0:00:16 8233k 76 457M 76 352M 0 0 7055k 0 0:01:06 0:00:51 0:00:15 8484k 79 457M 79 362M 0 0 7120k 0 0:01:05 0:00:52 0:00:13 8965k 81 457M 81 373M 0 0 7200k 0 0:01:05 0:00:53 0:00:12 9804k 84 457M 84 386M 0 0 7303k 0 0:01:04 0:00:54 0:00:10 10.4M 87 457M 87 399M 0 0 7434k 0 0:01:03 0:00:55 0:00:08 11.4M 90 457M 90 412M 0 0 7516k 0 0:01:02 0:00:56 0:00:06 11.9M 91 457M 91 418M 0 0 7497k 0 0:01:02 0:00:57 0:00:05 11.1M 92 457M 92 423M 0 0 7459k 0 0:01:02 0:00:58 0:00:04 9.9M 93 457M 93 429M 0 0 7438k 0 0:01:02 0:00:59 0:00:03 8893k 95 457M 95 436M 0 0 7435k 0 0:01:02 0:01:00 0:00:02 7445k 96 457M 96 442M 0 0 7424k 0 0:01:03 0:01:01 0:00:02 6386k 98 457M 98 449M 0 0 7416k 0 0:01:03 0:01:02 0:00:01 6478k 99 457M 99 455M 0 0 7400k 0 0:01:03 0:01:03 --:--:-- 6705k 100 457M 100 457M 0 0 7405k 0 0:01:03 0:01:03 --:--:-- 6920k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 46523 100 46523 0 0 28.5M 0 --:--:-- --:--:-- --:--:-- 44.3M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing hicolor-icon-theme... installing jsoncpp... Optional dependencies for jsoncpp jsoncpp-doc: documentation installing libuv... installing rhash... installing cppdap... installing cmake... Optional dependencies for cmake make: for unix Makefile generator [installed] ninja: for ninja generator 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 jbigkit... 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 java-environment-common... installing giflib... installing jdk-openjdk... Optional dependencies for jdk-openjdk java-rhino: for some JavaScript support 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-toml... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> 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 100 1468k 0 1468k 0 0 2550k 0 --:--:-- --:--:-- --:--:-- 2550k 100 6846k 0 6846k 0 0 4344k 0 --:--:-- 0:00:01 --:--:-- 5378k 100 7370k 0 7370k 0 0 4439k 0 --:--:-- 0:00:01 --:--:-- 5445k -> 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 100 2332k 100 2332k 0 0 7203k 0 --:--:-- --:--:-- --:--:-- 7221k -> 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 ==> 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=/tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4/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/sbin/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/sbin/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/sbin/python (found version "3.11.6") -- 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 - found -- Looking for C++ include ext/stdio_filebuf.h -- Looking for C++ include ext/stdio_filebuf.h - found -- Looking for clock_gettime -- Looking for clock_gettime - found -- Looking for ffs -- Looking for ffs - found -- Looking for optreset -- Looking for optreset - not found -- Looking for sigaltstack -- Looking for sigaltstack - found -- Looking for strerror_r -- Looking for strerror_r - found -- Looking for strtok_r -- Looking for strtok_r - found -- Performing Test STRERROR_R_CHAR_P -- Performing Test STRERROR_R_CHAR_P - Failed -- Found Git: /usr/sbin/git (found version "2.43.0") -- Looking for antlr3FileStreamNew -- Looking for antlr3FileStreamNew - found -- Found ANTLR: /tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4/src/cvc5-1.8/antlr-3.4/bin/antlr3 -- Found ANTLR libs: /usr/lib/libantlr3c.so -- Found Java: /usr/sbin/java (found version "21.0.0") 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 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -Wp,-D_GLIBCXX_ASSERTIONS -O3 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess CFLAGS : -march=x86-64 -mtune=generic -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 -Wformat -Werror=format-security -fstack-clash-protection -fcf-protection -O3 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow Linker flags : -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now -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 (7.3s) -- Generating done (0.3s) -- Build files have been written to: /tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4/src/cvc5-1.8/build [ 1%] Generating type_enumerator.cpp [ 1%] Generating git_versioninfo.cpp [ 1%] Generating theory_traits.h [ 1%] Generating rewriter_tables.h [ 1%] Generating kind.h [ 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 metakind.h [ 1%] Generating type_checker.cpp [ 1%] Generating cvc_tokens.h [ 1%] Generating smt2_tokens.h [ 1%] Generating Debug_tags.tmp [ 2%] Generating type_properties.h [ 2%] Generating Trace_tags.tmp [ 2%] Built target gen-gitinfo [ 2%] Generating tptp_tokens.h grep: warning: stray \ before " grep: warning: stray \ before " grep: warning: stray \ before " grep: warning: stray \ before " [ 2%] Built target gen-tokens [ 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 /tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4/src/cvc5-1.8/src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} make[2]: *** [src/expr/CMakeFiles/gen-expr.dir/build.make:114: src/expr/expr.h] Error 1 make[2]: *** Deleting file 'src/expr/expr.h' make[2]: *** Waiting for unfinished jobs.... /tmp/archlinux-ci/cvc4-archlinuxrb-build-VcRZGOOD/cvc4/src/cvc5-1.8/src/expr/metakind_template.h:0: error: undefined replacement ${metakind_getConst_decls} make[2]: *** [src/expr/CMakeFiles/gen-expr.dir/build.make:220: src/expr/metakind.h] Error 1 make[2]: *** Deleting file 'src/expr/metakind.h' make[1]: *** [CMakeFiles/Makefile2:413: src/expr/CMakeFiles/gen-expr.dir/all] Error 2 make: *** [Makefile:146: all] Error 2 ==> ERROR: A failure occurred in build(). Aborting...