=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent", "PYTHON_VERSION_REQD=313"]
===> Building for coq-8.20.1nb8
dune build  --root . theories_dune ltac2_dune
touch .dune-stamp
cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune
cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune
/tmp/make2Ga_iy: line 1: 410657 Killed                  /usr/bin/env SOURCE_DATE_EPOCH=20250127 USETOOLS=no PTHREAD_CFLAGS=\ -pthread\  PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS=-lpthread\ -lrt PTHREADBASE=/usr OCAML_SITELIBDIR="lib/ocaml/site-lib" DL_CFLAGS= DL_LDFLAGS= DL_LIBS= PYTHON=/opt/pkg/bin/python3.13 CC=gcc CFLAGS=-pipe\ -O2\ -msave-args\ -fno-aggressive-loop-optimizations\ -I/opt/pkg/include\ -I/opt/pkg/include/glib-2.0\ -I/opt/pkg/include/gio-unix-2.0\ -I/opt/pkg/lib/glib-2.0/include\ -I/usr/include\ -I/opt/pkg/include/freetype2\ -I/opt/pkg/include/harfbuzz\ -I/opt/pkg/include/libdrm\ -I/opt/pkg/include/libxml2\ -I/opt/pkg/include/ncurses\ -I/opt/pkg/include/python3.13 CPPFLAGS=-I/opt/pkg/include\ -I/opt/pkg/include/glib-2.0\ -I/opt/pkg/include/gio-unix-2.0\ -I/opt/pkg/lib/glib-2.0/include\ -I/usr/include\ -I/opt/pkg/include/freetype2\ -I/opt/pkg/include/harfbuzz\ -I/opt/pkg/include/libdrm\ -I/opt/pkg/include/libxml2\ -I/opt/pkg/include/ncurses\ -I/opt/pkg/include/python3.13 CXX=g++ CXXFLAGS=-pipe\ -O2\ -msave-args\ -fno-aggressive-loop-optimizations\ -I/opt/pkg/include\ -I/opt/pkg/include/glib-2.0\ -I/opt/pkg/include/gio-unix-2.0\ -I/opt/pkg/lib/glib-2.0/include\ -I/usr/include\ -I/opt/pkg/include/freetype2\ -I/opt/pkg/include/harfbuzz\ -I/opt/pkg/include/libdrm\ -I/opt/pkg/include/libxml2\ -I/opt/pkg/include/ncurses\ -I/opt/pkg/include/python3.13 COMPILER_RPATH_FLAG=-Wl,-R F77=gfortran FC=gfortran 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=-L/opt/pkg/lib\ -Wl,-R/opt/pkg/lib\ -liconv\ -lintl\ -L/usr/lib/amd64\ -Wl,-R/usr/lib/amd64 LINKER_RPATH_FLAG=-R PATH=/tmp/work/lang/coq/work/.cwrapper/bin:/tmp/work/lang/coq/work/.buildlink/bin:/tmp/work/lang/coq/work/.gcc/bin:/tmp/work/lang/coq/work/.tools/bin:/opt/pkg/bin:/sbin:/usr/bin:/usr/sbin:/opt/tools/bin:/opt/pkg/bin:/opt/pkg/bin PREFIX=/opt/pkg MAKELEVEL=0 CONFIG_SITE= ftp_proxy=downloads-forbidden-except-during-fetch http_proxy=downloads-forbidden-except-during-fetch https_proxy=downloads-forbidden-except-during-fetch no_proxy= PKG_SYSCONFDIR=/etc/opt/pkg CXXCPP=cpp HOME=/tmp/work/lang/coq/work/.home CWRAPPERS_CONFIG_DIR=/tmp/work/lang/coq/work/.cwrapper/config CPP=cpp LOCALBASE=/opt/pkg X11BASE=/opt/pkg PKGMANDIR=share/man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/opt/pkg/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL_MAN=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 BSD_INSTALL=/opt/pkg/bin/bsdinstall BSD_INSTALL_PROGRAM_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_LIB_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_DATA_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_MAN_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 755 BSD_INSTALL_GAME=/opt/pkg/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 2555 BSD_INSTALL_GAME_DATA=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 664 BSD_INSTALL_GAME_DIR=/opt/pkg/bin/bsdinstall\ -d\ -o\ pbulk\ -g\ pbulk\ -m\ 775 INSTALL_INFO= MAKEINFO=/tmp/work/lang/coq/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/tmp/work/lang/coq/work/.tools/bin/itstool GDBUS_CODEGEN=/tmp/work/lang/coq/work/.tools/bin/gdbus-codegen PKG_CONFIG=/tmp/work/lang/coq/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/tmp/work/lang/coq/work/.buildlink/lib/amd64/pkgconfig:/tmp/work/lang/coq/work/.buildlink/lib/pkgconfig:/tmp/work/lang/coq/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/tmp/work/lang/coq/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/tmp/work/lang/coq/work/.cwrapper/config dune build -j 8 -p coq-core,coq-stdlib,coqide-server,coqide @install
*** Error code 137

Stop.
bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq
*** Error code 1

Stop.
bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq