------------------------------------------------------------------------------- -- 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 ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/btor2tools XDG_CONFIG_HOME=/construction/math/btor2tools XDG_CACHE_HOME=/construction/math/btor2tools/.cache HOME=/construction/math/btor2tools TMPDIR="/tmp" PATH=/construction/math/btor2tools/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/btor2tools/.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/math/btor2tools XDG_CONFIG_HOME=/construction/math/btor2tools XDG_CACHE_HOME=/construction/math/btor2tools/.cache HOME=/construction/math/btor2tools TMPDIR="/tmp" PATH=/construction/math/btor2tools/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/btor2tools/.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 -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -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/math/btor2tools/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/btor2tools" EXAMPLESDIR="share/examples/btor2tools" DATADIR="share/btor2tools" WWWDIR="www/btor2tools" ETCDIR="etc/btor2tools" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/btor2tools DOCSDIR=/usr/local/share/doc/btor2tools EXAMPLESDIR=/usr/local/share/examples/btor2tools WWWDIR=/usr/local/www/btor2tools ETCDIR=/usr/local/etc/btor2tools 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. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building => SHA256 Checksum OK for Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by btor2tools-g20190418 for building ===> Extracting for btor2tools-g20190418 => SHA256 Checksum OK for Boolector-btor2tools-g20190418-1df768d_GH0.tar.gz. Extracted Memory Use: 0.85M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for btor2tools-g20190418 ===> Applying ports patches for btor2tools-g20190418 from /xports/math/btor2tools/files SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> btor2tools-g20190418 depends on file: /usr/local/bin/ccache - found ===> Configuring for btor2tools-g20190418 cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG makefile generated SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for btor2tools-g20190418 --- dirs --- mkdir -p build mkdir -p bin --- build/btor2parser.o --- --- build/btorsimrng.o --- --- build/btor2parser.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btor2parser.o -c src/btor2parser/btor2parser.c -Isrc --- build/btorsimrng.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsimrng.o -c src/btorsim/btorsimrng.c -Isrc/btorsim --- build/libbtor2parser.a --- --- build/libbtor2parser.so --- --- build/catbtor.o --- --- build/libbtor2parser.a --- ar rc build/libbtor2parser.a build/btor2parser.o --- build/libbtor2parser.so --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -shared -o build/libbtor2parser.so build/btor2parser.o -Xlinker -soname=libbtor2parser.so --- build/btorsimbv.o --- --- build/catbtor.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/catbtor.o -c src/catbtor.c -Isrc --- build/btorsimbv.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsimbv.o -c src/btorsim/btorsimbv.c -Isrc --- build/libbtor2parser.a --- ranlib build/libbtor2parser.a --- bin/catbtor --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o bin/catbtor build/catbtor.o -Lbuild -lbtor2parser --- build/btorsim.o --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o build/btorsim.o -c src/btorsim/btorsim.c -Ibtorsim -Isrc --- bin/btorsim --- cc -W -Wall -Wextra -Wredundant-decls -std=gnu99 -fPIC -fPIC -O3 -DNDEBUG -o bin/btorsim build/btorsim.o build/btorsimbv.o build/btorsimrng.o -Lbuild -lbtor2parser SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for btor2tools-g20190418 ===> Generating temporary packing list /bin/mkdir -p /construction/math/btor2tools/stage/usr/local/include/btor2parser install -m 0644 /construction/math/btor2tools/btor2tools-1df768d/src/btor2parser/btor2parser.h /construction/math/btor2tools/stage/usr/local/include/btor2parser install -s -m 0644 /construction/math/btor2tools/btor2tools-1df768d/build/libbtor2parser.so /construction/math/btor2tools/stage/usr/local/lib install -s -m 555 /construction/math/btor2tools/btor2tools-1df768d/bin/btorsim /construction/math/btor2tools/stage/usr/local/bin install -s -m 555 /construction/math/btor2tools/btor2tools-1df768d/bin/catbtor /construction/math/btor2tools/stage/usr/local/bin ====> 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 btor2tools-g20190418 file sizes/checksums [4]: 0% file sizes/checksums [4]: 100% Service unavailablepacking files [4]: 0% packing files [4]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:03