------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- ===> The following configuration options are available for bddsolve-1.04_13: EXAMPLES=on: Build and/or install examples ===> Use 'make config' to modify these settings SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/science/bddsolve XDG_CONFIG_HOME=/construction/science/bddsolve XDG_CACHE_HOME=/construction/science/bddsolve/.cache HOME=/construction/science/bddsolve TMPDIR="/tmp" PATH=/construction/science/bddsolve/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/science/bddsolve/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/science/bddsolve XDG_CONFIG_HOME=/construction/science/bddsolve XDG_CACHE_HOME=/construction/science/bddsolve/.cache HOME=/construction/science/bddsolve TMPDIR="/tmp" PATH=/construction/science/bddsolve/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/science/bddsolve/.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 CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_13/include -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -L/usr/local/lib -lbdd -lboost_program_options " LIBS="" CXX="c++" CXXFLAGS=" -pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_13/include -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/science/bddsolve/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- PORTEXAMPLES="" OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/bddsolve" EXAMPLESDIR="share/examples/bddsolve" DATADIR="share/bddsolve" WWWDIR="www/bddsolve" ETCDIR="etc/bddsolve" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ccache-3.7.12_4.pkg 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 gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/buddy-2.4_2.pkg ===== 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 Installing /packages/All/icu-73.2,1.pkg Installing /packages/All/boost-libs-1.82.0_1.pkg ===== Message from boost-libs-1.82.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. SUCCEEDED 00:00:03 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_13 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_13 for building => SHA256 Checksum OK for bddsolve-source-1.04.zip. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_13 for building ===> Extracting for bddsolve-1.04_13 => SHA256 Checksum OK for bddsolve-source-1.04.zip. Extracted Memory Use: 0.09M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for bddsolve-1.04_13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> bddsolve-1.04_13 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> bddsolve-1.04_13 depends on file: /usr/local/bin/ccache - found ===> bddsolve-1.04_13 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> bddsolve-1.04_13 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Configuring for bddsolve-1.04_13 SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for bddsolve-1.04_13 /usr/bin/env XDG_DATA_HOME=/construction/science/bddsolve XDG_CONFIG_HOME=/construction/science/bddsolve XDG_CACHE_HOME=/construction/science/bddsolve/.cache HOME=/construction/science/bddsolve TMPDIR="/tmp" PATH=/usr/local/libexec/ccache:/construction/science/bddsolve/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/science/bddsolve/.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 CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_13/include -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -L/usr/local/lib -lbdd -lboost_program_options " LIBS="" CXX="c++" CXXFLAGS=" -pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_13/include -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" CCACHE_DIR="/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++ -pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_13/include -O2 -fno-strict-aliasing -L/usr/local/lib -lbdd -lboost_program_options -o /construction/science/bddsolve/bddsolve-1.04_13/bddsolve /construction/science/bddsolve/bddsolve-1.04_13/src/bddsolve.cpp In file included from /construction/science/bddsolve/bddsolve-1.04_13/src/bddsolve.cpp:12: /usr/local/include/boost/timer.hpp:21:70: note: #pragma message: This header is deprecated. Use the facilities in instead. BOOST_HEADER_DEPRECATED( "the facilities in " ) ^ In file included from /construction/science/bddsolve/bddsolve-1.04_13/include/sat/parser.h:22, from /construction/science/bddsolve/bddsolve-1.04_13/src/bddsolve.cpp:28: /usr/local/include/boost/spirit/include/phoenix_operator.hpp:12:55: note: #pragma message: This header is deprecated. Use instead. BOOST_HEADER_DEPRECATED("") ^ In file included from /construction/science/bddsolve/bddsolve-1.04_13/include/sat/parser.h:23, from /construction/science/bddsolve/bddsolve-1.04_13/src/bddsolve.cpp:28: /usr/local/include/boost/spirit/include/phoenix_object.hpp:12:53: note: #pragma message: This header is deprecated. Use instead. BOOST_HEADER_DEPRECATED("") ^ In file included from /construction/science/bddsolve/bddsolve-1.04_13/include/sat/parser.h:24, from /construction/science/bddsolve/bddsolve-1.04_13/src/bddsolve.cpp:28: /usr/local/include/boost/bind.hpp:41:1: note: #pragma message: The practice of declaring the Bind placeholders (_1, _2, ...) in the global namespace is deprecated. Please use + using namespace boost::placeholders, or define BOOST_BIND_GLOBAL_PLACEHOLDERS to retain the current behavior. ) ^ SUCCEEDED 00:00:55 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for bddsolve-1.04_13 ===> Generating temporary packing list install -s -m 555 /construction/science/bddsolve/bddsolve-1.04_13/bddsolve /construction/science/bddsolve/stage/usr/local/bin install -m 0644 /construction/science/bddsolve/bddsolve-1.04_13/example/reach.b /construction/science/bddsolve/stage/usr/local/share/examples/bddsolve install -m 0644 /construction/science/bddsolve/bddsolve-1.04_13/example/sat.b /construction/science/bddsolve/stage/usr/local/share/examples/bddsolve ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for bddsolve-1.04_13 file sizes/checksums [3]: 0% file sizes/checksums [3]: 100% Service unavailablepacking files [3]: 0% packing files [3]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:01:01