=>> Building science/bddsolve build started at Sun Mar 31 19:11:28 BST 2024 port directory: /usr/ports/science/bddsolve package name: bddsolve-1.04_15 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: ed@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 1047 Feb 14 06:15 /usr/ports/science/bddsolve/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: db616534ff Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 01 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 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.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/01/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 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_15: 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=/ccache/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 SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache" --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=/ccache/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_15/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 -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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" --End MAKE_ENV-- --PLIST_SUB-- PORTEXAMPLES="" OSREL=13.2 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--- 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 #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 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 --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_15 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done ===> bddsolve-1.04_15 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of bddsolve-1.04_15 =========================================================================== =================================================== ===== 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_15 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by bddsolve-1.04_15 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_15 for building ===> Extracting for bddsolve-1.04_15 => 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_15 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> bddsolve-1.04_15 depends on shared library: libbdd.so - not found ===> Installing existing package /packages/All/buddy-2.4_2.pkg [pkg-builder.dan.net.uk] Installing buddy-2.4_2... [pkg-builder.dan.net.uk] 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_15 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> Returning to build of bddsolve-1.04_15 ===> bddsolve-1.04_15 depends on shared library: libboost_program_options.so - not found ===> Installing existing package /packages/All/boost-libs-1.84.0.pkg [pkg-builder.dan.net.uk] Installing boost-libs-1.84.0... [pkg-builder.dan.net.uk] `-- Installing icu-74.2,1... [pkg-builder.dan.net.uk] `-- Extracting icu-74.2,1: .......... done [pkg-builder.dan.net.uk] Extracting boost-libs-1.84.0: .......... done ===== Message from boost-libs-1.84.0: -- 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_15 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Returning to build of bddsolve-1.04_15 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for bddsolve-1.04_15 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for bddsolve-1.04_15 /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=/ccache/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_15/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 -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -I/usr/local/include -I/wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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_15/include -DBOOST_BIND_GLOBAL_PLACEHOLDERS -DBOOST_TIMER_ENABLE_DEPRECATED -fstack-protector-strong -fno-strict-aliasing -L/usr/local/lib -lbdd -lboost_program_options -fstack-protector-strong -o /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/bddsolve /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/src/bddsolve.cpp In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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] BOOST_HEADER_DEPRECATED( "the facilities in " ) ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' # 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' # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) ^ :384:2: note: expanded from here message("This header is deprecated. Use " "the facilities in " " instead.") ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/src/bddsolve.cpp:28: In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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] BOOST_HEADER_DEPRECATED("") ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' # 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' # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) ^ :8:2: note: expanded from here message("This header is deprecated. Use " "" " instead.") ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/src/bddsolve.cpp:28: In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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] BOOST_HEADER_DEPRECATED("") ^ /usr/local/include/boost/config/header_deprecated.hpp:23:37: note: expanded from macro 'BOOST_HEADER_DEPRECATED' # 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' # define BOOST_PRAGMA_MESSAGE(x) _Pragma(BOOST_STRINGIZE(message(x))) ^ :98:2: note: expanded from here message("This header is deprecated. Use " "" " instead.") ^ In file included from /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/src/bddsolve.cpp:28: /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:409:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] | attribute [_val = qi::_1] ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:409:15: note: place parentheses around the '>' expression to silence this warning | attribute [_val = qi::_1] ^ ( /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:409:15: note: place parentheses around the | expression to evaluate it first | attribute [_val = qi::_1] ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:420:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] | '(' ^~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:420:15: note: place parentheses around the '>' expression to silence this warning | '(' ^ ( /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:420:15: note: place parentheses around the | expression to evaluate it first | '(' ^ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:444:15: warning: | has lower precedence than >; > will be evaluated first [-Wparentheses] | '(' ^~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:444:15: note: place parentheses around the '>' expression to silence this warning | '(' ^ ( /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:444:15: note: place parentheses around the | expression to evaluate it first | '(' ^ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:463:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula [boost::bind(&parse_result::not_, &data)] ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:462:15: note: place parentheses around the '>>' expression to silence this warning >> lit("not") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:463:15: note: place parentheses around comparison expression to evaluate it first > an_formula [boost::bind(&parse_result::not_, &data)] ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:471:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:470:15: note: place parentheses around the '>>' expression to silence this warning >> lit("implies") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:471:15: note: place parentheses around comparison expression to evaluate it first > an_formula ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:480:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:479:15: note: place parentheses around the '>>' expression to silence this warning >> lit("if_then_else") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:480:15: note: place parentheses around comparison expression to evaluate it first > an_formula ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:490:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:489:15: note: place parentheses around the '>>' expression to silence this warning >> lit("and") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:490:15: note: place parentheses around comparison expression to evaluate it first > an_formula ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:499:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:498:15: note: place parentheses around the '>>' expression to silence this warning >> lit("or") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:499:15: note: place parentheses around comparison expression to evaluate it first > an_formula ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:508:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:507:15: note: place parentheses around the '>>' expression to silence this warning >> lit("xor") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:508:15: note: place parentheses around comparison expression to evaluate it first > an_formula ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:517:15: warning: overloaded operator >> has higher precedence than comparison operator [-Woverloaded-shift-op-parentheses] > an_formula ^ ~~~~~~~~~~ /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:516:15: note: place parentheses around the '>>' expression to silence this warning >> lit("iff") ^ ) /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/include/sat/parser.h:517:15: note: place parentheses around comparison expression to evaluate it first > 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_15 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/bddsolve /wrkdirs/usr/ports/science/bddsolve/work/stage/usr/local/bin install -m 0644 /wrkdirs/usr/ports/science/bddsolve/work/bddsolve-1.04_15/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_15/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=2024-03-31T18:11:28+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=db616534ff' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for bddsolve-1.04_15 ===> Building bddsolve-1.04_15 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for bddsolve-1.04_15 build of science/bddsolve | bddsolve-1.04_15 ended at Sun Mar 31 19:12:08 BST 2024 build time: 00:00:40