=>> Building math/picosat build started at Tue Jul 7 22:53:54 JST 2026 port directory: /usr/ports/math/picosat package name: picosat-965 building for: FreeBSD s15amd64-setuptools2-job-01 15.1-STABLE FreeBSD 15.1-STABLE 1501501 amd64 maintained by: bofh@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 953 Apr 13 23:06 /usr/ports/math/picosat/Makefile Ports top last git commit: 18628b9022c9c1c0e7cb5e71c2aa1e1e563ca34a Ports top unclean checkout: yes Port dir last git commit: 1c3394560c4f3b7e3e79480f17b767e3a58bd951 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.8 Host OSVERSION: 1501501 Jail OSVERSION: 1501501 Job Id: 01 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1501501 UNAME_v=FreeBSD 15.1-STABLE 1501501 UNAME_r=15.1-STABLE 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.8 MASTERMNT=/usr/local/poudriere/data/.m/s15amd64-setuptools2/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color GID=0 OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 UID=0 PWD=/usr/local/poudriere/data/.m/s15amd64-setuptools2/01/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=s15amd64-setuptools2 SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/s15amd64-setuptools2/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.8 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--- ===> The following configuration options are available for picosat-965: DEBUG=off: Build with debugging support ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- bofh@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --shared --static --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/picosat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/picosat/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/picosat/work/.cache HOME=/wrkdirs/usr/ports/math/picosat/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/picosat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/picosat/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/picosat/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/picosat/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/picosat/work/.cache HOME=/wrkdirs/usr/ports/math/picosat/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/picosat/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/picosat/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.1 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/picosat" EXAMPLESDIR="share/examples/picosat" DATADIR="share/picosat" WWWDIR="www/picosat" ETCDIR="etc/picosat" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/picosat DOCSDIR=/usr/local/share/doc/picosat EXAMPLESDIR=/usr/local/share/examples/picosat WWWDIR=/usr/local/www/picosat ETCDIR=/usr/local/etc/picosat --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles OVERLAYS+=/overlays/overlay_setuptools FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### LICENSES_ACCEPTED= EULA ISC MPEG2ENC DEFAULT_VERSIONS+= magick=7 DEFAULT_VERSIONS+= pgsql=18 DEFAULT_VERSIONS+= samba=4.23 DEFAULT_VERSIONS+= ssl=openssl japanese_fcitx5-mozc_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_SET= EDICT2 PERSONALNAME PLACENAME SUDACHIDICT UTDIC japanese_mozc_server_UNSET= JAWIKI x11_wm_hikari_SET= INPUTMETHOD GAMMA LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif #### #### devel_gamin_set= LIBINOTIFY #### Misc Poudriere #### .include "/etc/make.conf.ports_env" DISABLE_MAKE_JOBS=poudriere ---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 (kbytes, -y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> License MIT accepted by the user =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> picosat-965 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.7.5.pkg [s15amd64-setuptools2-job-01] Installing pkg-2.7.5... [s15amd64-setuptools2-job-01] Extracting pkg-2.7.5: .......... done ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of picosat-965 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user => picosat-965.tar.gz doesn't seem to exist in /portdistfiles. => Attempting to fetch http://fmv.jku.at/picosat/picosat-965.tar.gz picosat-965.tar.gz 62 kB 116 kBps 00s ===> Fetching all distfiles required by picosat-965 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building => SHA256 Checksum OK for picosat-965.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building ===> Extracting for picosat-965 => SHA256 Checksum OK for picosat-965.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Patching for picosat-965 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Configuring for picosat-965 version ... 965 debug ... no log ... no stats ... no trace ... no static ... yes shared ... yes targets ... picosat picomcs picomus picogcnf libpicosat.a libpicosat.so cc ... cc cflags ... -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC makefile ... done =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building for picosat-965 cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c picosat.c rm -f config.h; ./mkconfig.sh > config.h cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c version.c ar rc libpicosat.a picosat.o version.o ranlib libpicosat.a cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c app.c cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c main.c cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -o picosat main.o app.o -L. -lpicosat cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c picomcs.c cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -o picomcs picomcs.o -L. -lpicosat cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c picomus.c cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -o picomus picomus.o -L. -lpicosat cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -c picogcnf.c cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -o picogcnf picogcnf.o -L. -lpicosat cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fPIC -shared -o libpicosat.so picosat.o version.o -Xlinker -soname -Xlinker libpicosat.so =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Staging for picosat-965 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/picosat/work/picosat-965/picosat /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/picosat/work/picosat-965/picomcs /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/picosat/work/picosat-965/picomus /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/bin install -s -m 555 /wrkdirs/usr/ports/math/picosat/work/picosat-965/picogcnf /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/bin install -s -m 0644 /wrkdirs/usr/ports/math/picosat/work/picosat-965/libpicosat.so /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/lib install -m 0644 /wrkdirs/usr/ports/math/picosat/work/picosat-965/libpicosat.a /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/lib install -m 0644 /wrkdirs/usr/ports/math/picosat/work/picosat-965/picosat.h /wrkdirs/usr/ports/math/picosat/work/stage/usr/local/include ====> 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-07-07T13:53:54+0000' 'PKG_NOTE_ports_top_git_hash=18628b9022c9c1c0e7cb5e71c2aa1e1e563ca34a' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=1c3394560c4f3b7e3e79480f17b767e3a58bd951' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.8' NO_DEPENDS=yes USER=nobody UID=65534 GID=65534 ===> Building packages for picosat-965 ===> Building picosat-965 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for picosat-965 build of math/picosat | picosat-965 ended at Tue Jul 7 22:54:14 JST 2026 build time: 00:00:37