=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/math/cadical", "configure", "BATCH=1", "DEPENDS_TARGET=/nonexistent"]
=> Checksum BLAKE2s OK for cadical-3.0.0.tar.gz
=> Checksum SHA512 OK for cadical-3.0.0.tar.gz
===> Installing dependencies for cadical-3.0.0
=> 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-3.0.0
===> Extracting for cadical-3.0.0
===> Patching for cadical-3.0.0
===> Creating toolchain wrappers for cadical-3.0.0
===> Configuring for cadical-3.0.0
=> Checking for portability problems in extracted files
configure: making default 'build' directory
configure: building in default '/tmp/work/math/cadical/work/cadical-rel-3.0.0/build'
configure: root directory '/tmp/work/math/cadical/work/cadical-rel-3.0.0'
configure: source directory '/tmp/work/math/cadical/work/cadical-rel-3.0.0/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: no 'libcadical.so' shared library generated (without '-shared')
configure: no 'cadical-dynamic' dynamically linked binary generated (without '-shared')
configure: compiling C++ with 'g++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM'
configure: compiling C with 'gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -Wall -Wextra -O3 -DNDEBUG'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/tmp/work/math/cadical/work/cadical-rel-3.0.0/build/makefile'
configure: linking '/tmp/work/math/cadical/work/cadical-rel-3.0.0/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'