------------------------------------------------------------------------------- -- 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 ------------------------------------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/kissat XDG_CONFIG_HOME=/construction/math/kissat XDG_CACHE_HOME=/construction/math/kissat/.cache HOME=/construction/math/kissat TMPDIR="/tmp" PATH=/construction/math/kissat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/kissat/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- --shared --kitten --statistics --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/kissat XDG_CONFIG_HOME=/construction/math/kissat XDG_CACHE_HOME=/construction/math/kissat/.cache HOME=/construction/math/kissat TMPDIR="/tmp" PATH=/construction/math/kissat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/kissat/.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/kissat/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/kissat" EXAMPLESDIR="share/examples/kissat" DATADIR="share/kissat" WWWDIR="www/kissat" ETCDIR="etc/kissat" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/kissat DOCSDIR=/usr/local/share/doc/kissat EXAMPLESDIR=/usr/local/share/examples/kissat WWWDIR=/usr/local/www/kissat ETCDIR=/usr/local/etc/kissat 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/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/gmake-4.3_2.pkg 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:01 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on file: /usr/local/sbin/pkg - found => arminbiere-kissat-rel-3.1.0_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/arminbiere/kissat/tar.gz/rel-3.1.0?dummy=/arminbiere-kissat-rel-3.1.0_GH0.tar.gz fetch: https://codeload.github.com/arminbiere/kissat/tar.gz/rel-3.1.0?dummy=/arminbiere-kissat-rel-3.1.0_GH0.tar.gz: size unknown fetch: https://codeload.github.com/arminbiere/kissat/tar.gz/rel-3.1.0?dummy=/arminbiere-kissat-rel-3.1.0_GH0.tar.gz: size of remote file is not known arminbiere-kissat-rel-3.1.0_GH0.tar.gz 0 B 0 Bps arminbiere-kissat-rel-3.1.0_GH0.tar.gz 128 kB 615 kBps arminbiere-kissat-rel-3.1.0_GH0.tar.gz 459 kB 899 kBps 01s ===> Fetching all distfiles required by kissat-3.1.0 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by kissat-3.1.0 for building => SHA256 Checksum OK for arminbiere-kissat-rel-3.1.0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by kissat-3.1.0 for building ===> Extracting for kissat-3.1.0 => SHA256 Checksum OK for arminbiere-kissat-rel-3.1.0_GH0.tar.gz. Extracted Memory Use: 3.21M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for kissat-3.1.0 ===> Applying ports patches for kissat-3.1.0 from /xports/math/kissat/files SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on package: gmake>=4.3 - found ===> kissat-3.1.0 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> kissat-3.1.0 depends on package: gmake>=4.3 - found ===> kissat-3.1.0 depends on file: /usr/local/bin/ccache - found ===> Configuring for kissat-3.1.0 invalid option '--prefix=/usr/local' (try '-h') invalid option '--build=x86_64-portbld-dragonfly6.5' (try '-h') configure: reusing existing build directory 'build' configure: compiler 'cc -W -O -DNDEBUG -DSTATISTICS -fpic' configure: linker 'cc' (no additional options) configure: using default 'ar' (no cross compilation) configure: no 'tissat' binary generated (without '--test') configure: adding 'libkissat.so' shared library to default makefile goal too configure: adding 'kitten' binary to default makefile goal too configure: removing src/makefile configure: linking src/makefile SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for kissat-3.1.0 gmake[1]: Entering directory '/construction/math/kissat/kissat-rel-3.1.0' gmake -C "/construction/math/kissat/kissat-rel-3.1.0/build" gmake[2]: Entering directory '/construction/math/kissat/kissat-rel-3.1.0/build' cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/allocate.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/analyze.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/ands.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/arena.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/assign.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/averages.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/backbone.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/backtrack.c ../scripts/generate-build-header.sh > build.h cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/bump.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/check.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/clause.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/collect.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/colors.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/compact.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/config.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/decide.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/deduce.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/definition.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/dense.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/dump.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/eliminate.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/equivalences.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/error.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/extend.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/file.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/flags.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/format.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/forward.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/gates.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/heap.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/ifthenelse.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/import.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/internal.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/kimits.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/kitten.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/learn.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/logging.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/minimize.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/mode.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/options.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/phases.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/print.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/probe.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/profile.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/promote.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/proof.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/propbeyond.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/propdense.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/proprobe.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/propsearch.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/queue.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/reduce.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/reluctant.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/rephase.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/report.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/resize.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/resolve.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/resources.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/restart.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/search.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/shrink.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/smooth.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/sort.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/stack.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/statistics.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/strengthen.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/substitute.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/sweep.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/terminate.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/trail.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/transitive.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/utilities.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/vector.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/vivify.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/walk.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/warmup.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/watch.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/weaken.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/main.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/application.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/handle.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/parse.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -c ../src/witness.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -pipe -O2 -fno-strict-aliasing -DSTAND_ALONE_KITTEN -o kitten ../src/kitten.c cc -W -O -DNDEBUG -DSTATISTICS -fpic -I../build -c ../src/build.c ar rc libkissat.a allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o clause.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o learn.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o cc -shared -o libkissat.so allocate.o analyze.o ands.o arena.o assign.o averages.o backbone.o backtrack.o build.o bump.o check.o clause.o collect.o colors.o compact.o config.o decide.o deduce.o definition.o dense.o dump.o eliminate.o equivalences.o error.o extend.o file.o flags.o format.o forward.o gates.o heap.o ifthenelse.o import.o internal.o kimits.o kitten.o learn.o logging.o minimize.o mode.o options.o phases.o print.o probe.o profile.o promote.o proof.o propbeyond.o propdense.o proprobe.o propsearch.o queue.o reduce.o reluctant.o rephase.o report.o resize.o resolve.o resources.o restart.o search.o shrink.o smooth.o sort.o stack.o statistics.o strengthen.o substitute.o sweep.o terminate.o trail.o transitive.o utilities.o vector.o vivify.o walk.o warmup.o watch.o weaken.o cc -o kissat main.o application.o handle.o parse.o witness.o libkissat.a -lm gmake[2]: Leaving directory '/construction/math/kissat/kissat-rel-3.1.0/build' gmake[1]: Leaving directory '/construction/math/kissat/kissat-rel-3.1.0' SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for kissat-3.1.0 ===> Generating temporary packing list install -s -m 555 /construction/math/kissat/kissat-rel-3.1.0/build/kissat /construction/math/kissat/stage/usr/local/bin install -s -m 555 /construction/math/kissat/kissat-rel-3.1.0/build/kitten /construction/math/kissat/stage/usr/local/bin /bin/mkdir -p /construction/math/kissat/stage/usr/local/include/kissat install -m 0644 /construction/math/kissat/kissat-rel-3.1.0/src/kissat.h /construction/math/kissat/stage/usr/local/include/kissat install -s -m 0644 /construction/math/kissat/kissat-rel-3.1.0/build/libkissat.so /construction/math/kissat/stage/usr/local/lib install -m 0644 /construction/math/kissat/kissat-rel-3.1.0/build/libkissat.a /construction/math/kissat/stage/usr/local/lib ====> 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: 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 kissat-3.1.0 file sizes/checksums [5]: 0% file sizes/checksums [5]: 100% Service unavailablepacking files [5]: 0% packing files [5]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:10