[package - main-arm64-default][math/cvc4] Failed for cvc4-1.7_5 in configure
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 08 Jun 2022 19:36:51 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: greg@unrelenting.technology
Log URL: http://ampere2.nyi.freebsd.org/data/main-arm64-default/p3d6de3b1feb4_s81c857dd7e/logs/cvc4-1.7_5.log
Build URL: http://ampere2.nyi.freebsd.org/build.html?mastername=main-arm64-default&build=p3d6de3b1feb4_s81c857dd7e
Log:
=>> Building math/cvc4
build started at Wed Jun 8 19:36:32 UTC 2022
port directory: /usr/ports/math/cvc4
package name: cvc4-1.7_5
building for: FreeBSD main-arm64-default-job-05 14.0-CURRENT FreeBSD 14.0-CURRENT 1400060 arm64
maintained by: greg@unrelenting.technology
Makefile ident:
Poudriere version: 3.2.8-21-g883afb07
Host OSVERSION: 1400050
Jail OSVERSION: 1400060
Job Id: 05
!!! Jail is newer than host. (Jail: 1400060, Host: 1400050) !!!
!!! This is not supported. !!!
!!! Host kernel must be same or newer than jail. !!!
!!! Expect build failures. !!!
---Begin Environment---
SHELL=/bin/sh
OSVERSION=1400060
UNAME_v=FreeBSD 14.0-CURRENT 1400060
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-21-g883afb07
MASTERMNT=/usr/local/poudriere/data/.m/main-arm64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
PWD=/usr/local/poudriere/data/.m/main-arm64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=main-arm64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/main-arm64-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 cvc4-1.7_5:
CRYPTOMINISAT=on: Use CryptoMiniSat as the SAT solver
JAVA=on: Java platform support
PYTHON=on: Python bindings or support
READLINE=on: Command line editing via libreadline
====> 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 (disables portfolio mode)
===> Use 'make config' to modify these settings
---End OPTIONS List---
--MAINTAINER--
greg@unrelenting.technology
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.8" XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cvc4/work/.cache HOME=/wrkdirs/usr/ports/math/cvc4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc4/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cvc4/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cvc4/work/.cache HOME=/wrkdirs/usr/ports/math/cvc4/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cvc4/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES DESTDIR=/wrkdirs/usr/ports/math/cvc4/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-I/usr/local/include" LDFLAGS=" -L/usr/local/lib -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " GMP="" NO_GMP="@comment " JAVA="" NO_JAVA="@comment " PYTHON="" NO_PYTHON="@comment " READLINE="" NO_READLINE="@comment " JAVASHAREDIR="share/java" JAVAJARDIR="share/java/classes" CMAKE_BUILD_TYPE="production" PYTHON_INCLUDEDIR=include/python3.8 PYTHON_LIBDIR=lib/python3.8 PYTHON_PLATFORM=freebsd14 PYTHON_SITELIBDIR=lib/python3.8/site-packages PYTHON_SUFFIX=38 PYTHON_EXT_SUFFIX=.cpython-38 PYTHON_VER=3.8 PYTHON_VERSION=python3.8 PYTHON2="@comment " PYTHON3="" OSREL=14.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cvc4" EXAMPLESDIR="share/examples/cvc4" DATADIR="share/cvc4" WWWDIR="www/cvc4" ETCDIR="etc/cvc4"
--End PLIST_SUB--
--SUB_LIST--
CLN="@comment " NO_CLN="" CRYPTOMINISAT="" NO_CRYPTOMINISAT="@comment " GMP="" NO_GMP="@comment " JAVA="" NO_JAVA="@comment " PYTHON="" NO_PYTHON="@comment " READLINE="" NO_READLINE="@comment " JAVASHAREDIR="/usr/local/share/java" JAVAJARDIR="/usr/local/share/java/classes" JAVALIBDIR="/usr/local/share/java/classes" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cvc4 DOCSDIR=/usr/local/share/doc/cvc4 EXAMPLESDIR=/usr/local/share/examples/cvc4 WWWDIR=/usr/local/www/cvc4 ETCDIR=/usr/local/etc/cvc4
--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.4 (https://github.com/llvm/llvm-project.git llvmorg-14.0.4-0-g29f1039a7285) Target: aarch64-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 14.0.4 (https://github.com/llvm/llvm-project.git llvmorg-14.0.4-0-g29f1039a7285) Target: aarch64-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_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 14.0.4 (https://github.com/llvm/llvm-project.git llvmorg-14.0.4-0-g29f1039a7285) Target: aarch64-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=aarch64
OPSYS=FreeBSD
_OSRELEASE=14.0-CURRENT
OSREL=14.0
OSVERSION=1400060
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) 1048576
stack size (kbytes, -s) 1048576
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 GPLv3 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> cvc4-1.7_5 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.17.5_1.pkg
[main-arm64-default-job-05] Installing pkg-1.17.5_1...
[main-arm64-default-job-05] Extracting pkg-1.17.5_1: .......... done
===> cvc4-1.7_5 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of cvc4-1.7_5
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by cvc4-1.7_5 for building
===========================================================================
=======================<phase: checksum >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by cvc4-1.7_5 for building
=> SHA256 Checksum OK for antlr-3.4-complete.jar.
=> SHA256 Checksum OK for CVC4-CVC4-1.7_GH0.tar.gz.
=> SHA256 Checksum OK for fc8907afc08d.patch.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> License GPLv3 accepted by the user
===> Fetching all distfiles required by cvc4-1.7_5 for building
===> Extracting for cvc4-1.7_5
=> SHA256 Checksum OK for antlr-3.4-complete.jar.
=> SHA256 Checksum OK for CVC4-CVC4-1.7_GH0.tar.gz.
=> SHA256 Checksum OK for fc8907afc08d.patch.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
<snip>
This enables SSL Certificate Verification by client software without manual
intervention.
If you prefer to do this manually, replace the following symlinks with
either an empty file or your site-local certificate bundle.
* /etc/ssl/cert.pem
* /usr/local/etc/ssl/cert.pem
* /usr/local/openssl/cert.pem
===> cvc4-1.7_5 depends on file: /usr/local/bin/cmake - found
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on executable: ninja - not found
===> Installing existing package /packages/All/ninja-1.10.2,2.pkg
[main-arm64-default-job-05] Installing ninja-1.10.2,2...
[main-arm64-default-job-05] `-- Installing python38-3.8.13_2...
[main-arm64-default-job-05] | `-- Installing libffi-3.4.2...
[main-arm64-default-job-05] | `-- Extracting libffi-3.4.2: .......... done
[main-arm64-default-job-05] | `-- Installing mpdecimal-2.5.1...
[main-arm64-default-job-05] | `-- Extracting mpdecimal-2.5.1: .......... done
[main-arm64-default-job-05] `-- Extracting python38-3.8.13_2: .......... done
[main-arm64-default-job-05] Extracting ninja-1.10.2,2: ........ done
=====
Message from python38-3.8.13_2:
--
Note that some standard Python modules are provided as separate ports
as they require additional dependencies. They are available as:
py38-gdbm databases/py-gdbm@py38
py38-sqlite3 databases/py-sqlite3@py38
py38-tkinter x11-toolkits/py-tkinter@py38
===> cvc4-1.7_5 depends on executable: ninja - found
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on package: pkgconf>=1.3.0_1 - not found
===> Installing existing package /packages/All/pkgconf-1.8.0,1.pkg
[main-arm64-default-job-05] Installing pkgconf-1.8.0,1...
[main-arm64-default-job-05] Extracting pkgconf-1.8.0,1: .......... done
===> cvc4-1.7_5 depends on package: pkgconf>=1.3.0_1 - found
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on file: /usr/local/bin/python3.8 - found
===========================================================================
=======================<phase: lib-depends >============================
===> cvc4-1.7_5 depends on shared library: libantlr3c.so - not found
===> Installing existing package /packages/All/libantlr3c-3.4_1.pkg
[main-arm64-default-job-05] Installing libantlr3c-3.4_1...
[main-arm64-default-job-05] Extracting libantlr3c-3.4_1: .......... done
===> cvc4-1.7_5 depends on shared library: libantlr3c.so - found (/usr/local/lib/libantlr3c.so)
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on shared library: libboost_system.so - not found
===> Installing existing package /packages/All/boost-libs-1.79.0_1.pkg
[main-arm64-default-job-05] Installing boost-libs-1.79.0_1...
[main-arm64-default-job-05] `-- Installing icu-71.1,1...
[main-arm64-default-job-05] `-- Extracting icu-71.1,1: .......... done
[main-arm64-default-job-05] Extracting boost-libs-1.79.0_1: .......... done
=====
Message from boost-libs-1.79.0_1:
--
You have built the Boost library with thread support.
Don't forget to add -pthread to your linker options when
linking your code.
===> cvc4-1.7_5 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so)
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on shared library: libcryptominisat5.so - not found
===> Installing existing package /packages/All/cryptominisat-5.8.0_1.pkg
[main-arm64-default-job-05] Installing cryptominisat-5.8.0_1...
[main-arm64-default-job-05] `-- Installing M4RI-20200125...
[main-arm64-default-job-05] `-- Extracting M4RI-20200125: .......... done
[main-arm64-default-job-05] Extracting cryptominisat-5.8.0_1: .......... done
===> cvc4-1.7_5 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so)
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on shared library: libgmp.so - not found
===> Installing existing package /packages/All/gmp-6.2.1.pkg
[main-arm64-default-job-05] Installing gmp-6.2.1...
[main-arm64-default-job-05] Extracting gmp-6.2.1: .......... done
===> cvc4-1.7_5 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===> Returning to build of cvc4-1.7_5
===> cvc4-1.7_5 depends on shared library: libboost_thread.so - found (/usr/local/lib/libboost_thread.so)
===> cvc4-1.7_5 depends on shared library: libreadline.so.8 - found (/usr/local/lib/libreadline.so.8)
===========================================================================
=======================<phase: configure >============================
===> Configuring for cvc4-1.7_5
===> Performing out-of-source build
/bin/mkdir -p /wrkdirs/usr/ports/math/cvc4/work/.build
-- The C compiler identification is Clang 14.0.4
-- The CXX compiler identification is Clang 14.0.4
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working C compiler: /usr/bin/cc - skipped
-- Detecting C compile features
-- Detecting C compile features - done
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++ - skipped
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Building Production build
-- Performing Test HAVE_FLAG_O3
-- Performing Test HAVE_FLAG_O3 - Success
-- Configuring with C flag '-O3'
-- Configuring with CXX flag '-O3'
-- Performing Test HAVE_FLAG_Wall
-- Performing Test HAVE_FLAG_Wall - Success
-- Configuring with C flag '-Wall'
-- Configuring with CXX flag '-Wall'
-- Performing Test HAVE_FLAG_fexceptions
-- Performing Test HAVE_FLAG_fexceptions - Success
-- Configuring with C flag '-fexceptions'
-- Performing Test HAVE_FLAG_Wno_deprecated
-- Performing Test HAVE_FLAG_Wno_deprecated - Success
-- Configuring with C flag '-Wno-deprecated'
-- Configuring with CXX flag '-Wno-deprecated'
-- Performing Test HAVE_FLAG_Wsuggest_override
-- Performing Test HAVE_FLAG_Wsuggest_override - Success
-- Configuring with CXX flag '-Wsuggest-override'
-- Performing Test HAVE_FLAG_Wnon_virtual_dtor
-- Performing Test HAVE_FLAG_Wnon_virtual_dtor - Success
-- Configuring with CXX flag '-Wnon-virtual-dtor'
-- Performing Test HAVE_FLAG_Wno_class_memaccess
-- Performing Test HAVE_FLAG_Wno_class_memaccess - Failed
-- Found PythonInterp: /usr/local/bin/python3.8 (found suitable version "3.8.13", minimum required is "3")
-- Found GMP: /usr/local/include
-- Found GMP libs: /usr/local/lib/libgmp.so
CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message):
New Boost version may have incorrect or missing dependencies and imported
targets
Call Stack (most recent call first):
/usr/local/share/cmake/Modules/FindBoost.cmake:1513 (_Boost_COMPONENT_DEPENDENCIES)
/usr/local/share/cmake/Modules/FindBoost.cmake:2123 (_Boost_MISSING_DEPENDENCIES)
CMakeLists.txt:328 (find_package)
CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message):
New Boost version may have incorrect or missing dependencies and imported
targets
Call Stack (most recent call first):
/usr/local/share/cmake/Modules/FindBoost.cmake:1513 (_Boost_COMPONENT_DEPENDENCIES)
/usr/local/share/cmake/Modules/FindBoost.cmake:2123 (_Boost_MISSING_DEPENDENCIES)
CMakeLists.txt:328 (find_package)
CMake Warning at /usr/local/share/cmake/Modules/FindBoost.cmake:1390 (message):
New Boost version may have incorrect or missing dependencies and imported
targets
Call Stack (most recent call first):
/usr/local/share/cmake/Modules/FindBoost.cmake:1513 (_Boost_COMPONENT_DEPENDENCIES)
/usr/local/share/cmake/Modules/FindBoost.cmake:2123 (_Boost_MISSING_DEPENDENCIES)
CMakeLists.txt:328 (find_package)
-- Looking for pthread.h
-- Looking for pthread.h - found
-- Found Threads: TRUE
-- Found Boost: /usr/local/include (found suitable version "1.79.0", minimum required is "1.50.0") found components: thread chrono atomic
-- Configuring with C flag '-pthread'
-- Configuring with CXX flag '-pthread'
-- Configuring with C flag '-pthread'
-- Configuring with CXX flag '-pthread'
-- Found CryptoMiniSat: /usr/local/include
-- Found CryptoMiniSat libs: /usr/local/lib/libcryptominisat5.so
-- Found Readline: /usr/local/include
-- Found Readline libs: /usr/local/lib/libreadline.so;/usr/lib/libtinfo.so
-- Performing Test CVC4_NEED_INT64_T_OVERLOADS
-- Performing Test CVC4_NEED_INT64_T_OVERLOADS - Failed
-- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD
-- Performing Test CVC4_NEED_HASH_UINT64_T_OVERLOAD - Failed
-- Looking for unistd.h
-- Looking for unistd.h - found
-- Looking for C++ include ext/stdio_filebuf.h
-- Looking for C++ include ext/stdio_filebuf.h - not found
-- Looking for clock_gettime
-- Looking for clock_gettime - found
-- Looking for ffs
-- Looking for ffs - found
-- Looking for optreset
-- Looking for optreset - found
-- Looking for sigaltstack
-- Looking for sigaltstack - found
-- Looking for strerror_r
-- Looking for strerror_r - found
-- Looking for strtok_r
-- Looking for strtok_r - found
-- Performing Test STRERROR_R_CHAR_P
-- Performing Test STRERROR_R_CHAR_P - Failed
-- Found Boost: /usr/local/include (found suitable version "1.79.0", minimum required is "1.50.0")
CMake Error at /usr/local/share/cmake/Modules/FindJava.cmake:171 (message):
Error executing java -version
Call Stack (most recent call first):
examples/CMakeLists.txt:73 (find_package)
-- Configuring incomplete, errors occurred!
See also "/wrkdirs/usr/ports/math/cvc4/work/.build/CMakeFiles/CMakeOutput.log".
See also "/wrkdirs/usr/ports/math/cvc4/work/.build/CMakeFiles/CMakeError.log".
*** Error code 1
Stop.
make: stopped in /usr/ports/math/cvc4