=>> Building math/lingeling build started at Thu Feb 19 11:25:13 EST 2026 port directory: /usr/ports/math/lingeling package name: lingeling-1.0.0 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 910 Aug 27 2024 /usr/ports/math/lingeling/Makefile Ports top last git commit: eac71dbf758c Ports top unclean checkout: no Port dir last git commit: c54bfe9890de Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 16 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 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_0_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_0_x64-HEAD-ALL/16/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_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-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/lingeling/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lingeling/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lingeling/work/.cache HOME=/wrkdirs/usr/ports/math/lingeling/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lingeling/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lingeling/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-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/lingeling/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lingeling/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/lingeling/work/.cache HOME=/wrkdirs/usr/ports/math/lingeling/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lingeling/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/lingeling/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 -fPIC -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fPIC -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/lingeling" EXAMPLESDIR="share/examples/lingeling" DATADIR="share/lingeling" WWWDIR="www/lingeling" ETCDIR="etc/lingeling" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/lingeling DOCSDIR=/usr/local/share/doc/lingeling EXAMPLESDIR=/usr/local/share/examples/lingeling WWWDIR=/usr/local/www/lingeling ETCDIR=/usr/local/etc/lingeling --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 ===> lingeling-1.0.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.5.1.pkg [pkg.DaveG.ca] Installing pkg-2.5.1... [pkg.DaveG.ca] Extracting pkg-2.5.1: .......... done ===> lingeling-1.0.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of lingeling-1.0.0 =========================================================================== =================================================== ===== 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 lingeling-1.0.0 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by lingeling-1.0.0 for building => SHA256 Checksum OK for arminbiere-lingeling-rel-1.0.0_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 lingeling-1.0.0 for building ===> Extracting for lingeling-1.0.0 => SHA256 Checksum OK for arminbiere-lingeling-rel-1.0.0_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 lingeling-1.0.0 ===> Applying FreeBSD patches for lingeling-1.0.0 from /usr/ports/math/lingeling/files =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> lingeling-1.0.0 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 ===> lingeling-1.0.0 depends on package: gmake>=4.4.1 - found ===> Returning to build of lingeling-1.0.0 ===> lingeling-1.0.0 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. ===> lingeling-1.0.0 depends on file: /usr/local/bin/ccache - found ===> Returning to build of lingeling-1.0.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for lingeling-1.0.0 cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for lingeling-1.0.0 gmake[1]: Entering directory '/wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0' cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglib.c rm -f lglcflags.h cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lgldimacs.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglopts.c echo '#define LGL_CC "FreeBSD clang version 19.1.7 (https://github.com/llvm/llvm-project.git llvmorg-19.1.7-0-gcd708029e0b2)"' >> lglcflags.h cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglmain.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c plingeling.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c ilingeling.c echo '#define LGL_CFLAGS "-O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA"' >> lglcflags.h cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c treengeling.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglmbt.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lgluntrace.c cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglddtrace.c rm -f lglcfg.h ./mkconfig.sh > lglcfg.h ./getgitid: git: not found cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -c lglbnr.c ilingeling.c:694:10: warning: variable 'mb' set but not used [-Wunused-but-set-variable] 694 | double mb = maxallocated / (double)(1<<20); | ^ 1 warning generated. lglib.c:3236:38: warning: variable 'found' set but not used [-Wunused-but-set-variable] 3236 | int * p, other, other2, * c, lidx, found; | ^ lglib.c:4085:17: warning: variable 'mt' set but not used [-Wunused-but-set-variable] 4085 | int * q, idx, mt = 0, * pos = lgl->elm->touched.pos, newpos = 0; | ^ lglib.c:5976:24: warning: variable 'found' set but not used [-Wunused-but-set-variable] 5976 | int poisoned, * rsn, found; | ^ lglib.c:6301:41: warning: variable 'nunlocked' set but not used [-Wunused-but-set-variable] 6301 | int nlocked, collected, sumcollected, nunlocked, moved, act, psm; | ^ lglib.c:6302:21: warning: variable 'nkeep' set but not used [-Wunused-but-set-variable] 6302 | int glue, target, nkeep, retired, sumretired; | ^ lglib.c:7082:26: warning: variable 'found' set but not used [-Wunused-but-set-variable] 7082 | int * rsn, tag, other, found; | ^ lglib.c:10153:18: warning: variable 'rounds' set but not used [-Wunused-but-set-variable] 10153 | int glue, old, rounds = 0; | ^ lglib.c:10225:23: warning: variable 'tmpfrozen' set but not used [-Wunused-but-set-variable] 10225 | int frozen, melted, tmpfrozen, elit, erepr, ilit; | ^ lglib.c:10849:38: warning: variable 'count' set but not used [-Wunused-but-set-variable] 10849 | int delta, mod, prev, first, ulit, count; | ^ lglib.c:10997:51: warning: variable 'found' set but not used [-Wunused-but-set-variable] 10997 | int blit, tag, red, other, other2, lidx, count, found, start, trivial; | ^ lglib.c:11154:7: warning: variable 'count' set but not used [-Wunused-but-set-variable] 11154 | int count, red, lit, size; | ^ lglib.c:11708:31: warning: variable 'neqs' set but not used [-Wunused-but-set-variable] 11708 | int deltarem, nunits, hbrs, neqs, oldrem = lglrem (lgl); | ^ lglib.c:13316:23: warning: variable 'count' set but not used [-Wunused-but-set-variable] 13316 | int idx, sign, lit, count, blit, tag; | ^ lglib.c:13770:69: warning: variable 'found' set but not used [-Wunused-but-set-variable] 13770 | int clidx, count, strengthened, pivot, * c, * p, mlit, ilit, res, found; | ^ lglib.c:13824:38: warning: variable 'count' set but not used [-Wunused-but-set-variable] 13824 | int blit, tag, red, other, other2, count, glue, res; | ^ lglib.c:14160:12: warning: variable 'count' set but not used [-Wunused-but-set-variable] 14160 | int lit, count; | ^ lglib.c:14195:60: warning: variable 'reslen' set but not used [-Wunused-but-set-variable] 14195 | int * c, * d, * p, * q, lit, nontrivial, idx, sgn, clen, reslen; | ^ lglib.c:14458:58: warning: variable 'count' set but not used [-Wunused-but-set-variable] 14458 | int lit, idx, sgn, tmp, ip, ilit, npocc, nnocc, limit, count, i, res; | ^ lglib.c:14459:13: warning: variable 'dlen' set but not used [-Wunused-but-set-variable] 14459 | int clen, dlen, reslen, maxreslen; | ^ lglib.c:14574:13: warning: variable 'dlen' set but not used [-Wunused-but-set-variable] 14574 | int clen, dlen, reslen; | ^ lglib.c:15365:49: warning: variable 'count' set but not used [-Wunused-but-set-variable] 15365 | int blit, tag, red, other, other2, lidx, val, count, size; | ^ lglib.c:15807:14: warning: variable 'found' set but not used [-Wunused-but-set-variable] 15807 | int other, found = 0; | ^ lglib.c:17206:29: warning: variable 'count' set but not used [-Wunused-but-set-variable] 17206 | unsigned bit, rbit, ibit, count; | ^ lglib.c:18130:12: warning: variable 'count' set but not used [-Wunused-but-set-variable] 18130 | int lit, count, success; | ^ lglib.c:18477:29: warning: variable 'nfailed' set but not used [-Wunused-but-set-variable] 18477 | int idx, sign, lit, unit, nfailed = 0; | ^ lglib.c:19195:53: warning: variable 'redrem' set but not used [-Wunused-but-set-variable] 19195 | int idx, sign, lit, blit, tag, red, other, round, redrem, irrem; | ^ lglib.c:19250:48: warning: variable 'count' set but not used [-Wunused-but-set-variable] 19250 | unsigned pos, delta, mod, ulit, first, last, count; | ^ lglib.c:19793:44: warning: variable 'found' set but not used [-Wunused-but-set-variable] 19793 | int res, cand, weight, size, tmp, other, found; | ^ lglib.c:21614:16: warning: variable 'nfalse' set but not used [-Wunused-but-set-variable] 21614 | int sat = 0, nfalse = 0, ntrue = 0, nunassigned = 0, size = 0; | ^ lglib.c:22355:7: warning: variable 'size' set but not used [-Wunused-but-set-variable] 22355 | int size = 0; | ^ lglib.c:23576:59: warning: variable 'lrg' set but not used [-Wunused-but-set-variable] 23576 | int idx, sign, lit, blit, tag, red, other, other1, len, lrg; | ^ 31 warnings generated. ar rc liblgl.a lglib.o lglbnr.o lgldimacs.o lglopts.o ranlib liblgl.a cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lingeling lglmain.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o plingeling plingeling.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o ilingeling ilingeling.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -pthread -o treengeling treengeling.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lglmbt lglmbt.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lgluntrace lgluntrace.o -L. -llgl -lm cc -O2 -pipe -fPIC -fstack-protector-strong -fno-strict-aliasing -W -Wall -O3 -DNLGLOG -DNDEBUG -DNCHKSOL -DNLGLDRUPLIG -DNLGLYALSAT -DNLGLFILES -DNLGLDEMA -o lglddtrace lglddtrace.o -L. -llgl -lm gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for lingeling-1.0.0 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/ilingeling /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/lglddtrace /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/lglmbt /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/lgluntrace /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/lingeling /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/plingeling /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/treengeling /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/bin install -m 0644 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/lglib.h /wrkdirs/usr/ports/math/lingeling/work/stage/usr/local/include install -m 0644 /wrkdirs/usr/ports/math/lingeling/work/lingeling-rel-1.0.0/liblgl.a /wrkdirs/usr/ports/math/lingeling/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-02-19T16:25:14+0000' 'PKG_NOTE_ports_top_git_hash=eac71dbf758c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=c54bfe9890de' '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 lingeling-1.0.0 ===> Building lingeling-1.0.0 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for lingeling-1.0.0 build of math/lingeling | lingeling-1.0.0 ended at Thu Feb 19 11:25:45 EST 2026 build time: 00:00:35