>>> Building on sparc64-0d under math/cadical
	BDEPENDS = [devel/gmake]
	DIST = [math/cadical:cadical-3.0.1.tar.gz]
	FULLPKGNAME = cadical-3.0.1
Avoided depends for gmake-4.4.1p0
(Junk lock obtained for sparc64-0d at 1792957136.36)
Don't run junk because nojunk in x11/qdirstat
(Junk lock released for sparc64-0d at 1792957136.36)
distfiles size=889912
>>> Running patch in math/cadical at 1792957136.48
===> math/cadical
===> Building from scratch cadical-3.0.1p0
===> cadical-3.0.1p0 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
===>  Checking files for cadical-3.0.1p0
`/usr/ports/distfiles/cadical-3.0.1.tar.gz' is up to date.
>> (SHA256) all files: OK
===>  Extracting for cadical-3.0.1p0
===>  Patching for cadical-3.0.1p0
===>   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 1792957140.13
===> math/cadical
===>  Generating configure for cadical-3.0.1p0
===>  Configuring for cadical-3.0.1p0
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 1792957187.60
===> math/cadical
===>  Building for cadical-3.0.1p0
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()
c++ -O2 -pipe -W -O -DNDEBUG -fPIC -I../build -I../src -c ../src/mobical.cpp
c++ -O2 -pipe -W -O -DNDEBUG -fPIC -I../build -I../src -o mobical mobical.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()
c++ -O2 -pipe -W -O -DNDEBUG -fPIC -I../build -I../src -shared -o libcadical.so 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 -o cadical-dynamic cadical.o -L. libcadical.so 
gmake[1]: Leaving directory '/usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build'
>>> Running fake in math/cadical at 1792960639.46
===> math/cadical
===>  Faking installation for cadical-3.0.1p0
/usr/obj/ports/cadical-3.0.1/bin/install -c -s -m 755 /usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build/cadical /usr/obj/ports/cadical-3.0.1/fake-sparc64/usr/local/bin
/usr/obj/ports/cadical-3.0.1/bin/install -c -s -m 755 /usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build/mobical /usr/obj/ports/cadical-3.0.1/fake-sparc64/usr/local/bin
/usr/obj/ports/cadical-3.0.1/bin/install -c -m 644 /usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/src/cadical.hpp /usr/obj/ports/cadical-3.0.1/fake-sparc64/usr/local/include
/usr/obj/ports/cadical-3.0.1/bin/install -c -m 644 /usr/obj/ports/cadical-3.0.1/cadical-rel-3.0.1/build/libcadical.so  /usr/obj/ports/cadical-3.0.1/fake-sparc64/usr/local/lib/libcadical.so.0.0
>>> Running package in math/cadical at 1792960642.30
===> math/cadical
`/usr/obj/ports/cadical-3.0.1/fake-sparc64/.fake_done' is up to date.
===>  Building package for cadical-3.0.1p0
Create /usr/ports/packages/sparc64/all/cadical-3.0.1p0.tgz
Creating package cadical-3.0.1p0

reading plist|                                                                 
checking dependencies|                                                         
checksumming|                                                                  
checksumming|                                                             | 0% 
checksumming|****                                                         | 6% 
checksumming|********                                                     | 13%
checksumming|***********                                                  | 19%
checksumming|***************                                              | 25%
checksumming|*******************                                          | 31%
checksumming|***********************                                      | 38%
checksumming|***************************                                  | 44%
checksumming|*******************************                              | 50%
checksumming|**********************************                           | 56%
checksumming|**************************************                       | 63%
checksumming|******************************************                   | 69%
checksumming|**********************************************               | 75%
checksumming|**************************************************           | 81%
checksumming|*****************************************************        | 88%
checksumming|*********************************************************    | 94%
checksumming|*************************************************************|100%
                                                                               

archiving|                                                                     
archiving|                                                                | 0% 
archiving|*******************                                             | 29%
archiving|***************************************                         | 61%
archiving|****************************************                        | 62%
archiving|*************************************************************** | 98%
archiving|****************************************************************|100%
                                                                               
Link to /usr/ports/packages/sparc64/ftp/cadical-3.0.1p0.tgz
>>> Running clean in math/cadical at 1792960653.22
===> math/cadical
===>  Cleaning for cadical-3.0.1p0
>>> Ended at 1792960654.50
max_stuck=77.62/patch=3.65/configure=47.36/build=3451.86/fake=2.95/package=10.93/clean=1.38