From nobody Fri Aug 12 21:24:40 2022 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 4M4GsQ334nz4ZNLf for ; Fri, 12 Aug 2022 21:24:42 +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 4M4GsQ12tVz46NR; Fri, 12 Aug 2022 21:24:42 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from ampere2.nyi.freebsd.org (ampere2.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:24]) (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 4M4GsQ08TwzmgT; Fri, 12 Aug 2022 21:24:42 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from ampere2.nyi.freebsd.org (localhost [127.0.0.1]) by ampere2.nyi.freebsd.org (8.16.1/8.16.1) with ESMTP id 27CLOfkq000560; Fri, 12 Aug 2022 21:24:41 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by ampere2.nyi.freebsd.org (8.16.1/8.16.1/Submit) id 27CLOeF5000423; Fri, 12 Aug 2022 21:24:40 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Fri, 12 Aug 2022 21:24:40 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202208122124.27CLOeF5000423@ampere2.nyi.freebsd.org> To: greg@unrelenting.technology Subject: [package - main-arm64-default][math/cvc4] Failed for cvc4-1.7_5 in configure Cc: pkg-fallout@FreeBSD.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1660339482; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc; bh=cdEyljaYUk4G15+LE1t1pb/uol6Qg/MMef7lZpVv2dw=; b=mk7ZPrlAxr4L9JPFkFAp2CzOuBstOuK2cwVBgp/1sGZ0ic40HmUlmw+5lAEvGx81DiHO+K heFTc1yusNy/dVyGi3Kb/9QFjndyljZYSNue2hw9CGvXbwysr+dpnRiq+dMTCIPh7pURXt arEEvphCAjOli9riEs8wXN2Pk8Q6vHHedfoqqyAd+j5fv2vZ/walry285SQBeCW49xQcCY CA5KroPghyWCrYULq/hfVPg1dd/MBwGfn3oWbQpoNgma2woFURn3pXniVfNFvDpscgmQ2s OMW/vdaMTqcArAbmu4FcS90j7LZA1Qp3fAIHQjftEGmUAWdCYZl9aWnO1CB1KQ== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1660339482; a=rsa-sha256; cv=none; b=FGShDS1I8dVWuJQaq4v2oYmGA0Gkgd6Pitc2In7UhoQVujikXTPsbbCChHpGv+FOvguJ8/ Qw6VbTqrFbTUEVXPq4wBCyO0tv22MNIathB57RCJyT64I4hKe1m3OFqOLLlt2wtD5s6n5b NH+2k/cVE+z1S7rzI8CxIO3Nv50Tdz3BFRexxYCx5vs3ZHzQ4inDfW3sIe5aec3mprzwBh rzI2cEjVGnmjczkwpi+GZL9RSI6fq3BSqEpkE0CzgslGOw4lDNVRTHR0UPuTyF4EupTqny 3mP04q9vdbs+nghu5Z6R1RD5TBAjbpFlHB4EOfu3gthWslrZUFFbaxSJrDAp/g== ARC-Authentication-Results: i=1; mx1.freebsd.org; none 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: greg@unrelenting.technology Log URL: http://ampere2.nyi.freebsd.org/data/main-arm64-default/p85ef7d020401_s0fd8d3589a/logs/cvc4-1.7_5.log Build URL: http://ampere2.nyi.freebsd.org/build.html?mastername=main-arm64-default&build=p85ef7d020401_s0fd8d3589a Log: =>> Building math/cvc4 build started at Fri Aug 12 21:24:21 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 1400065 arm64 maintained by: greg@unrelenting.technology Makefile ident: Poudriere version: 3.2.8-21-g883afb07 Host OSVERSION: 1400063 Jail OSVERSION: 1400065 Job Id: 05 !!! Jail is newer than host. (Jail: 1400065, Host: 1400063) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/sh OSVERSION=1400065 UNAME_v=FreeBSD 14.0-CURRENT 1400065 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.9" 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 PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cvc4/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig 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 PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cvc4/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig 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.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/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.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: aarch64-unknown-freebsd14.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 14.0.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) Target: 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.5 (https://github.com/llvm/llvm-project.git llvmorg-14.0.5-0-gc12386ae247c) 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=1400065 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-- =================================================== ===> License GPLv3 accepted by the user =========================================================================== =================================================== ===> cvc4-1.7_5 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.18.4.pkg [main-arm64-default-job-05] Installing pkg-1.18.4... [main-arm64-default-job-05] Extracting pkg-1.18.4: .......... done ===> cvc4-1.7_5 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cvc4-1.7_5 =========================================================================== =================================================== =========================================================================== =================================================== ===> License GPLv3 accepted by the user ===> Fetching all distfiles required by cvc4-1.7_5 for building =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== [main-arm64-default-job-05] `-- Installing jsoncpp-1.9.5... [main-arm64-default-job-05] `-- Extracting jsoncpp-1.9.5: .......... done [main-arm64-default-job-05] `-- Installing libarchive-3.6.1,1... [main-arm64-default-job-05] | `-- Installing liblz4-1.9.3,1... [main-arm64-default-job-05] | `-- Extracting liblz4-1.9.3,1: .......... done [main-arm64-default-job-05] | `-- Installing zstd-1.5.2... [main-arm64-default-job-05] | `-- Extracting zstd-1.5.2: .......... done [main-arm64-default-job-05] `-- Extracting libarchive-3.6.1,1: .......... done [main-arm64-default-job-05] `-- Installing libuv-1.44.2... [main-arm64-default-job-05] `-- Extracting libuv-1.44.2: .......... done [main-arm64-default-job-05] `-- Installing rhash-1.4.3... [main-arm64-default-job-05] `-- Extracting rhash-1.4.3: .......... done [main-arm64-default-job-05] Extracting cmake-3.23.3: .......... done ===== Message from ca_root_nss-3.81: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. 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 python39-3.9.13... [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 python39-3.9.13: .......... done [main-arm64-default-job-05] Extracting ninja-1.10.2,2: ........ done ===== Message from python39-3.9.13: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 ===> 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,1.pkg [main-arm64-default-job-05] Installing pkgconf-1.8.0_1,1... [main-arm64-default-job-05] Extracting pkgconf-1.8.0_1,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.9 - found =========================================================================== =================================================== ===> 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) =========================================================================== =================================================== ===> 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.5 -- The CXX compiler identification is Clang 14.0.5 -- 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.9 (found suitable version "3.9.13", minimum required is "3") -- Found GMP: /usr/local/include -- Found GMP libs: /usr/local/lib/libgmp.so -- 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:156 (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