[package - main-powerpc64le-default][math/cvc5] Failed for cvc5-1.0.5 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 26 Apr 2023 18:59:42 UTC
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: yuri@FreeBSD.org
Log URL: https://pkg-status.freebsd.org/foul2/data/main-powerpc64le-default/pa9e3eeda87a7_sb754d7faaf/logs/cvc5-1.0.5.log
Build URL: https://pkg-status.freebsd.org/foul2/build.html?mastername=main-powerpc64le-default&build=pa9e3eeda87a7_sb754d7faaf
Log:
=>> Building math/cvc5
build started at Wed Apr 26 18:51:24 UTC 2023
port directory: /usr/ports/math/cvc5
package name: cvc5-1.0.5
building for: FreeBSD main-powerpc64le-default-job-14 14.0-CURRENT FreeBSD 14.0-CURRENT 1400082 powerpc
maintained by: yuri@FreeBSD.org
Makefile ident:
Poudriere version: 3.2.8-23-ga7f8d188
Host OSVERSION: 1400073
Jail OSVERSION: 1400082
Job Id: 14
!!! Jail is newer than host. (Jail: 1400082, Host: 1400073) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/sh
OSVERSION=1400082
UNAME_v=FreeBSD 14.0-CURRENT 1400082
UNAME_r=14.0-CURRENT
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/main-powerpc64le-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-powerpc64le-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-powerpc64le-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-powerpc64le-default/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:
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--
yuri@FreeBSD.org
--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=freebsd14 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=14.0 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=freebsd14 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 15.0.7 (https://github.com/llvm/llvm-project.git llvmorg-15.0.7-0-g8dfdcc7b7bf6) Target: powerpc64le-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 15.0.7 (https://github.com/llvm/llvm-project.git llvmorg-15.0.7-0-g8dfdcc7b7bf6) Target: powerpc64le-unknown-freebsd14.0 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 15.0.7 (https://github.com/llvm/llvm-project.git llvmorg-15.0.7-0-g8dfdcc7b7bf6) Target: powerpc64le-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=powerpc64le
OPSYS=FreeBSD
_OSRELEASE=14.0-CURRENT
OSREL=14.0
OSVERSION=1400082
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 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.19.1_1.pkg
[main-powerpc64le-default-job-14] Installing pkg-1.19.1_1...
[main-powerpc64le-default-job-14] Extracting pkg-1.19.1_1: .......... done
===> cvc5-1.0.5 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of cvc5-1.0.5
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License BSD3CLAUSE accepted by the user
=> antlr-3.4-complete.jar doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch http://www.antlr3.org/download/antlr-3.4-complete.jar
antlr-3.4-complete.jar 2332 kB 1546 kBps 02s
=> cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://codeload.github.com/cvc5/cvc5/tar.gz/cvc5-1.0.5?dummy=/cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz
fetch: https://codeload.github.com/cvc5/cvc5/tar.gz/cvc5-1.0.5?dummy=/cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/cvc5/cvc5/tar.gz/cvc5-1.0.5?dummy=/cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz: size of remote file is not known
cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz 8233 kB 3899 kBps 02s
===> Fetching all distfiles required by cvc5-1.0.5 for building
===========================================================================
=======================<phase: checksum >============================
===> License BSD3CLAUSE accepted by the user
===> Fetching all distfiles required by cvc5-1.0.5 for building
=> SHA256 Checksum OK for antlr-3.4-complete.jar.
=> SHA256 Checksum OK for cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz.
===========================================================================
<snip>
[ 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/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% 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/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% 19/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% 20/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% 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/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% 23/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% 24/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/theory && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/mkrewriter /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/rewriter_tables_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-c
vc5-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/theory/rewriter_tables.h
[ 2% 25/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
[ 3% 26/801] cd /wrkdirs/usr/ports/math/cvc5/work/.build/src/theory && /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/mktheorytraits /wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/theory/theory_traits_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/theory/theory_traits.h
[ 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/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% 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/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% 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/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% 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/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% 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/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% 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/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% 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_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
[ 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/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
[ 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/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% 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/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% 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/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% 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_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% 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.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% 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/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% 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/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
[ 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_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
[ 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 -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% 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.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% 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 -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% 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/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% 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_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% 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/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% 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/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
[ 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/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
[ 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/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% 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_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% 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 -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% 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 -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% 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/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% 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/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% 57/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
[ 7% 58/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:38:2: error: unterminated conditional directive
#ifndef CVC5__NODE_MANAGER_H
^
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:790:1: error: expected ')'
namespace cvc5::internal {
^
/wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:174:52: note: to match this '('
inline typename AttrKind::value_type getAttribute(expr::NodeValue* nv,
^
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:
/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/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:44:1: error: 'using namespace' is not allowed in classes
using namespace cvc5::parser;
^
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: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/parser/api/cpp/command.cpp:46:1: note: still within definition of 'cvc5::internal::NodeManager' here
namespace cvc5::parser {
^
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(); }
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:50:38: error: use of undeclared identifier 'sexpr'; did you mean 'expr'?
std::string sexprToString(cvc5::Term sexpr)
^~~~~
expr
/wrkdirs/usr/ports/math/cvc5/work/.build/src/expr/node_manager.h:68:11: note: 'expr' declared here
namespace expr {
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:50:38: error: expected ')'
std::string sexprToString(cvc5::Term sexpr)
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:50:26: note: to match this '('
std::string sexprToString(cvc5::Term sexpr)
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:50:33: error: no member named 'Term' in namespace 'cvc5::internal::cvc5'
std::string sexprToString(cvc5::Term sexpr)
~~~~~~^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:50:44: error: expected ';' after top level declarator
std::string sexprToString(cvc5::Term sexpr)
^
;
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:81:7: error: unknown type name 'CommandInterrupted'; did you mean '::cvc5::parser::CommandInterrupted'?
const CommandInterrupted* CommandInterrupted::s_instance =
^~~~~~~~~~~~~~~~~~
::cvc5::parser::CommandInterrupted
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./parser/api/cpp/command.h:85:19: note: '::cvc5::parser::CommandInterrupted' declared here
class CVC5_EXPORT CommandInterrupted : public CommandStatus
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:81:27: error: use of undeclared identifier 'CommandInterrupted'; did you mean '::cvc5::parser::CommandInterrupted'?
const CommandInterrupted* CommandInterrupted::s_instance =
^~~~~~~~~~~~~~~~~~
::cvc5::parser::CommandInterrupted
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./parser/api/cpp/command.h:85:19: note: '::cvc5::parser::CommandInterrupted' declared here
class CVC5_EXPORT CommandInterrupted : public CommandStatus
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:81:47: error: cannot define or redeclare 's_instance' here because namespace 'parser' does not enclose namespace 'CommandInterrupted'
const CommandInterrupted* CommandInterrupted::s_instance =
~~~~~~~~~~~~~~~~~~~~^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:82:9: error: unknown type name 'CommandInterrupted'; did you mean '::cvc5::parser::CommandInterrupted'?
new CommandInterrupted();
^~~~~~~~~~~~~~~~~~
::cvc5::parser::CommandInterrupted
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./parser/api/cpp/command.h:85:19: note: '::cvc5::parser::CommandInterrupted' declared here
class CVC5_EXPORT CommandInterrupted : public CommandStatus
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:84:51: error: unknown type name 'Command'; did you mean '::cvc5::parser::Command'?
std::ostream& operator<<(std::ostream& out, const Command& c)
^~~~~~~
::cvc5::parser::Command
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./parser/api/cpp/command.h:140:19: note: '::cvc5::parser::Command' declared here
class CVC5_EXPORT Command
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:90:1: error: unknown type name 'ostream'; did you mean 'std::ostream'?
ostream& operator<<(ostream& out, const Command* c)
^~~~~~~
std::ostream
/usr/include/c++/v1/iosfwd:169:38: note: 'std::ostream' declared here
typedef basic_ostream<char> ostream;
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:90:21: error: unknown type name 'ostream'; did you mean 'std::ostream'?
ostream& operator<<(ostream& out, const Command* c)
^~~~~~~
std::ostream
/usr/include/c++/v1/iosfwd:169:38: note: 'std::ostream' declared here
typedef basic_ostream<char> ostream;
^
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/parser/api/cpp/command.cpp:90:41: error: unknown type name 'Command'; did you mean '::cvc5::parser::Command'?
ostream& operator<<(ostream& out, const Command* c)
^~~~~~~
::cvc5::parser::Command
/wrkdirs/usr/ports/math/cvc5/work/cvc5-cvc5-1.0.5/src/./parser/api/cpp/command.h:140:19: note: '::cvc5::parser::Command' declared here
class CVC5_EXPORT Command
^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
20 errors generated.
[ 7% 58/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