=>> Building math/kissat build started at Tue Mar 10 18:14:20 EDT 2026 port directory: /usr/ports/math/kissat package name: kissat-4.0.4 building for: FreeBSD pkg.DaveG.ca 14.4-RELEASE FreeBSD 14.4-RELEASE 1404000 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1332 Nov 8 22:00 /usr/ports/math/kissat/Makefile Ports top last git commit: 26b198eb3ee3 Ports top unclean checkout: no Port dir last git commit: b3fadc6aa0fd Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1404000 Job Id: 11 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1404000 UNAME_v=FreeBSD 14.4-RELEASE 1404000 UNAME_r=14.4-RELEASE BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin 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_14_4_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_14_4_x64-HEAD-ALL/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_4_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_4_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-- --shared --kitten --statistics --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/kissat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/kissat/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/kissat/work/.cache HOME=/wrkdirs/usr/ports/math/kissat/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/kissat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/kissat/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/kissat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/kissat/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/kissat/work/.cache HOME=/wrkdirs/usr/ports/math/kissat/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/kissat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/kissat/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=14.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/kissat" EXAMPLESDIR="share/examples/kissat" DATADIR="share/kissat" WWWDIR="www/kissat" ETCDIR="etc/kissat" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/kissat DOCSDIR=/usr/local/share/doc/kissat EXAMPLESDIR=/usr/local/share/examples/kissat WWWDIR=/usr/local/www/kissat ETCDIR=/usr/local/etc/kissat --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 ===> kissat-4.0.4 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.6.2.pkg [pkg.DaveG.ca] Installing pkg-2.6.2... [pkg.DaveG.ca] Extracting pkg-2.6.2: .......... done ===> kissat-4.0.4 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of kissat-4.0.4 =========================================================================== =================================================== ===== 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 kissat-4.0.4 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by kissat-4.0.4 for building => SHA256 Checksum OK for arminbiere-kissat-rel-4.0.4_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 kissat-4.0.4 for building ===> Extracting for kissat-4.0.4 => SHA256 Checksum OK for arminbiere-kissat-rel-4.0.4_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 kissat-4.0.4 ===> Applying FreeBSD patches for kissat-4.0.4 from /usr/ports/math/kissat/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> kissat-4.0.4 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.26... [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.26: .......... done [pkg.DaveG.ca] Extracting gmake-4.4.1: .......... done ===> kissat-4.0.4 depends on package: gmake>=4.4.1 - found ===> Returning to build of kissat-4.0.4 ===> kissat-4.0.4 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. ===> kissat-4.0.4 depends on file: /usr/local/bin/ccache - found ===> Returning to build of kissat-4.0.4 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for kissat-4.0.4 invalid option '--prefix=/usr/local' (try '-h') invalid option '--build=amd64-portbld-freebsd14.4' (try '-h') configure: reusing existing build directory 'build' configure: compiler 'cc -W -O -DNDEBUG -DSTATISTICS -fpic' configure: linker 'cc' (no additional options) configure: using default 'ar' (no cross compilation) configure: no 'tissat' binary generated (without '--test') configure: adding 'libkissat.so' shared library to default makefile goal too configure: adding 'kitten' binary to default makefile goal too configure: removing src/makefile configure: linking src/makefile =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for kissat-4.0.4 /usr/local/bin/gmake -C "/wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build" gmake[1]: Entering directory '/wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build' cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/allocate.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/analyze.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/ands.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/arena.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/assign.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/averages.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/backbone.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/backtrack.c ../scripts/generate-build-header.sh > build.h cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/bump.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/check.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/classify.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/clause.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/collect.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/colors.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/compact.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/config.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/congruence.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/decide.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/deduce.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/definition.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/dense.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/dump.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/eliminate.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/equivalences.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/error.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/extend.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/factor.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/fastel.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/file.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/flags.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/format.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/forward.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/gates.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/heap.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/ifthenelse.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/import.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/internal.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/kimits.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/kitten.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/krite.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/learn.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/logging.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/lucky.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/minimize.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/mode.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/options.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/phases.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/preprocess.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/print.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/probe.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/profile.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/promote.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/proof.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/propbeyond.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/propdense.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/propinitially.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/proprobe.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/propsearch.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/queue.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/reduce.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/reluctant.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/reorder.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/rephase.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/report.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/resize.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/resolve.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/resources.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/restart.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/search.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/shrink.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/smooth.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/sort.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/statistics.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/strengthen.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/substitute.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/sweep.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/terminate.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/tiers.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/trail.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/transitive.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/utilities.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/vector.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/vivify.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/walk.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/warmup.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/watch.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/weaken.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/main.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/application.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/handle.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/parse.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -c ../src/witness.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DSTAND_ALONE_KITTEN -o kitten ../src/kitten.c cc -W -DNDEBUG -DSTATISTICS -fpic -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -I../build -c ../src/build.c ar rc libkissat.a allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o classify.o clause.o collect.o colors.o compact.o config.o congruence.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o factor.o fastel.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o krite.o learn.o logging.o lucky.o minimize.o mode.o options.o phases.o preprocess.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o propinitially.o proprobe.o propsearch.o queue.o reduce.o reluctant.o reorder.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o statistics.o strengthen.o substitute.o sweep.o terminate.o tiers.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o cc -shared -o libkissat.so allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o classify.o clause.o collect.o colors.o compact.o config.o congruence.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o factor.o fastel.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o krite.o learn.o logging.o lucky.o minimize.o mode.o options.o phases.o preprocess.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o propinitially.o proprobe.o propsearch.o queue.o reduce.o reluctant.o reorder.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o statistics.o strengthen.o substitute.o sweep.o terminate.o tiers.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o cc -o kissat main.o application.o handle.o parse.o witness.o libkissat.a -lm gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for kissat-4.0.4 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build/kissat /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build/kitten /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/bin /bin/mkdir -p /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/include/kissat install -m 0644 /wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/src/kissat.h /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/include/kissat install -s -m 0644 /wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build/libkissat.so /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/lib install -m 0644 /wrkdirs/usr/ports/math/kissat/work/kissat-rel-4.0.4/build/libkissat.a /wrkdirs/usr/ports/math/kissat/work/stage/usr/local/lib ====> 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=2026-03-10T22:14:20+0000' 'PKG_NOTE_ports_top_git_hash=26b198eb3ee3' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=b3fadc6aa0fd' '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 kissat-4.0.4 ===> Building kissat-4.0.4 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for kissat-4.0.4 build of math/kissat | kissat-4.0.4 ended at Tue Mar 10 18:14:27 EDT 2026 build time: 00:00:08