------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/gmake-4.3.txz SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cadical-1.0.3_1 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cadical-1.0.3_1 for building => SHA256 Checksum OK for cadical-1.0.3-cb89cbf.tar.xz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cadical-1.0.3_1 for building ===> Extracting for cadical-1.0.3_1 => SHA256 Checksum OK for cadical-1.0.3-cb89cbf.tar.xz. Extracted Memory Use: 2.95M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for cadical-1.0.3_1 ===> Applying ports patches for cadical-1.0.3_1 ===> Cleanly applied ports patch(es) patch-configure SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on package: gmake>=4.3 - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on package: gmake>=4.3 - found ===> Configuring for cadical-1.0.3_1 \033[1mconfigure:\033[0m reusing default 'build' directory \033[1mconfigure:\033[0m building in default \033[32m'/construction/math/cadical/cadical-1.0.3-cb89cbf/build'\033[0m \033[1mconfigure:\033[0m root directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' \033[1mconfigure:\033[0m compiler supports all required C99/C++0x extensions \033[1mconfigure:\033[0m unlocked IO with '{putc,getc}_unlocked' seems to work \033[1mconfigure:\033[0m compiling with \033[32m'c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG'\033[0m \033[1mconfigure:\033[0m generated 'build/makefile' from '../makefile.in' \033[1mconfigure:\033[0m generated '../makefile' as proxy to ... \033[1mconfigure:\033[0m ... '/construction/math/cadical/cadical-1.0.3-cb89cbf/build/makefile' \033[1mconfigure:\033[0m now run \033[32m'make'\033[0m to compile CaDiCaL \033[1mconfigure:\033[0m optionally run 'make test' SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for cadical-1.0.3_1 gmake[1]: Entering directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' make -C "/construction/math/cadical/cadical-1.0.3-cb89cbf/build" make[2]: Entering directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/analyze.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/arena.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/assume.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/averages.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/backtrack.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/backward.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/bins.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/block.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ccadical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/checker.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/clause.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/collect.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/compact.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/config.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/cover.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/decide.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/decompose.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/deduplicate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/elim.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ema.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/extend.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/external.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/file.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/flags.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/format.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/gates.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/instantiate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/internal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ipasir.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/limit.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/logging.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/lucky.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/message.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/minimize.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/occs.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/options.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/parse.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/phases.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/probe.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/profile.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/proof.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/propagate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/queue.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/random.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/reduce.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/rephase.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/report.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/resources.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/restart.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/restore.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/score.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/signal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/solution.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/solver.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/stats.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/subsume.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/terminal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ternary.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/tracer.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/transred.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/util.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/var.cpp ../scripts/make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'COMPILER' ('CXX') c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/version.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/vivify.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/walk.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/watch.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o config.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/cadical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -o cadical cadical.o -L. -lcadical c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/mobical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -o mobical mobical.o -L. -lcadical make[2]: Leaving directory '/construction/math/cadical/cadical-1.0.3-cb89cbf/build' gmake[1]: Leaving directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' SUCCEEDED 00:02:49 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for cadical-1.0.3_1 ===> Generating temporary packing list install -s -m 555 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/cadical /construction/math/cadical/stage/usr/local/bin install -s -m 555 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/mobical /construction/math/cadical/stage/usr/local/bin install -m 0644 /construction/math/cadical/cadical-1.0.3-cb89cbf/src/ccadical.h /construction/math/cadical/stage/usr/local/include install -m 0644 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/libcadical.a /construction/math/cadical/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: package ------------------------------------------------------------------------------- ===> Building package for cadical-1.0.3_1 file sizes/checksums [4]: 0% file sizes/checksums [4]: 100% packing files [4]: 0% packing files [4]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:08 TOTAL TIME 00:03:04