------------------------------------------------------------------------------- -- 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/ltl2ba XDG_CONFIG_HOME=/construction/math/ltl2ba XDG_CACHE_HOME=/construction/math/ltl2ba/.cache HOME=/construction/math/ltl2ba TMPDIR="/tmp" PATH=/construction/math/ltl2ba/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/ltl2ba/.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/ltl2ba XDG_CONFIG_HOME=/construction/math/ltl2ba XDG_CACHE_HOME=/construction/math/ltl2ba/.cache HOME=/construction/math/ltl2ba TMPDIR="/tmp" PATH=/construction/math/ltl2ba/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/ltl2ba/.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 -DNXT -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -DNXT -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 ------------------------------------------------------------------------------- CC=cc CFLAGS="-pipe -DNXT -O2 -fno-strict-aliasing " DESTDIR=/construction/math/ltl2ba/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/ltl2ba" EXAMPLESDIR="share/examples/ltl2ba" DATADIR="share/ltl2ba" WWWDIR="www/ltl2ba" ETCDIR="etc/ltl2ba" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/ltl2ba DOCSDIR=/usr/local/share/doc/ltl2ba EXAMPLESDIR=/usr/local/share/examples/ltl2ba WWWDIR=/usr/local/www/ltl2ba ETCDIR=/usr/local/etc/ltl2ba 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 ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building => SHA256 Checksum OK for ltl2ba-1.3.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by ltl2ba-1.3 for building ===> Extracting for ltl2ba-1.3 => SHA256 Checksum OK for ltl2ba-1.3.tar.gz. Extracted Memory Use: 0.20M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for ltl2ba-1.3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> ltl2ba-1.3 depends on file: /usr/local/bin/ccache - found ===> Configuring for ltl2ba-1.3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for ltl2ba-1.3 --- parse.o --- --- lex.o --- --- main.o --- --- trans.o --- --- buchi.o --- --- set.o --- --- mem.o --- --- rewrt.o --- --- cache.o --- --- alternating.o --- --- generalized.o --- --- parse.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c parse.c --- lex.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c lex.c --- main.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c main.c --- trans.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c trans.c --- set.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c set.c --- mem.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c mem.c --- rewrt.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c rewrt.c --- cache.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c cache.c --- generalized.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c generalized.c --- buchi.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c buchi.c --- alternating.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c alternating.c --- ltl2ba --- cc -pipe -DNXT -O2 -fno-strict-aliasing -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o mem.o rewrt.o cache.o alternating.o generalized.o SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for ltl2ba-1.3 ===> Generating temporary packing list install -s -m 555 /construction/math/ltl2ba/ltl2ba-1.3/ltl2ba /construction/math/ltl2ba/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:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for ltl2ba-1.3 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% Service unavailablepacking files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:01 TOTAL TIME 00:00:03