=>> Building math/ltl2ba build started at Thu Dec 11 09:30:52 EST 2025 port directory: /usr/ports/math/ltl2ba package name: ltl2ba-1.3 building for: FreeBSD pkg.DaveG.ca 13.5-RELEASE-p7 FreeBSD 13.5-RELEASE-p7 1305000 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 480 Aug 27 2024 /usr/ports/math/ltl2ba/Makefile Ports top last git commit: 62d8b1999233 Ports top unclean checkout: no Port dir last git commit: fb16dfecae4a Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1305000 Job Id: 11 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1305000 UNAME_v=FreeBSD 13.5-RELEASE-p7 1305000 UNAME_r=13.5-RELEASE-p7 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_13_5_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_13_5_x64-HEAD-ALL/11/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_13_5_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_13_5_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-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/ltl2ba/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/ltl2ba/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/ltl2ba/work/.cache HOME=/wrkdirs/usr/ports/math/ltl2ba/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/ltl2ba/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/ltl2ba/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/ltl2ba/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/ltl2ba/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/ltl2ba/work/.cache HOME=/wrkdirs/usr/ports/math/ltl2ba/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/ltl2ba/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/ltl2ba/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 -DNXT -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -DNXT -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=13.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/ltl2ba" EXAMPLESDIR="share/examples/ltl2ba" DATADIR="share/ltl2ba" WWWDIR="www/ltl2ba" ETCDIR="etc/ltl2ba" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/ltl2ba DOCSDIR=/usr/local/share/doc/ltl2ba EXAMPLESDIR=/usr/local/share/examples/ltl2ba WWWDIR=/usr/local/www/ltl2ba ETCDIR=/usr/local/etc/ltl2ba --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 --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 ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.4.2_1.pkg [pkg.DaveG.ca] Installing pkg-2.4.2_1... [pkg.DaveG.ca] Extracting pkg-2.4.2_1: .......... done ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ltl2ba-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 ltl2ba-1.3 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ltl2ba-1.3 for building => SHA256 Checksum OK for ltl2ba-1.3.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 ltl2ba-1.3 for building ===> Extracting for ltl2ba-1.3 => SHA256 Checksum OK for ltl2ba-1.3.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 ltl2ba-1.3 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ltl2ba-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. ===> ltl2ba-1.3 depends on file: /usr/local/bin/ccache - found ===> Returning to build of ltl2ba-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 ltl2ba-1.3 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for ltl2ba-1.3 --- parse.o --- --- lex.o --- --- main.o --- --- trans.o --- --- buchi.o --- --- set.o --- --- mem.o --- --- rewrt.o --- --- cache.o --- --- alternating.o --- --- generalized.o --- --- parse.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c parse.c -o parse.o --- lex.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c lex.c -o lex.o --- main.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c main.c -o main.o --- trans.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c trans.c -o trans.o --- buchi.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c buchi.c -o buchi.o --- set.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c set.c -o set.o --- mem.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c mem.c -o mem.o --- rewrt.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c rewrt.c -o rewrt.o --- cache.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c cache.c -o cache.o --- alternating.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c alternating.c -o alternating.o --- generalized.o --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -c generalized.c -o generalized.o --- main.o --- main.c:217:1: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C23 [-Wdeprecated-non-prototype] 217 | timeval_subtract (result, x, y) | ^ 1 warning generated. --- ltl2ba --- cc -O2 -pipe -DNXT -fstack-protector-strong -fno-strict-aliasing -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o mem.o rewrt.o cache.o alternating.o generalized.o =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for ltl2ba-1.3 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/math/ltl2ba/work/ltl2ba-1.3/ltl2ba /wrkdirs/usr/ports/math/ltl2ba/work/stage/usr/local/bin ====> 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-12-11T14:30:52+0000' 'PKG_NOTE_ports_top_git_hash=62d8b1999233' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=fb16dfecae4a' '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 ltl2ba-1.3 ===> Building ltl2ba-1.3 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for ltl2ba-1.3 build of math/ltl2ba | ltl2ba-1.3 ended at Thu Dec 11 09:30:57 EST 2025 build time: 00:00:06