You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build.
Maintainer: [email protected] Log URL: https://pkg-status.freebsd.org/foul2/data/132powerpc64le-quarterly/99a6c47c25cb/logs/cvc5-1.0.5_2.log Build URL: https://pkg-status.freebsd.org/foul2/build.html?mastername=132powerpc64le-quarterly&build=99a6c47c25cb Log: =>> Building math/cvc5 build started at Thu Sep 21 08:56:45 UTC 2023 port directory: /usr/ports/math/cvc5 package name: cvc5-1.0.5_2 building for: FreeBSD 132powerpc64le-quarterly-job-22 13.2-RELEASE FreeBSD 13.2-RELEASE powerpc maintained by: [email protected] Makefile ident: Poudriere version: 3.2.8-23-ga7f8d188 Host OSVERSION: 1500000 Jail OSVERSION: 1302001 Job Id: 22 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE UNAME_r=13.2-RELEASE BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8-23-ga7f8d188 MASTERMNT=/usr/local/poudriere/data/.m/132powerpc64le-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/132powerpc64le-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=132powerpc64le-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/132powerpc64le-quarterly/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for cvc5-1.0.5_2: COCOALIB=off: Use CoCoALib for further polynomial operations EDITLINE=on: Use Editline for better interactive support JAVA=on: Java platform support ====> Options available for the group SOLVERS CRYPTOMINISAT=on: Use CryptoMiniSat as the SAT solver KISSAT=off: Use Kissat solver ====> Options available for the radio NUMLIB: you can only select none or one of them GMP=on: Use GMP numeric library CLN=off: Use CLN numeric library ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- [email protected] --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc5/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc5/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cvc5/work/.cache HOME=/wrkdirs/usr/ports/math/cvc5/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc5/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cvc5/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local" --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc5/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc5/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cvc5/work/.cache HOME=/wrkdirs/usr/ports/math/cvc5/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc5/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cvc5/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/cvc5/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" -fstack-protector-strong -L/usr/local/lib " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CLN="@comment " NO_CLN="" COCOALIB="@comment " NO_COCOALIB="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " EDITLINE="" NO_EDITLINE="@comment " GMP="" NO_GMP="@comment " JAVA="" NO_JAVA="@comment " KISSAT="@comment " NO_KISSAT="" JAVASHAREDIR="share/java" JAVAJARDIR="share/java/classes" CMAKE_BUILD_TYPE="production" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cvc5" EXAMPLESDIR="share/examples/cvc5" DATADIR="share/cvc5" WWWDIR="www/cvc5" ETCDIR="etc/cvc5" --End PLIST_SUB-- --SUB_LIST-- CLN="@comment " NO_CLN="" COCOALIB="@comment " NO_COCOALIB="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " EDITLINE="" NO_EDITLINE="@comment " GMP="" NO_GMP="@comment " JAVA="" NO_JAVA="@comment " KISSAT="@comment " NO_KISSAT="" JAVASHAREDIR="/usr/local/share/java" JAVAJARDIR="/usr/local/share/java/classes" JAVALIBDIR="/usr/local/share/java/classes" PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cvc5 DOCSDIR=/usr/local/share/doc/cvc5 EXAMPLESDIR=/usr/local/share/examples/cvc5 WWWDIR=/usr/local/www/cvc5 ETCDIR=/usr/local/etc/cvc5 --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: powerpc64le-unknown-freebsd13.2 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: powerpc64le-unknown-freebsd13.2 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_53255a77=yes CC_OUTPUT_921dbbb2_911cfe02=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes CC_OUTPUT_921dbbb2_af59ad06=yes CC_OUTPUT_921dbbb2_a15f3fcf=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: powerpc64le-unknown-freebsd13.2 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc64le OPSYS=FreeBSD _OSRELEASE=13.2-RELEASE OSREL=13.2 OSVERSION=1302001 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 1024 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =======================<phase: check-sanity >============================ ===> License BSD3CLAUSE accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> cvc5-1.0.5_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.19.2.pkg [132powerpc64le-quarterly-job-22] Installing pkg-1.19.2... [132powerpc64le-quarterly-job-22] Extracting pkg-1.19.2: .......... done ===> cvc5-1.0.5_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc5-1.0.5_2 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License BSD3CLAUSE accepted by the user ===> Fetching all distfiles required by cvc5-1.0.5_2 for building =========================================================================== =======================<phase: checksum >============================ ===> License BSD3CLAUSE accepted by the user ===> Fetching all distfiles required by cvc5-1.0.5_2 for building => SHA256 Checksum OK for antlr-3.4-complete.jar. => SHA256 Checksum OK for cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ =========================================================================== =======================<phase: extract >============================ ===> License BSD3CLAUSE accepted by the user ===> Fetching all distfiles required by cvc5-1.0.5_2 for building ===> Extracting for cvc5-1.0.5_2 => SHA256 Checksum OK for antlr-3.4-complete.jar. => SHA256 Checksum OK for cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ =========================================================================== =======================<phase: patch >============================ ===> Patching for cvc5-1.0.5_2 ===> Applying FreeBSD patches for cvc5-1.0.5_2 from /usr/ports/math/cvc5/files =========================================================================== =======================<phase: build-depends >============================ ===> cvc5-1.0.5_2 depends on executable: bash - not found ===> Installing existing package /packages/All/bash-5.2.15.pkg <snip> [1;34mLinker flags : [32m -fstack-protector-strong -L/usr/local/lib[m [1;34mInstall prefix : [32m/usr/local[m [1;34mcvc5 license:[m modified BSD Note that this configuration is NOT built against any GPL'ed libraries, so it is covered by the (modified) BSD license. To build against GPL'ed libraries which can improve cvc5's performance on arithmetic and bit-vector logics, use the 'configure.sh' script to re-configure with '--best --gpl'. Now just type 'ninja', followed by 'ninja check' or 'ninja install'. -- Configuring done (66.3s) -- Generating done (0.8s) CMake Warning: Manually-specified variables were not used by the project: ANTLR_BINARY BOOST_PYTHON_SUFFIX CMAKE_COLOR_MAKEFILE CMAKE_CXX_FLAGS_RELEASE CMAKE_C_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS CMAKE_VERBOSE_MAKEFILE FETCHCONTENT_FULLY_DISCONNECTED Python_ADDITIONAL_VERSIONS USE_PYTHON3 -- Build files have been written to: /wrkdirs/usr/ports/math/cvc5/work/.build =========================================================================== =======================<phase: build >============================ ===> Building for cvc5-1.0.5_2 [ 0% 2/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build && /usr/local/bin/cmake -DPROJECT_SOURCE_DIR=/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5 -DCMAKE_BINARY_DIR=/wrkdirs/usr/ports/math/cvc5/work/.build -P /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/cmake/version.cmake -- Could NOT find Git (missing: GIT_EXECUTABLE) [ 0% 3/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/base && /usr/local/bin/python3.9 /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/collect_tags.py /wrkdirs/usr/ports/math/cvc5/work/.build/src/base/ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src [ 0% 4/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src && /usr/local/bin/cmake -E make_directory /wrkdirs/usr/ports/math/cvc5/work/.build/src/options && /usr/local/bin/python3.9 /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/mkoptions.py /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src /wrkdirs/usr/ports/math/cvc5/work/.build /wrkdirs/usr/ports/math/cvc5/work/.build/src /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/arith_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/arrays_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/base_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/booleans_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/builtin_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/bv_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/datatypes_options.toml /wrkdirs/usr/ports/math/cv c5/work/cvc5-cvc5-1.0.5/src/options/decision_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/expr_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/ff_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/fp_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/main_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/parallel_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/parser_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/printer_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/proof_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/prop_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/quantifiers_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/sep_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0 .5/src/options/sets_options.toml /wrkdirs/us! r/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/smt_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/strings_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/theory_options.toml /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/options/uf_options.toml [ 0% 5/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/check.cpp.o -MF src/base/CMakeFiles/cvc5base.dir/check.cpp.o.d -o src/base/CMakeFiles/cvc5base.dir/check.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/check.cpp [ 0% 6/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o -MF src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o.d -o src/base/CMakeFiles/cvc5base.dir/configuration.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/configuration.cpp [ 0% 7/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/listener.cpp.o -MF src/base/CMakeFiles/cvc5base.dir/listener.cpp.o.d -o src/base/CMakeFiles/cvc5base.dir/listener.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/listener.cpp [ 0% 8/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/exception.cpp.o -MF src/base/CMakeFiles/cvc5base.dir/exception.cpp.o.d -o src/base/CMakeFiles/cvc5base.dir/exception.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/exception.cpp [ 0% 9/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/base/CMakeFiles/cvc5base.dir/output.cpp.o -MF src/base/CMakeFiles/cvc5base.dir/output.cpp.o.d -o src/base/CMakeFiles/cvc5base.dir/output.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/base/output.cpp [ 1% 10/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/context/CMakeFiles/cvc5context.dir/context.cpp.o -MF src/context/CMakeFiles/cvc5context.dir/context.cpp.o.d -o src/context/CMakeFiles/cvc5context.dir/context.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/context/context.cpp [ 1% 11/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkkind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/kind_template.h /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/kind.h [ 1% 12/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o -MF src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o.d -o src/context/CMakeFiles/cvc5context.dir/context_mm.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/context/context_mm.cpp [ 1% 13/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkkind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/kind_template.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theor y/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/kind.cpp [ 1% 14/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkmetakind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/metakind_template.h /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src /theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/metakind.h [ 1% 15/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkmetakind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/node_manager_template.h /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5 /src/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h [ 1% 16/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkmetakind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/metakind_template.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/s rc/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/metakind.cpp [ 1% 17/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkexpr /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/type_checker_template.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/s rc/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/type_checker.cpp [ 2% 18/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkkind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/type_properties_template.h /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/ src/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/type_properties.h [ 2% 19/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkmetakind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/node_manager_template.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0 .5/src/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.cpp [ 2% 20/801] cd /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser && /usr/bin/flex -o/wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/smt2_lexer.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2_lexer.flex [ 2% 21/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/mkkind /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/expr/type_properties_template.cpp /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/builtin/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/uf/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arith/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bv/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/ff/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/fp/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/arrays/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/datatypes/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/sep/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0. 5/src/theory/sets/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/bags/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/strings/kinds /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/quantifiers/kinds > /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/type_properties.cpp [ 2% 22/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser && /usr/local/bin/java -cp /portdistfiles/antlr-3.4-complete.jar org.antlr.Tool /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/tptp/Tptp.g -fo /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp && /usr/local/bin/cmake -E rename /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpLexer.c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpLexer.cpp && /usr/local/bin/cmake -E rename /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpParser.c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpParser.cpp [ 2% 23/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser && /usr/local/bin/java -cp /portdistfiles/antlr-3.4-complete.jar org.antlr.Tool /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/Smt2.g -fo /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2 && /usr/local/bin/cmake -E rename /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Lexer.c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Lexer.cpp && /usr/local/bin/cmake -E rename /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Parser.c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Parser.cpp warning(200): /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/Smt2.g:1179:3: Decision can match input such as "LPAREN_TOK INDEX_TOK" using multiple alternatives: 1, 2 As a result, alternative(s) 2 were disabled for that input [ 2% 24/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/rewriter && /usr/local/bin/python3.9 /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/rewriter/mkrewrites.py rewrite-db /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/rewriter /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/booleans/rewrites [ 2% 25/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input_imports.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input_imports.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input_imports.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/antlr_input_ imports.cpp [ 3% 26/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/antlr_input.cpp [ 3% 27/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_buffer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_buffer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_buffer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/bounded_t oken_buffer.cpp [ 3% 28/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_factory.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_factory.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/bounded_token_factory.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/bounde d_token_factory.cpp [ 3% 29/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_line_buffered_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_line_buffered_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/antlr_line_buffered_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/p arser/antlr_line_buffered_input.cpp [ 3% 30/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/flex_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/flex_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/flex_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/flex_input.cpp [ 3% 31/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/flex_lexer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/flex_lexer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/flex_lexer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/flex_lexer.cpp [ 3% 32/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/input.cpp [ 3% 33/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/flex_parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/flex_parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/flex_parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/flex_parser.cpp [ 4% 34/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/line_buffer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/line_buffer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/line_buffer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/line_buffer.cpp [ 4% 35/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/parse_op.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/parse_op.cpp [ 4% 36/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser_antlr.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/parser_antlr.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/parser_antlr.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/parser_antlr.cpp [ 4% 37/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/parser.cpp [ 4% 38/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser_builder.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/parser_builder.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/parser_builder.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/parser_builder.cpp [ 4% 39/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/parser_utils.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/parser_utils.cpp [ 4% 40/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_antlr.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_antlr.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_antlr.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2_antlr.cpp [ 4% 41/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_cmd_parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2 _cmd_parser.cpp [ 5% 42/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2.cpp [ 5% 43/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wno-all -Wno-error -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_lexer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/smt2_le xer.cpp /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/smt2_lexer.cpp:5215:5: warning: unannotated fall-through between switch labels [-Wimplicit-fallthrough] case EOB_ACT_END_OF_FILE: ^ /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/smt2_lexer.cpp:5215:5: note: insert 'CVC5_FALLTHROUGH;' to silence this warning case EOB_ACT_END_OF_FILE: ^ CVC5_FALLTHROUGH; /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/smt2_lexer.cpp:5215:5: note: insert 'break;' to avoid fall-through case EOB_ACT_END_OF_FILE: ^ break; 1 warning generated. [ 5% 44/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2_input.cpp [ 5% 45/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/smt2_parser.cpp [ 5% 46/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/sygus_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/sygus_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/sygus_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/sygus_input.cpp [ 5% 47/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/smt2_term_parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/smt2/s mt2_term_parser.cpp [ 5% 48/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tokens.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/tokens.cpp [ 5% 49/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/symbol_table.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/symbol_table.cpp [ 6% 50/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/tptp/tptp.cpp [ 6% 51/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_antlr.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_antlr.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_antlr.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/tptp/tptp_antlr.cpp [ 6% 52/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_input.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_input.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/tptp_input.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/tptp/tptp_input.cpp [ 6% 53/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wno-all -Wno-error -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Lexer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Lexer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Lexer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Lexer. cpp [ 6% 54/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wno-all -Wno-error -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpLexer.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpLexer.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpLexer.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpLexer. cpp [ 6% 55/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wno-all -Wno-error -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Parser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Parser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/smt2/Smt2Parser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/smt2/Smt2Par ser.cpp [ 6% 56/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o -MF src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o.d -o src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp FAILED: src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5LIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -MD -MT src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o -MF src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o.d -o src/parser/CMakeFiles/cvc5parserapi-objs.dir/api/cpp/command.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:30: In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/node.h:957: In file included from /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:36: In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:788: /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:259:3: error: unterminated /* comment /** ^ /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:38:2: error: unterminated conditional directive #ifndef CVC5__NODE_MANAGER_H ^ /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:84:7: error: missing '}' at end of definition of 'cvc5::internal::NodeManager' class NodeManager ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:790:1: note: still within definition of 'cvc5::internal::NodeManager' here namespace cvc5::internal { ^ In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:30: In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/node.h:957: In file included from /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:36: In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:788: /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:129:46: error: use of undeclared identifier 'd_skManager' SkolemManager* getSkolemManager() { return d_skManager.get(); } ^ /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:131:50: error: use of undeclared identifier 'd_bvManager' BoundVarManager* getBoundVarManager() { return d_bvManager.get(); } ^ In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:30: In file included from /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/node.h:957: In file included from /wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:36: /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:793:11: error: cannot define or redeclare 'substitute' here because namespace 'internal' does not enclose namespace 'TypeNode' TypeNode::substitute(const TypeNode& type, ~~~~~~~~~~^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:796:21: error: use of undeclared identifier 'type'; did you mean 'true'? return substitute(type, replacement, cache); ^~~~ true /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:796:27: error: use of undeclared identifier 'replacement' return substitute(type, replacement, cache); ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:801:11: error: cannot define or redeclare 'substitute' here because namespace 'internal' does not enclose namespace 'TypeNode' TypeNode::substitute(Iterator1 typesBegin, ~~~~~~~~~~^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:805:42: error: redefinition of 'cache' std::unordered_map<TypeNode, TypeNode> cache; ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:795:42: note: previous definition is here std::unordered_map<TypeNode, TypeNode> cache; ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:10: error: call to non-static member function without an object argument return substitute(typesBegin, typesEnd, ^~~~~~~~~~ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:10: error: 'substitute' is a private member of 'cvc5::internal::TypeNode' /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:87:12: note: declared private here TypeNode substitute(const TypeNode& type, ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:10: error: 'substitute' is a private member of 'cvc5::internal::TypeNode' return substitute(typesBegin, typesEnd, ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:96:12: note: declared private here TypeNode substitute(Iterator1 typesBegin, ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:33: error: use of undeclared identifier 'typesEnd'; did you mean 'typeid'? return substitute(typesBegin, typesEnd, ^~~~~~~~ typeid /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:41: error: expected '(' after 'typeid' return substitute(typesBegin, typesEnd, ^ ( /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:806:21: error: use of undeclared identifier 'typesBegin' return substitute(typesBegin, typesEnd, ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:807:21: error: use of undeclared identifier 'replacementsBegin' replacementsBegin, replacementsEnd, cache); ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:807:40: error: use of undeclared identifier 'replacementsEnd' replacementsBegin, replacementsEnd, cache); ^ /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./expr/type_node.h:811:20: error: cannot define or redeclare 'substitute' here because namespace 'internal' does not enclose namespace 'TypeNode' TypeNode TypeNode::substitute( ~~~~~~~~~~^ fatal error: too many errors emitted, stopping now [-ferror-limit=] 20 errors generated. [ 6% 56/801] /usr/bin/c++ -DCVC5_STATISTICS_ON -DCVC5_USE_CRYPTOMINISAT -DNDEBUG -D__BUILDING_CVC5PARSERLIB -Dcvc5_obj_EXPORTS -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/include -I/wrkdirs/usr/ports/math/cvc5/work/.build/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/include -I/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/. -I/wrkdirs/usr/ports/math/cvc5/work/.build/src -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O3 -Wall -Wno-unused-private-field -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -pthread -std=c++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -Wno-all -Wno-error -MD -MT src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpParser.cpp.o -MF src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpParser.cpp.o.d -o src/parser/CMakeFiles/cvc5parser-objs.dir/tptp/TptpParser.cpp.o -c /wrkdirs/usr/ports/math/cvc5/work/.build/src/parser/tptp/TptpPar ser.cpp ninja: build stopped: subcommand failed. ===> Compilation failed unexpectedly. Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to the maintainer. *** Error code 1 Stop. make: stopped in /usr/ports/math/cvc5
