=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/math/cadical", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent"]
===> Building for cadical-3.0.0
/opt/pkg/bin/gmake -C "/home/pbulk/work/math/cadical/work/cadical-rel-3.0.0/build"
gmake[1]: Entering directory '/home/pbulk/work/math/cadical/work/cadical-rel-3.0.0/build'
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/analyze.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/arena.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/assume.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/averages.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backbone.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backtrack.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backward.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/bins.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/block.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ccadical.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/checker.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/clause.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/collect.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/compact.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/condition.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/config.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/congruence.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/constrain.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/contract.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cover.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decide.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decompose.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/deduplicate.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/definition.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/drattracer.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/elim.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/elimfast.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ema.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/extend.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external_propagate.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/factor.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/file.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flags.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flip.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/format.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/frattracer.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/gates.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/idruptracer.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/instantiate.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/internal.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ipasir.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lidruptracer.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/limit.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/logging.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lookahead.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lratchecker.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lrattracer.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lucky.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/message.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/minimize.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/occs.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/options.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/parse.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/phases.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/probe.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/profile.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/proof.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/propagate.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/queue.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/random.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reap.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reduce.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/rephase.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/report.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/resources.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restart.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restore.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/score.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/shrink.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/signal.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solution.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solver.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/stable.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/stats.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/subsume.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/sweep.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/terminal.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ternary.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/tier.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/transred.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/unstable.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/util.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/var.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/veripbtracer.cpp
../scripts/make-build-header.sh > build.hpp
make-build-header.sh: warning: could not determine 'IDENTIFIER' (git id)
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/vivify.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/walk.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/walk_full_occs.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/warmup.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/watch.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../contrib/craigtracer.cpp
gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -I../build -I../src -x c -c ../src/kitten.c -o kitten.o
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cadical.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/mobical.cpp
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/version.cpp
ar rc libcadical.a analyze.o arena.o assume.o averages.o backbone.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o condition.o config.o congruence.o constrain.o contract.o cover.o decide.o decompose.o deduplicate.o definition.o drattracer.o elim.o elimfast.o ema.o extend.o external.o external_propagate.o factor.o file.o flags.o flip.o format.o frattracer.o gates.o idruptracer.o instantiate.o internal.o ipasir.o lidruptracer.o limit.o logging.o lookahead.o lratchecker.o lrattracer.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 reap.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o shrink.o signal.o solution.o solver.o stable.o stats.o subsume.o sweep.o terminal.o ternary.o tier.o transred.o unstable.o util.o var.o veripbtracer.o version.o vivify.o walk.o walk_full_occs.o warmup.o watch.o craigtracer.o kitten.o
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o cadical cadical.o -L. libcadical.a 
g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o mobical mobical.o -L. libcadical.a
Undefined			first referenced
 symbol  			    in file
getnameinfo                         libcadical.a(random.o)
__getifaddrs                        libcadical.a(random.o)
freeifaddrs                         libcadical.a(random.o)
ld: fatal: symbol referencing errors. No output written to mobical
collect2: error: ld returned 1 exit status
gmake[1]: *** [makefile:72: mobical] Error 1
gmake[1]: Leaving directory '/home/pbulk/work/math/cadical/work/cadical-rel-3.0.0/build'
gmake: *** [makefile:3: all] Error 2
*** Error code 2

Stop.
bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/cadical
*** Error code 1

Stop.
bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/cadical