=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-bulktest/math/cadical", "configure", "BATCH=1", "DEPENDS_TARGET=/nonexistent"] => Checksum BLAKE2s OK for cadical-2.1.3.tar.gz => Checksum SHA512 OK for cadical-2.1.3.tar.gz ===> Installing dependencies for cadical-2.1.3 => Tool dependency gmake>=3.81: found gmake-4.4.1 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 ===> Overriding tools for cadical-2.1.3 ===> Extracting for cadical-2.1.3 ===> Patching for cadical-2.1.3 ===> Creating toolchain wrappers for cadical-2.1.3 ===> Configuring for cadical-2.1.3 => Checking for portability problems in extracted files configure: making default 'build' directory configure: building in default '/home/pbuild/work/math/cadical/work/cadical-rel-2.1.3/build' configure: root directory '/home/pbuild/work/math/cadical/work/cadical-rel-2.1.3' configure: source directory '/home/pbuild/work/math/cadical/work/cadical-rel-2.1.3/src' configure: compiler supports all required C99/C++11 extensions configure: compiler configuration supports flexible array members configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: can not use 'closefrom' (failed to compile './configure-have-closefrom.cpp') configure: compiling with 'g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/home/pbuild/work/math/cadical/work/cadical-rel-2.1.3/build/makefile' configure: linking '/home/pbuild/work/math/cadical/work/cadical-rel-2.1.3/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test'