From nobody Wed Apr 26 18:59:42 2023 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Q67TW1CWjz478Zr for ; Wed, 26 Apr 2023 18:59:43 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Q67TV5Ctlz479T for ; Wed, 26 Apr 2023 18:59:42 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1682535582; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=1Z98pfPvoEkEolK6LIjx2Hw/pIsU1W66saztEoutp3w=; b=j1KOMMxRMNdbuWNsH8zWcYCxHR0E5B5E4MkPCy/xoZ++4V+QnnSv6K2GbDXZnksfWp1YEX utJzqNl/SuFaVKQN8ppKwAZiExSRt2WvyN3THXh2HHfmkf/P9RJjkr26SthXxSkvdroHl9 pU3Yuc9JIPDAtIK9gT+/NIhtGjNhHytn86uIU+jIS0ll0U2mFWEjgWumwmXBF5A4BeNh7w Qe0656dM4azpTrdtHr4UXgxfqImPcLYLYn0+yebRsuPRoZTnd73yWnHsIfc48aDcQzmCyy e7RWsJZyVPwY4uZd0pIqn+yRocdK7VXvqjKqKPOgYPgetyICodumA4+uF1Alug== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1682535582; a=rsa-sha256; cv=none; b=tqRM9rJU7QqM69tu8ZrYdWM8L//pKFuVZa/JLvnCS5MojEam77vldBJ7+kkqiFIf1zS4xA SPXXUN0K9fPn8E5goK1z0HSmAb7rlZSw0YITL5zLWOuAJcg5CsiQusZdDZzdMnQf6GX2VK JzZCuRx1ycBR6nE9THqpJckNPFUuqD4I0VcVWCoy+HEv/EzcnxNOisV6GsCIq0rtbRfVxr Bao+HLOkJxwT9fnYnzHzgdq+CJYTG/Cu2JEfMaXR1aYRjKmKdn8oEult0ihjdRCZMPK0Cn ddb1R5jwV5D2fJlWnIMqWD9ja06Cc5XqJOWhoRwGevDbT+/FORvzwhShGdUk3w== Received: from foul2.nyi.freebsd.org (foul2.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:27]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Q67TV4GL5zmJG for ; Wed, 26 Apr 2023 18:59:42 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from foul2.nyi.freebsd.org (localhost [127.0.0.1]) by foul2.nyi.freebsd.org (8.16.1/8.16.1) with ESMTP id 33QIxgLw084777 for ; Wed, 26 Apr 2023 18:59:42 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by foul2.nyi.freebsd.org (8.16.1/8.16.1/Submit) id 33QIxgMk084769; Wed, 26 Apr 2023 18:59:42 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Wed, 26 Apr 2023 18:59:42 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202304261859.33QIxgMk084769@foul2.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - main-powerpc64le-default][math/cvc5] Failed for cvc5-1.0.5 in build X-ThisMailContainsUnwantedMimeParts: N List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@freebsd.org 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-- =================================================== ===> License BSD3CLAUSE accepted by the user =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== ===> 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. =========================================================================== [ 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 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 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