>>> Building on sparc64-0c under math/cadical
	BDEPENDS = [devel/gmake]
	DIST = [math/cadical:cadical-3.0.1.tar.gz]
	FULLPKGNAME = cadical-3.0.1
(Junk lock obtained for sparc64-0c at 1792498268.04)
>>> Running depends in math/cadical at 1792498268.26
   last junk was in devel/kf5/kross
/usr/sbin/pkg_add -aI -Drepair gmake-4.4.1p0
was: /usr/sbin/pkg_add -aI -Drepair gmake-4.4.1p0
/usr/sbin/pkg_add -aI -Drepair gmake-4.4.1p0
>>> Running show-prepare-results in math/cadical at 1792498275.89
===> math/cadical
===> Building from scratch cadical-3.0.1
===> cadical-3.0.1 depends on: gmake-* -> gmake-4.4.1p0
===>  Verifying specs:  c++ c++abi pthread c m
===>  found c++.13.0 c++abi.10.0 pthread.28.1 c.104.0 m.10.1
gmake-4.4.1p0
(Junk lock released for sparc64-0c at 1792498278.09)
distfiles size=889912
>>> Running patch in math/cadical at 1792498278.19
===> math/cadical
===>  Checking files for cadical-3.0.1
`/usr/ports/distfiles/cadical-3.0.1.tar.gz' is up to date.
>> (SHA256) all files: OK
===>  Extracting for cadical-3.0.1
===>  Patching for cadical-3.0.1
===>   Applying OpenBSD patch patch-src_mobical_cpp
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|Index: src/mobical.cpp
|--- src/mobical.cpp.orig
|+++ src/mobical.cpp
--------------------------
Patching file src/mobical.cpp using Plan A...
Hunk #1 succeeded at 3595.
Hunk #2 succeeded at 3603.
done
===>  Compiler link: clang -> /usr/bin/clang
===>  Compiler link: clang++ -> /usr/bin/clang++
===>  Compiler link: cc -> /usr/bin/cc
===>  Compiler link: c++ -> /usr/bin/c++
>>> Running configure in math/cadical at 1792498280.16
===> math/cadical
===>  Generating configure for cadical-3.0.1
===>  Configuring for cadical-3.0.1
configure: making default 'build' directory
configure: building in default '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build'
configure: root directory '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1'
configure: source directory '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/src'
configure: compiler supports all required C99/C++11 extensions
configure: compiler configuration supports flexible array members
configure: unlocked IO with 'putc_unlocked' 'getc_unlocked' seems to work
configure: 'closefrom' seems to be working
configure: adding 'libcadical.so' and 'cadical-dynamic' to default makefile goal
configure: compiling C++ with 'c++ -O2 -pipe -W -O -DNDEBUG -fpic'
configure: compiling C with 'cc -O2 -pipe -W -O -DNDEBUG -fpic'
configure: generated 'build/makefile' from '../makefile.in'
configure: generated '../makefile' as proxy to ...
configure: ... '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build/makefile'
configure: linking '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/makefile'
configure: now run 'make' to compile CaDiCaL
configure: optionally run 'make test'
>>> Running build in math/cadical at 1792498326.07
===> math/cadical
===>  Building for cadical-3.0.1
gmake -C "/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build"
gmake[1]: Entering directory '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build'
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/analyze.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/arena.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/assume.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/averages.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/backbone.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/backtrack.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/backward.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/bins.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/block.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/ccadical.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/checker.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/clause.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/collect.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/compact.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/condition.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/config.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/congruence.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/constrain.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/contract.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/cover.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/decide.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/decompose.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/deduplicate.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/definition.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/drattracer.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/elim.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/elimfast.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/ema.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/extend.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/external.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/external_propagate.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/factor.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/file.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/flags.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/flip.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/format.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/frattracer.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/gates.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/idruptracer.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/instantiate.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/internal.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/ipasir.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/lidruptracer.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/limit.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/logging.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/lookahead.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/lratchecker.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/lrattracer.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/lucky.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/message.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/minimize.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/occs.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/options.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/parse.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/phases.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/probe.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/profile.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/proof.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/propagate.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/queue.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/random.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/reap.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/reduce.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/rephase.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/report.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/resources.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/restart.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/restore.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/score.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/shrink.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/signal.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/solution.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/solver.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/stable.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/stats.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/subsume.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/sweep.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/terminal.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/ternary.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/tier.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/transred.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/unstable.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/util.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/var.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -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)
make-build-header.sh: warning: could not determine 'COMPILER' ('CXX')
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/version.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/vivify.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/walk.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/walk_full_occs.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/warmup.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/watch.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../contrib/craigtracer.cpp
cc -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -x c -c ../src/kitten.c -o kitten.o
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
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -c ../src/cadical.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fpic -I../build -I../src -o cadical cadical.o -L. libcadical.a 
ld: warning: file.cpp(file.o:(CaDiCaL::File::find_program(char const*)) in archive libcadical.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x1806c): relocation R_SPARC_GOT13 out of range: 8192 is not in [-4096, 8191]; references '.L.str.951'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x180b0): relocation R_SPARC_GOT13 out of range: 8200 is not in [-4096, 8191]; references '.L.str.952'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18140): relocation R_SPARC_GOT13 out of range: 8208 is not in [-4096, 8191]; references '.L.str.953'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18180): relocation R_SPARC_GOT13 out of range: 8216 is not in [-4096, 8191]; references '.L.str.954'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18250): relocation R_SPARC_GOT13 out of range: 8224 is not in [-4096, 8191]; references '.L.str.955'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x1833c): relocation R_SPARC_GOT13 out of range: 8232 is not in [-4096, 8191]; references '.L.str.956'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18420): relocation R_SPARC_GOT13 out of range: 8240 is not in [-4096, 8191]; references '.L.str.957'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x184f8): relocation R_SPARC_GOT13 out of range: 8248 is not in [-4096, 8191]; references '.L.str.958'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x185dc): relocation R_SPARC_GOT13 out of range: 8256 is not in [-4096, 8191]; references '.L.str.959'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x186ac): relocation R_SPARC_GOT13 out of range: 8264 is not in [-4096, 8191]; references '.L.str.960'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x1877c): relocation R_SPARC_GOT13 out of range: 8272 is not in [-4096, 8191]; references '.L.str.961'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x1884c): relocation R_SPARC_GOT13 out of range: 8280 is not in [-4096, 8191]; references '.L.str.962'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18930): relocation R_SPARC_GOT13 out of range: 8288 is not in [-4096, 8191]; references '.L.str.963'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x189f8): relocation R_SPARC_GOT13 out of range: 8296 is not in [-4096, 8191]; references '.L.str.964'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18ad0): relocation R_SPARC_GOT13 out of range: 8304 is not in [-4096, 8191]; references '.L.str.965'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18ba8): relocation R_SPARC_GOT13 out of range: 8312 is not in [-4096, 8191]; references '.L.str.966'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18c8c): relocation R_SPARC_GOT13 out of range: 8320 is not in [-4096, 8191]; references '.L.str.967'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18d5c): relocation R_SPARC_GOT13 out of range: 8328 is not in [-4096, 8191]; references '.L.str.968'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18dec): relocation R_SPARC_GOT13 out of range: 8336 is not in [-4096, 8191]; references '.L.str.969'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: libcadical.a(options.o):(function CaDiCaL::Options::print(): .text+0x18e24): relocation R_SPARC_GOT13 out of range: 8344 is not in [-4096, 8191]; references '.L.str.970'
>>> referenced by options.cpp
>>> defined in libcadical.a(options.o)

ld: error: too many errors emitted, stopping now (use --error-limit=0 to see all errors)
c++: error: linker command failed with exit code 1 (use -v to see invocation)
gmake[1]: *** [makefile:65: cadical] Error 1
gmake[1]: Leaving directory '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build'
gmake: *** [makefile:3: all] Error 2
*** Error 2 in math/cadical (/usr/ports/infrastructure/mk/bsd.port.mk:3094 '/usr/obj/ports/cadical-3.0.1/.build_done': @cd /usr/obj/ports/ca...)
*** Error 2 in math/cadical (/usr/ports/infrastructure/mk/bsd.port.mk:2729 'build': @lock=cadical-3.0.1;  export _LOCKS_HELD=" cadical-3.0.1...)
===> Exiting math/cadical with an error
*** Error 1 in /usr/ports (infrastructure/mk/bsd.port.subdir.mk:144 'build': @: ${echo_msg:=echo};  : ${target:=build};  for i in ; do  eval...)
>>> Ended at 1792501562.77
max_stuck=52.80/depends=7.71/show-prepare-results=2.35/patch=1.97/configure=45.85/build=3236.85
Error: job failed with 512 on sparc64-0c at 1792501562