------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/buddy-2.4_2.txz ===== 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://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Installing /packages/All/icu-67.1,1.txz Installing /packages/All/boost-libs-1.72.0_2.txz ===== Message from boost-libs-1.72.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. SUCCEEDED 00:00:07 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> bddsolve-1.04_9 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> bddsolve-1.04_9 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_9 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> bddsolve-1.04_9 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_9 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_9 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by bddsolve-1.04_9 for building ===> Extracting for bddsolve-1.04_9 => SHA256 Checksum OK for bddsolve-source-1.04.zip. Extracted Memory Use: 0.09M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for bddsolve-1.04_9 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> bddsolve-1.04_9 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> bddsolve-1.04_9 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_9 depends on shared library: libbdd.so - found (/usr/local/lib/libbdd.so) ===> bddsolve-1.04_9 depends on shared library: libboost_program_options.so - found (/usr/local/lib/libboost_program_options.so) ===> Configuring for bddsolve-1.04_9 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for bddsolve-1.04_9 /usr/bin/env XDG_DATA_HOME=/construction/science/bddsolve XDG_CONFIG_HOME=/construction/science/bddsolve HOME=/construction/science/bddsolve TMPDIR="/tmp" PATH=/construction/science/bddsolve/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes 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_9/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_9/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" c++ -pipe -I/usr/local/include -I/construction/science/bddsolve/bddsolve-1.04_9/include -O2 -fno-strict-aliasing -L/usr/local/lib -lbdd -lboost_program_options -o /construction/science/bddsolve/bddsolve-1.04_9/bddsolve /construction/science/bddsolve/bddsolve-1.04_9/src/bddsolve.cpp In file included from /construction/science/bddsolve/bddsolve-1.04_9/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 " ) ^ SUCCEEDED 00:00:52 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for bddsolve-1.04_9 ===> Generating temporary packing list install -s -m 555 /construction/science/bddsolve/bddsolve-1.04_9/bddsolve /construction/science/bddsolve/stage/usr/local/bin install -m 0644 /construction/science/bddsolve/bddsolve-1.04_9/example/reach.b /construction/science/bddsolve/stage/usr/local/share/examples/bddsolve install -m 0644 /construction/science/bddsolve/bddsolve-1.04_9/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:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for bddsolve-1.04_9 file sizes/checksums [3]: 0% file sizes/checksums [3]: 100% packing files [3]: 0% packing files [3]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:01:02