[package - 132powerpc64le-quarterly][math/cvc5] Failed for cvc5-1.0.5_2 in build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Thu, 21 Sep 2023 09:03:29 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/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: yuri@FreeBSD.org
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--
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=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