=>> Building math/cadical build started at Sat Sep 27 16:08:00 EDT 2025 port directory: /usr/ports/math/cadical package name: cadical-2.1.3 building for: FreeBSD pkg.DaveG.ca 15.0-ALPHA3 FreeBSD 15.0-ALPHA3 1500064 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1521 Jun 29 20:14 /usr/ports/math/cadical/Makefile Ports top last git commit: a936fb9b16ba Ports top unclean checkout: no Port dir last git commit: 24cf5ad9aa4c Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500064 Jail OSVERSION: 1500064 Job Id: 15 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500064 UNAME_v=FreeBSD 15.0-ALPHA3 1500064 UNAME_r=15.0-ALPHA3 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 MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/15/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_c_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_c_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/cadical/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cadical/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cadical/work/.cache HOME=/wrkdirs/usr/ports/math/cadical/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cadical/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cadical/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/cadical/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cadical/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cadical/work/.cache HOME=/wrkdirs/usr/ports/math/cadical/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cadical/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cadical/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 PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " 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-- OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cadical" EXAMPLESDIR="share/examples/cadical" DATADIR="share/cadical" WWWDIR="www/cadical" ETCDIR="etc/cadical" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cadical DOCSDIR=/usr/local/share/doc/cadical EXAMPLESDIR=/usr/local/share/examples/cadical WWWDIR=/usr/local/www/cadical ETCDIR=/usr/local/etc/cadical --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" 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) 8192 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 pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cadical-2.1.3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.3.1.pkg [pkg.DaveG.ca] Installing pkg-2.3.1... [pkg.DaveG.ca] Extracting pkg-2.3.1: .......... done ===> cadical-2.1.3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cadical-2.1.3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cadical-2.1.3 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cadical-2.1.3 for building => SHA256 Checksum OK for arminbiere-cadical-rel-2.1.3_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cadical-2.1.3 for building ===> Extracting for cadical-2.1.3 => SHA256 Checksum OK for arminbiere-cadical-rel-2.1.3_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for cadical-2.1.3 ===> Applying FreeBSD patches for cadical-2.1.3 from /usr/ports/math/cadical/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cadical-2.1.3 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg.DaveG.ca] Installing gmake-4.4.1... [pkg.DaveG.ca] `-- Installing gettext-runtime-0.23.1... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] `-- Extracting gettext-runtime-0.23.1: .......... done [pkg.DaveG.ca] Extracting gmake-4.4.1: .......... done ===> cadical-2.1.3 depends on package: gmake>=4.4.1 - found ===> Returning to build of cadical-2.1.3 ===> cadical-2.1.3 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> cadical-2.1.3 depends on file: /usr/local/bin/ccache - found ===> Returning to build of cadical-2.1.3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cadical-2.1.3 configure: reusing default 'build' directory configure: building in default '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build' configure: root directory '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3' configure: source directory '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/src' configure: compiler supports all required C99/C++11 extensions configure: compiler configuration supports flexible array members configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: 'closefrom' seems to be working configure: compiling with 'c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/makefile' configure: linking '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for cadical-2.1.3 /usr/local/bin/gmake -C "/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build" gmake[1]: Entering directory '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build' c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/analyze.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/arena.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/assume.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/averages.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/backtrack.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/backward.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/bins.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/block.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/ccadical.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/checker.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/clause.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/collect.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/compact.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/condition.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/config.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/constrain.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/contract.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/cover.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/decide.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/decompose.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/deduplicate.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/drattracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/elim.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/ema.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/extend.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/external.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/external_propagate.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/file.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/flags.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/flip.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/format.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/frattracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/gates.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/idruptracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/instantiate.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/internal.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/ipasir.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lidruptracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/limit.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/logging.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lookahead.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lratbuilder.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lratchecker.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lrattracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/lucky.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/message.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/minimize.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/occs.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/options.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/parse.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/phases.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/probe.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/profile.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/proof.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/propagate.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/queue.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/random.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/reap.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/reduce.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/rephase.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/report.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/resources.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/restart.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/restore.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/score.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/shrink.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/signal.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/solution.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/solver.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/stats.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/subsume.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/terminal.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/ternary.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/transred.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/util.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/var.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/veripbtracer.cpp ../scripts/make-build-header.sh > build.hpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/vivify.cpp make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id) make-build-header.sh: warning: could not determine 'COMPILER' ('CXX') c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/walk.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/watch.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../contrib/craigtracer.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/cadical.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/mobical.cpp c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -c ../src/version.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o drattracer.o elim.o ema.o extend.o external.o external_propagate.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratbuilder.o lratchecker.o lrattracer.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o transred.o util.o var.o veripbtracer.o version.o vivify.o walk.o watch.o craigtracer.o c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -o cadical cadical.o -L. -lcadical c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -W -O -DNDEBUG -I../build -I../src -o mobical mobical.o -L. -lcadical gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build' ==> Building the shared library cd /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/src && c++ -shared -Wl,-soname=libcadical.so.2.1.3 -fPIC -DNDEBUG -O2 -pipe -fstack-protector-strong -fno-strict-aliasing `echo *.cpp | /usr/bin/sed -e "s/cadical\.cpp//; s/mobical\.cpp//"` -I /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build -o /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/libcadical.so.2.1.3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for cadical-2.1.3 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/cadical /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/mobical /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/bin install -m 0644 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/src/cadical.hpp /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/include install -m 0644 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/src/ccadical.h /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/include install -m 0644 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/libcadical.a /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/lib install -s -m 0644 /wrkdirs/usr/ports/math/cadical/work/cadical-rel-2.1.3/build/libcadical.so.2.1.3 /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/lib cd /wrkdirs/usr/ports/math/cadical/work/stage/usr/local/lib && /bin/ln -s libcadical.so.2.1.3 libcadical.so ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2025-09-27T20:08:00+0000' 'PKG_NOTE_ports_top_git_hash=a936fb9b16ba' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=24cf5ad9aa4c' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for cadical-2.1.3 ===> Building cadical-2.1.3 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for cadical-2.1.3 build of math/cadical | cadical-2.1.3 ended at Sat Sep 27 16:16:08 EDT 2025 build time: 00:08:10