From https://github.com/archlinux/svntogit-community * branch packages/stp -> FETCH_HEAD * [new branch] packages/stp -> community/packages/stp Cloning into 'stp'... done. :: 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 127k 100 127k 0 0 373k 0 --:--:-- --:--:-- --:--:-- 374k % 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 8404k 100 8404k 0 0 20.2M 0 --:--:-- --:--:-- --:--:-- 20.3M % 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 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=1695389371 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1695389371' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-stp-archlinuxrb-build-tdl61xBd PWD=/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk 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: stp 2.3.3-9 (Fri Sep 22 13:29:56 2023) ==> Checking runtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... warning: dependency cycle detected: warning: bosphorus will be installed before its cryptominisat dependency Packages (7) bosphorus-3.1.0-2 brial-1.2.12-2 libpng-1.6.40-2 m4ri-20200125-2 boost-libs-1.83.0-2 cryptominisat-5.11.14-1 minisat-2.2.1.20201216-1 Total Download Size: 4.50 MiB Total Installed Size: 16.44 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 2322k 100 2322k 0 0 120M 0 --:--:-- --:--:-- --:--:-- 125M % 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 88.5M 0 --:--:-- --:--:-- --:--:-- 121M % 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 108k 100 108k 0 0 2164k 0 --:--:-- --:--:-- --:--:-- 2176k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 28 751k 28 211k 0 0 248k 0 0:00:03 --:--:-- 0:00:03 248k 100 751k 100 751k 0 0 631k 0 0:00:01 0:00:01 --:--:-- 631k % 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 146k 100 146k 0 0 733k 0 --:--:-- --:--:-- --:--:-- 737k % 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 960k 100 960k 0 0 2706k 0 --:--:-- --:--:-- --:--:-- 2713k % 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 68330 100 68330 0 0 2941k 0 --:--:-- --:--:-- --:--:-- 3033k checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing boost-libs... Optional dependencies for boost-libs openmpi: for mpi support installing libpng... installing m4ri... installing brial... installing bosphorus... installing cryptominisat... Optional dependencies for cryptominisat python: python module [installed] installing minisat... :: Running post-transaction hooks... (1/1) Arming ConditionNeedsUpdate... ==> Checking buildtime dependencies... ==> Installing missing dependencies... resolving dependencies... looking for conflicting packages... Packages (10) cppdap-1.58.0-1 hicolor-icon-theme-0.17-3 jsoncpp-1.9.5-2 libuv-1.46.0-1 perl-locale-gettext-1.07-14 rhash-1.4.3-1 boost-1.83.0-2 cmake-3.27.6-1 help2man-1.49.3-1 ninja-1.11.1-3 Total Download Size: 26.91 MiB Total Installed Size: 254.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 14.4M 100 14.4M 0 0 126M 0 --:--:-- --:--:-- --:--:-- 126M % 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 770k 0 --:--:-- --:--:-- --:--:-- 815k % 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 17.6M 0 --:--:-- --:--:-- --:--:-- 18.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 238k 100 238k 0 0 27.5M 0 --:--:-- --:--:-- --:--:-- 29.1M % 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 171k 100 171k 0 0 55.5M 0 --:--:-- --:--:-- --:--:-- 83.8M % 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 33.8M 0 --:--:-- --:--:-- --:--:-- 36.3M % 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 146M 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 41125 100 41125 0 0 9365k 0 --:--:-- --:--:-- --:--:-- 9.8M % 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 193k 100 193k 0 0 56.4M 0 --:--:-- --:--:-- --:--:-- 63.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 145k 100 145k 0 0 19.7M 0 --:--:-- --:--:-- --:--:-- 20.2M checking keyring... checking package integrity... loading package files... checking for file conflicts... checking available disk space... :: Processing package changes... installing boost... Optional dependencies for boost python: for python bindings [installed] 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 [pending] qt6-base: cmake-gui installing perl-locale-gettext... installing help2man... installing ninja... :: Running post-transaction hooks... (1/3) Arming ConditionNeedsUpdate... (2/3) Warn about old perl modules (3/3) Updating the info directory file... ==> Retrieving sources... -> Downloading stp-2.3.3.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 110k 0 110k 0 0 232k 0 --:--:-- --:--:-- --:--:-- 232k 100 2517k 0 2517k 0 0 3447k 0 --:--:-- --:--:-- --:--:-- 9474k -> Found mandir.patch ==> Validating source files with sha256sums... stp-2.3.3.tar.gz ... Passed mandir.patch ... Passed ==> Extracting sources... -> Extracting stp-2.3.3.tar.gz with bsdtar ==> Starting prepare()... patching file CMakeLists.txt ==> Starting build()... CMake Warning (dev) at CMakeLists.txt:21 (project): cmake_minimum_required() should be called prior to this top-level project() call. Please see the cmake-commands(7) manual for usage documentation of both commands. This warning is for project developers. Use -Wno-dev to suppress it. -- 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 CMake Deprecation Warning at CMakeLists.txt:22 (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. -- You can choose the type of build, options are:Debug;Release;RelWithDebInfo;MinSizeRel CMake Warning (dev) at CMakeLists.txt:55 (set): implicitly converting 'String' to 'STRING' type. This warning is for project developers. Use -Wno-dev to suppress it. -- Doing a RelWithDebInfo build -- Performing Test HAVE_FLAG_STD_CPP11 -- Performing Test HAVE_FLAG_STD_CPP11 - Success -- Performing Test HAVE_FLAG_-Wall -- Performing Test HAVE_FLAG_-Wall - Success -- Performing Test HAVE_FLAG_-Wextra -- Performing Test HAVE_FLAG_-Wextra - Success -- Performing Test HAVE_FLAG_-Wunused -- Performing Test HAVE_FLAG_-Wunused - Success -- Performing Test HAVE_FLAG_-pedantic -- Performing Test HAVE_FLAG_-pedantic - Success -- Performing Test HAVE_FLAG_-Wsign-compare -- Performing Test HAVE_FLAG_-Wsign-compare - Success -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer -- Performing Test HAVE_FLAG_-fno-omit-frame-pointer - Success -- Performing Test HAVE_FLAG_-Wtype-limits -- Performing Test HAVE_FLAG_-Wtype-limits - Success -- Performing Test HAVE_FLAG_-Wuninitialized -- Performing Test HAVE_FLAG_-Wuninitialized - Success -- Performing Test HAVE_FLAG_-Wno-deprecated -- Performing Test HAVE_FLAG_-Wno-deprecated - Success -- Performing Test HAVE_FLAG_-Wstrict-aliasing -- Performing Test HAVE_FLAG_-Wstrict-aliasing - Success -- Performing Test HAVE_FLAG_-Wpointer-arith -- Performing Test HAVE_FLAG_-Wpointer-arith - Success -- Performing Test HAVE_FLAG_-Wheader-guard -- Performing Test HAVE_FLAG_-Wheader-guard - Failed -- Performing Test HAVE_FLAG_-Wformat-nonliteral -- Performing Test HAVE_FLAG_-Wformat-nonliteral - Success -- Performing Test HAVE_FLAG_-Winit-self -- Performing Test HAVE_FLAG_-Winit-self - Success -- Performing Test HAVE_FLAG_-Wparentheses -- Performing Test HAVE_FLAG_-Wparentheses - Success -- Performing Test HAVE_FLAG_-Wunreachable-code -- Performing Test HAVE_FLAG_-Wunreachable-code - Success -- GIT hash found: f054bcea80f0b46a0771256518707ba861b80a39 -- PROJECT_VERSION: 2.3.3 -- PROJECT_VERSION_MAJOR: 2 -- PROJECT_VERSION_MINOR: 3 -- PROJECT_VERSION_PATCH: 3 -- Found Boost: /usr/lib/cmake/Boost-1.83.0/BoostConfig.cmake (found suitable version "1.83.0", minimum required is "1.46") found components: program_options -- Boost -- found at library: Boost::program_options -- Boost -- adding '/usr/lib' to link directories -- Found CryptoMiniSat 5.x and C++11, allowing --cryptominisat5 option -- CryptoMiniSat5 dynamic lib: cryptominisat5 -- CryptoMiniSat5 static lib: cryptominisat5 -- CryptoMiniSat5 static lib deps: -- Found ZLIB: /usr/lib/libz.so (found version "1.3") -- Manpage will be created and installed -- Finding minisat headers... -- looking at: -- found: MINISAT_INCLUDE_DIR: /usr/include -- Finding minisat libs... -- looking at: -- found: MINISAT_LIBRARY: /lib/libminisat.so -- Found minisat: /lib/libminisat.so -- OK, found Minisat library under /lib/libminisat.so and Minisat include dirs under /usr/include -- Found BISON: /usr/sbin/bison (found version "3.8.2") -- Found FLEX: /usr/sbin/flex (found version "2.6.4") -- All defines at startup: -D__STDC_LIMIT_MACROS -DUSE_CRYPTOMINISAT CMake Warning (dev) at CMakeLists.txt:597 (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 suitable version "3.11.5", minimum required is "2.7") CMake Warning (dev) at CMakeLists.txt:598 (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 PythonLibs: /usr/lib/libpython3.11.so (found suitable version "3.11.5", minimum required is "2.7") -- PYTHON_EXECUTABLE:FILEPATH=/usr/sbin/python -- PYTHON_LIBRARY:FILEPATH=/usr/lib/libpython3.11.so -- PYTHON_INCLUDE_DIR:FILEPATH=/usr/include/python3.11 -- PYTHONLIBS_VERSION_STRING=3.11.5 -- OK, found python interpreter, libs and header files -- Python found, enabling python interface -- Final CXX flags -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 -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -- Found Perl: /usr/sbin/perl (found version "5.38.0") -- Looking for unistd.h -- Looking for unistd.h - found -- Performing Test HAVE_C_FLAG_-fPIC -- Performing Test HAVE_C_FLAG_-fPIC - Success :1: DeprecationWarning: The distutils package is deprecated and slated for removal in Python 3.12. Use setuptools or check PEP 632 for potential alternatives :1: DeprecationWarning: The distutils.sysconfig module is deprecated, use sysconfig instead -- Detected python site package directory /usr/lib/python3.11/site-packages CMake Warning at CMakeLists.txt:663 (message): Testing is disabled -- Configuring done (5.0s) -- Generating done (0.0s) -- Build files have been written to: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build [1/131] Generating ASTKind.cpp, ../../include/stp/AST/ASTKind.h [2/131] Running utility command for CopyPublicHeaders LEGACY: Copying c_interface.h to /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build/include/stp LEGACY: Copying cpp_interface.h to /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build/include/stp [3/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigCheck.c.o [4/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTKind.cpp.o [5/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigFanout.c.o [6/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOrder.c.o [7/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMem.c.o [8/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTable.c.o [9/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMffc.c.o [10/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigShow.c.o [11/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMan.c.o [12/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigObj.c.o [13/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRepr.c.o [14/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOper.c.o [15/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigSeq.c.o [16/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigScl.c.o [17/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigDfs.c.o [18/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRet.c.o [19/131] Building C object lib/extlib-abc/CMakeFiles/abc.dir/aig/aig/aigPart.c.o [20/131] Building CXX object lib/AST/CMakeFiles/AST.dir/NodeFactory/TypeChecker.cpp.o [21/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o FAILED: lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o /usr/sbin/c++ -DUSE_CRYPTOMINISAT -D__STDC_LIMIT_MACROS -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib -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 -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -O2 -g -std=gnu++11 -D STP_EXPORTS -g -pthread -O2 -fPIC -MD -MT lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o -MF lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o.d -o lib/AST/CMakeFiles/AST.dir/ASTInterior.cpp.o -c /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTInterior.cpp In file included from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTInternal.h:27, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTInterior.h:28, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTInterior.cpp:25: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type 77 | uint8_t getIteration() const; | ^~~~~~~ /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:31:1: note: 'uint8_t' is defined in header ''; did you forget to '#include '? 30 | #include "stp/Globals/Globals.h" +++ |+#include 31 | /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:78:21: error: 'uint8_t' has not been declared 78 | void setIteration(uint8_t v) const; | ^~~~~~~ [22/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTUtil.cpp.o [23/131] Building CXX object lib/Globals/CMakeFiles/stpglobals.dir/Globals.cpp.o [24/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o FAILED: lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o /usr/sbin/c++ -DUSE_CRYPTOMINISAT -D__STDC_LIMIT_MACROS -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib -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 -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -O2 -g -std=gnu++11 -D STP_EXPORTS -g -pthread -O2 -fPIC -MD -MT lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o -MF lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o.d -o lib/AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o -c /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTSymbol.cpp In file included from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTInternal.h:27, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTSymbol.h:28, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTSymbol.cpp:25: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type 77 | uint8_t getIteration() const; | ^~~~~~~ /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:31:1: note: 'uint8_t' is defined in header ''; did you forget to '#include '? 30 | #include "stp/Globals/Globals.h" +++ |+#include 31 | /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:78:21: error: 'uint8_t' has not been declared 78 | void setIteration(uint8_t v) const; | ^~~~~~~ [25/131] Building CXX object lib/AST/CMakeFiles/AST.dir/MutableASTNode.cpp.o [26/131] Building CXX object lib/AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o FAILED: lib/AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o /usr/sbin/c++ -DUSE_CRYPTOMINISAT -D__STDC_LIMIT_MACROS -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/build/include -I/tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib -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 -Wall -Wextra -Wunused -pedantic -Wsign-compare -fno-omit-frame-pointer -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wpointer-arith -Wformat-nonliteral -Winit-self -Wparentheses -Wunreachable-code -O2 -g -std=gnu++11 -D STP_EXPORTS -g -pthread -O2 -fPIC -MD -MT lib/AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o -MF lib/AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o.d -o lib/AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o -c /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/NodeFactory/SimplifyingNodeFactory.cpp In file included from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTInternal.h:27, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTBVConst.h:28, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/STPManager/STPManager.h:28, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/NodeFactory/SimplifyingNodeFactory.h:60, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/NodeFactory/SimplifyingNodeFactory.cpp:25: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type 77 | uint8_t getIteration() const; | ^~~~~~~ /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:31:1: note: 'uint8_t' is defined in header ''; did you forget to '#include '? 30 | #include "stp/Globals/Globals.h" +++ |+#include 31 | /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/AST/ASTNode.h:78:21: error: 'uint8_t' has not been declared 78 | void setIteration(uint8_t v) const; | ^~~~~~~ [27/131] Building CXX object lib/AST/CMakeFiles/AST.dir/NodeFactory/NodeFactory.cpp.o [28/131] Building CXX object lib/AST/CMakeFiles/AST.dir/NodeFactory/HashingNodeFactory.cpp.o [29/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTBVConst.cpp.o [30/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTNode.cpp.o [31/131] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/consteval.cpp.o [32/131] Building CXX object lib/AST/CMakeFiles/AST.dir/ASTmisc.cpp.o /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTmisc.cpp: In function 'bool stp::BVTypeCheck_term_kind(const ASTNode&, const Kind&)': /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTmisc.cpp:415:7: warning: this statement may fall through [-Wimplicit-fallthrough=] 415 | if (n.Degree() != 2) | ^~ /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AST/ASTmisc.cpp:418:5: note: here 418 | case BVOR: | ^~~~ [33/131] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/PropagateEqualities.cpp.o [34/131] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/BVSolver.cpp.o [35/131] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/ArrayTransformer.cpp.o [36/131] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/CounterExample.cpp.o In file included from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/vec.h:103, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/aig.h:57, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/ToSat/AIG/BBNodeAIG.h:28, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/ToSat/AIG/BBNodeManagerAIG.h:30, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/ToSat/AIG/ToSATAIG.h:32, from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/AbsRefineCounterExample/CounterExample.cpp:27: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/vecPtr.h: In function 'void Vec_PtrSort(Vec_Ptr_t*, int (*)())': /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/vecPtr.h:747:13: warning: cast between incompatible function types from 'int (*)()' to 'int (*)(const void*, const void*)' [-Wcast-function-type] 747 | (int (*)(const void *, const void *)) Vec_PtrSortCompare ); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/vecPtr.h: In function 'void Vec_PtrUniqify(Vec_Ptr_t*, int (*)())': /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/vecPtr.h:767:13: warning: cast between incompatible function types from 'int (*)()' to 'int (*)(const void*, const void*)' [-Wcast-function-type] 767 | (int (*)(const void *, const void *)) Vec_PtrSortCompare ); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/include/stp/ToSat/AIG/BBNodeManagerAIG.h:34: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/cnf_short.h: At global scope: /tmp/archlinux-ci/stp-archlinuxrb-build-tdl61xBd/stp/trunk/src/stp-2.3.3/lib/extlib-abc/cnf_short.h:90:29: warning: ISO C++ forbids zero-size array 'pFanins' [-Wpedantic] 90 | int pFanins[0]; // the fanins (followed by the truth table) | ^ [37/131] Building CXX object lib/AbsRefineCounterExample/CMakeFiles/abstractionrefinement.dir/AbstractionRefinement.cpp.o [38/131] Building CXX object lib/Simplifier/CMakeFiles/simplifier.dir/RemoveUnconstrained.cpp.o ninja: build stopped: subcommand failed. ==> ERROR: A failure occurred in build(). Aborting...