+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/gappa-1.3.5/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/gappa-1.3.5/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Building for gappa-1.3.5
cd /home/pbulk/build/math/gappa/work/gappa-1.3.5 && /bin/env USETOOLS=no PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS=-lpthread\ -lrt PTHREADBASE=/usr CC=cc CFLAGS=-pipe\ -O2\ -pthread\ -I/usr/pkg/include\ -I/usr/include CPPFLAGS=-I/usr/pkg/include\ -I/usr/include CXX=c++ CXXFLAGS=-pipe\ -O2\ -pthread\ -I/usr/pkg/include\ -I/usr/include COMPILER_RPATH_FLAG=-Wl,-R F77=f77 FC=f77 FFLAGS=-O LANG=C LC_ALL=C LC_COLLATE=C LC_CTYPE=C LC_MESSAGES=C LC_MONETARY=C LC_NUMERIC=C LC_TIME=C LDFLAGS=-Wl,-zrelro\ -L/usr/pkg/lib\ -pthread\ -L/usr/lib64\ -Wl,-R/usr/lib64\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/home/pbulk/build/math/gappa/work/.cwrapper/bin:/home/pbulk/build/math/gappa/work/.buildlink/bin:/home/pbulk/build/math/gappa/work/.gcc/bin:/home/pbulk/build/math/gappa/work/.tools/bin:/usr/pkg/bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/home/pbulk/build/math/gappa/work/.home CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/gappa/work/.cwrapper/config CPP=cpp LOCALBASE=/usr/pkg X11BASE=/usr/pkg PKGMANDIR=man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/bin/install\ -c\ -s\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL_MAN=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL=/bin/install BSD_INSTALL_PROGRAM_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_MAN_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_GAME=/bin/install\ -c\ -s\ -o\ pbulk\ -g\ pbulk\ -m\ 2555 BSD_INSTALL_GAME_DATA=/bin/install\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 664 BSD_INSTALL_GAME_DIR=/bin/install\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 775 INSTALL_INFO= MAKEINFO=/home/pbulk/build/math/gappa/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/home/pbulk/build/math/gappa/work/.tools/bin/itstool GDBUS_CODEGEN=/home/pbulk/build/math/gappa/work/.tools/bin/gdbus-codegen PKG_CONFIG=/home/pbulk/build/math/gappa/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/home/pbulk/build/math/gappa/work/.buildlink/lib64/pkgconfig:/home/pbulk/build/math/gappa/work/.buildlink/lib/pkgconfig:/home/pbulk/build/math/gappa/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/home/pbulk/build/math/gappa/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/home/pbulk/build/math/gappa/work/.cwrapper/config ./remake -j2
Building src/arithmetic/fixed.o
Building src/arithmetic/float.o
Finished src/arithmetic/fixed.o
Building src/arithmetic/homogen.o
Finished src/arithmetic/float.o
Building src/arithmetic/relative.o
Finished src/arithmetic/homogen.o
Building src/backends/backend.o
Finished src/backends/backend.o
Building src/backends/coq.o
Finished src/arithmetic/relative.o
Building src/backends/coq_common.o
Finished src/backends/coq.o
Building src/backends/coq_lambda.o
Finished src/backends/coq_lambda.o
Building src/backends/holl.o
Finished src/backends/coq_common.o
Building src/backends/latex.o
Finished src/backends/latex.o
Building src/numbers/interval.o
Finished src/backends/holl.o
Building src/numbers/io.o
Finished src/numbers/interval.o
Building src/numbers/real.o
Finished src/numbers/io.o
Building src/numbers/round.o
Finished src/numbers/real.o
Building src/parser/ast.o
Finished src/numbers/round.o
Building src/parser/lexer.o
Finished src/parser/lexer.o
Building src/parser/parser_aux.o
Finished src/parser/ast.o
Building src/parser/parser.o
Finished src/parser/parser_aux.o
Building src/parser/pattern.o
Finished src/parser/parser.o
Building src/parser/ring.o
Finished src/parser/pattern.o
Building src/proofs/basic_proof.o
Finished src/parser/ring.o
Building src/proofs/dichotomy.o
Finished src/proofs/dichotomy.o
Building src/proofs/proof_graph.o
Finished src/proofs/basic_proof.o
Building src/proofs/property.o
Finished src/proofs/property.o
Building src/proofs/rewriting.o
Finished src/proofs/proof_graph.o
Building src/proofs/schemes.o
Finished src/proofs/schemes.o
Building src/proofs/updater.o
Finished src/proofs/rewriting.o
Building src/main.o
Finished src/proofs/updater.o
Building src/parameters.o
Finished src/parameters.o
Finished src/main.o
Building src/gappa
Finished src/gappa
Building all
Finished all