=>> Building math/picosat build started at Mon May 25 10:16:42 JST 2026 port directory: /usr/ports/math/picosat package name: picosat-965 building for: FreeBSD curamd64-setuptools-job-01 16.0-CURRENT FreeBSD 16.0-CURRENT 1600018 amd64 maintained by: bofh@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 953 May 2 10:21 /usr/ports/math/picosat/Makefile Ports top last git commit: a8b187544 Ports top unclean checkout: yes Port dir last git commit: a8b187544 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.4 Host OSVERSION: 1600018 Jail OSVERSION: 1600018 Job Id: 01 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1600018 UNAME_v=FreeBSD 16.0-CURRENT 1600018 UNAME_r=16.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 MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.4 MASTERMNT=/usr/local/poudriere/data/.m/curamd64-setuptools/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/curamd64-setuptools/01/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=curamd64-setuptools SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/curamd64-setuptools/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.4 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=16.0 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--- DEFAULT_VERSIONS+= magick=7-x11 DEFAULT_VERSIONS+= pgsql=18 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= GAMMA INPUTMETHOD LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif 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+= magick=7-x11 DEFAULT_VERSIONS+= pgsql=18 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= GAMMA INPUTMETHOD LAYERSHELL SCREENCOPY VIRTUALINPUT X11 .if $(.CURDIR:M*/x11-wm/hikari) WITH_DEBUG= YES .endif #### 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) 12099 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=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 [curamd64-setuptools-job-01] Installing pkg-2.7.5... [curamd64-setuptools-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 117 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-05-25T01:16:42+0000' 'PKG_NOTE_ports_top_git_hash=a8b187544' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=a8b187544' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.4' 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 Mon May 25 10:17:20 JST 2026 build time: 00:01:08