=>> Building science/bddsolve build started at Tue Jan 20 20:45:45 EST 2026 port directory: /usr/ports/science/bddsolve package name: bddsolve-1.04_20 building for: FreeBSD pkg.DaveG.ca 14.3-RELEASE-p7 FreeBSD 14.3-RELEASE-p7 1403000 amd64 maintained by: ed@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1047 Oct 28 16:11 /usr/ports/science/bddsolve/Makefile Ports top last git commit: 076a295eb33c Ports top unclean checkout: no Port dir last git commit: 67fb95fb3bd5 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1403000 Job Id: 06 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1403000 UNAME_v=FreeBSD 14.3-RELEASE-p7 1403000 UNAME_r=14.3-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_14_3_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_3_x64-HEAD-ALL/06/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_14_3_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_14_3_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--- ===> The following configuration options are available for bddsolve-1.04_20: EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- ed@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/science/bddsolve/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/science/bddsolve/work XDG_CACHE_HOME=/wrkdirs/usr/ports/science/bddsolve/work/.cache HOME=/wrkdirs/usr/ports/science/bddsolve/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/science/bddsolve/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/science/bddsolve/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/science/bddsolve/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/science/bddsolve/work XDG_CACHE_HOME=/wrkdirs/usr/ports/science/bddsolve/work/.cache HOME=/wrkdirs/usr/ports/science/bddsolve/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/science/bddsolve/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/science/bddsolve/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 -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -L/usr/local/lib -lbdd -lboost_program_options " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -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-- PORTEXAMPLES="" OSREL=14.3 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/bddsolve" EXAMPLESDIR="share/examples/bddsolve" DATADIR="share/bddsolve" WWWDIR="www/bddsolve" ETCDIR="etc/bddsolve" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/bddsolve DOCSDIR=/usr/local/share/doc/bddsolve EXAMPLESDIR=/usr/local/share/examples/bddsolve WWWDIR=/usr/local/www/bddsolve ETCDIR=/usr/local/etc/bddsolve --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 ===> bddsolve-1.04_20 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 ===> bddsolve-1.04_20 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of bddsolve-1.04_20 =========================================================================== =================================================== ===== 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 bddsolve-1.04_20 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by bddsolve-1.04_20 for building => SHA256 Checksum OK for bddsolve-source-1.04.zip. =========================================================================== =================================================== ===== 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 bddsolve-1.04_20 for building ===> Extracting for bddsolve-1.04_20 => SHA256 Checksum OK for bddsolve-source-1.04.zip. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for bddsolve-1.04_20 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bddsolve-1.04_20 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. ===> bddsolve-1.04_20 depends on file: /usr/local/bin/ccache - found ===> Returning to build of bddsolve-1.04_20 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bddsolve-1.04_20 depends on shared library: libbdd.so - not found ===> Installing existing package /packages/All/buddy-2.4_2.pkg [pkg.DaveG.ca] Installing buddy-2.4_2... [pkg.DaveG.ca] Extracting buddy-2.4_2: .......... done ===== Message from buddy-2.4_2: -- ===> NOTICE: The buddy port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://docs.freebsd.org/en/articles/contributing/#ports-contributing ===> bddsolve-1.04_20 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> Returning to build of bddsolve-1.04_20 ===> bddsolve-1.04_20 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.89.0_2.pkg [pkg.DaveG.ca] Installing boost-libs-1.89.0_2... [pkg.DaveG.ca] `-- Installing icu-76.1,1... [pkg.DaveG.ca] `-- Extracting icu-76.1,1: .......... done [pkg.DaveG.ca] `-- Installing zstd-1.5.7_1... [pkg.DaveG.ca] `-- Extracting zstd-1.5.7_1: .......... done [pkg.DaveG.ca] Extracting boost-libs-1.89.0_2: .......... done ===== Message from boost-libs-1.89.0_2: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> bddsolve-1.04_20 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of bddsolve-1.04_20 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for bddsolve-1.04_20 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for bddsolve-1.04_20 /usr/bin/env XDG_DATA_HOME=/wrkdirs/usr/ports/science/bddsolve/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/science/bddsolve/work XDG_CACHE_HOME=/wrkdirs/usr/ports/science/bddsolve/work/.cache HOME=/wrkdirs/usr/ports/science/bddsolve/work TMPDIR="/tmp" PATH=/usr/local/libexec/ccache:/wrkdirs/usr/ports/science/bddsolve/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/science/bddsolve/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 -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -L/usr/local/lib -lbdd -lboost_program_options " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" 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" c++ -O2 -pipe -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -fstack-protector-strong -fno-strict-aliasing -L/usr/local/lib -lbdd -lboost_program_options -o /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/bddsolve /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/src/bddsolve.cpp In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/src/bddsolve.cpp:12: /usr/local/include/boost/timer.hpp:25:1: warning: This header is deprecated. Use the facilities in instead. [-W#pragma-messages] 25 | BOOST_HEADER_DEPRECATED( "the facilities in " ) | ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' 23 | # define BOOST_HEADER_DEPRECATED(a) BOOST_PRAGMA_MESSAGE("This header is deprecated. Use " a " instead.") | ^ /usr/local/include/boost/config/pragma_message.hpp:24:34: note: expanded from macro 'BOOST_PRAGMA_MESSAGE' 24 | # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) | ^ :272:2: note: expanded from here 272 | message("This header is deprecated. Use " "the facilities in " " instead.") | ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/src/bddsolve.cpp:28: In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:22: /usr/local/include/boost/spirit/include/phoenix_operator.hpp:12:1: warning: This header is deprecated. Use instead. [-W#pragma-messages] 12 | BOOST_HEADER_DEPRECATED("") | ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' 23 | # define BOOST_HEADER_DEPRECATED(a) BOOST_PRAGMA_MESSAGE("This header is deprecated. Use " a " instead.") | ^ /usr/local/include/boost/config/pragma_message.hpp:24:34: note: expanded from macro 'BOOST_PRAGMA_MESSAGE' 24 | # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) | ^ :29:2: note: expanded from here 29 | message("This header is deprecated. Use " "" " instead.") | ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/src/bddsolve.cpp:28: In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:23: /usr/local/include/boost/spirit/include/phoenix_object.hpp:12:1: warning: This header is deprecated. Use instead. [-W#pragma-messages] 12 | BOOST_HEADER_DEPRECATED("") | ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' 23 | # define BOOST_HEADER_DEPRECATED(a) BOOST_PRAGMA_MESSAGE("This header is deprecated. Use " a " instead.") | ^ /usr/local/include/boost/config/pragma_message.hpp:24:34: note: expanded from macro 'BOOST_PRAGMA_MESSAGE' 24 | # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) | ^ :150:2: note: expanded from here 150 | message("This header is deprecated. Use " "" " instead.") | ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/src/bddsolve.cpp:28: /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:409:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] 409 | | attribute [_val = qi::_1] | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 410 | > user_value [_val += qi::_1] | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:409:15: note: place parentheses around the '>' expression to silence this warning 409 | | attribute [_val = qi::_1] | ^ | ( 410 | > user_value [_val += qi::_1] | | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:409:15: note: place parentheses around the | expression to evaluate it first 408 | attribute [_val = qi::_1] | ( 409 | | attribute [_val = qi::_1] | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:420:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] 420 | | '(' | ^~~~~ 421 | > base_term | ~~~~~~~~~~~ 422 | > +annotation | ~~~~~~~~~~~~~ 423 | > ')' | ~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:420:15: note: place parentheses around the '>' expression to silence this warning 420 | | '(' | ^ | ( 421 | > base_term 422 | > +annotation 423 | > ')' | | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:420:15: note: place parentheses around the | expression to evaluate it first 419 | base_term | ( 420 | | '(' | ^ 421 | > base_term 422 | > +annotation | | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:444:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] 444 | | '(' | ^~~~~ 445 | > prop_atom | ~~~~~~~~~~~ 446 | > +annotation | ~~~~~~~~~~~~~ 447 | > ')' | ~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:444:15: note: place parentheses around the '>' expression to silence this warning 444 | | '(' | ^ | ( 445 | > prop_atom 446 | > +annotation 447 | > ')' | | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:444:15: note: place parentheses around the | expression to evaluate it first 443 | prop_atom | ( 444 | | '(' | ^ 445 | > prop_atom 446 | > +annotation | | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:463:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 461 | char_('(') | ~~~~~~~~~~ 462 | >> lit("not") | ~~~~~~~~~~~~~ 463 | > an_formula [boost::bind(&parse_result::not_, &data)] | ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:462:15: note: place parentheses around the '>>' expression to silence this warning 461 | char_('(') | ( 462 | >> lit("not") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:463:15: note: place parentheses around comparison expression to evaluate it first 462 | >> lit("not") | ( 463 | > an_formula [boost::bind(&parse_result::not_, &data)] | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:471:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 469 | '(' | ~~~ 470 | >> lit("implies") | ~~~~~~~~~~~~~~~~~ 471 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:470:15: note: place parentheses around the '>>' expression to silence this warning 469 | '(' | ( 470 | >> lit("implies") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:471:15: note: place parentheses around comparison expression to evaluate it first 470 | >> lit("implies") | ( 471 | > an_formula | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:480:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 478 | '(' | ~~~ 479 | >> lit("if_then_else") | ~~~~~~~~~~~~~~~~~~~~~~ 480 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:479:15: note: place parentheses around the '>>' expression to silence this warning 478 | '(' | ( 479 | >> lit("if_then_else") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:480:15: note: place parentheses around comparison expression to evaluate it first 479 | >> lit("if_then_else") | ( 480 | > an_formula | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:490:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 488 | '(' | ~~~ 489 | >> lit("and") | ~~~~~~~~~~~~~ 490 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:489:15: note: place parentheses around the '>>' expression to silence this warning 488 | '(' | ( 489 | >> lit("and") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:490:15: note: place parentheses around comparison expression to evaluate it first 489 | >> lit("and") | ( 490 | > an_formula | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:499:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 497 | '(' | ~~~ 498 | >> lit("or") | ~~~~~~~~~~~~ 499 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:498:15: note: place parentheses around the '>>' expression to silence this warning 497 | '(' | ( 498 | >> lit("or") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:499:15: note: place parentheses around comparison expression to evaluate it first 498 | >> lit("or") | ( 499 | > an_formula | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:508:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 506 | '(' | ~~~ 507 | >> lit("xor") | ~~~~~~~~~~~~~ 508 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:507:15: note: place parentheses around the '>>' expression to silence this warning 506 | '(' | ( 507 | >> lit("xor") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:508:15: note: place parentheses around comparison expression to evaluate it first 507 | >> lit("xor") | ( 508 | > an_formula | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:517:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] 515 | '(' | ~~~ 516 | >> lit("iff") | ~~~~~~~~~~~~~ 517 | > an_formula | ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:516:15: note: place parentheses around the '>>' expression to silence this warning 515 | '(' | ( 516 | >> lit("iff") | ^ | ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/include/sat/parser.h:517:15: note: place parentheses around comparison expression to evaluate it first 516 | >> lit("iff") | ( 517 | > an_formula | ^ | ) 13 warnings generated. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for bddsolve-1.04_20 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/bddsolve /wrkdirs/usr/ports/science/bddsolve/work/stage/usr/local/bin install -m 0644 /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/example/reach.b /wrkdirs/usr/ports/science/bddsolve/work/stage/usr/local/share/examples/bddsolve install -m 0644 /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_20/example/sat.b /wrkdirs/usr/ports/science/bddsolve/work/stage/usr/local/share/examples/bddsolve ====> 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-01-21T01:45:45+0000' 'PKG_NOTE_ports_top_git_hash=076a295eb33c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=67fb95fb3bd5' '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 bddsolve-1.04_20 ===> Building bddsolve-1.04_20 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for bddsolve-1.04_20 build of science/bddsolve | bddsolve-1.04_20 ended at Tue Jan 20 20:46:15 EST 2026 build time: 00:00:31