=> "/opt/pkg/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq", "configure", "BATCH=1", "DEPENDS_TARGET=/nonexistent", "PYTHON_VERSION_REQD=313"] => Checksum BLAKE2s OK for coq-8.20.1.tar.gz => Checksum SHA512 OK for coq-8.20.1.tar.gz ===> Installing dependencies for coq-8.20.1nb8 ========================================================================== The supported build options for coq are: coqide doc The currently selected options are: coqide You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.coq (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, coq-8.20.1nb8. Their current value is shown below: * CURSES_DEFAULT = ncurses * JPEG_DEFAULT = libjpeg-turbo * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 313 Based on these variables, the following variables have been set: * CURSES_TYPE = ncurses * JPEGBASE (defined, but empty) * JPEG_TYPE = libjpeg-turbo * PYPACKAGE = python313 * TERMCAP_TYPE = curses You may want to abort the process now with CTRL-C and change the value of variables in the first group before continuing. Be sure to run `/opt/pkg/bin/bmake clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.88.0 => Tool dependency ocaml-opaline-[0-9]*: found ocaml-opaline-0.3.3nb4 => 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 => Build dependency ocaml-dune>=3.21.1: found ocaml-dune-3.22.2 => Full dependency adwaita-icon-theme-[0-9]*: found adwaita-icon-theme-40.1.1 => Full dependency gtk3+>=3.24.51nb3: found gtk3+-3.24.51nb5 => Full dependency ocaml>=4.14.3: found ocaml-4.14.3 => Full dependency ocaml-findlib>=1.9.3nb1: found ocaml-findlib-1.9.8nb3 => Full dependency ocaml-lablgtk3>=3.1.5nb6: found ocaml-lablgtk3-3.1.5nb8 => Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb3 => Full dependency python313>=3.13: found python313-3.13.13 => Build dependency xcb-proto>=1.4: found xcb-proto-1.17.0nb6 => Build dependency xorgproto>=2016.1: found xorgproto-2025.1 => Full dependency MesaLib>=3.4.2: found MesaLib-21.3.9nb5 => Full dependency at-spi2-core>=2.3.2: found at-spi2-core-2.58.3nb1 => Full dependency brotli>=1.0.1: found brotli-1.2.0 => Full dependency bzip2>=1.0.1: found bzip2-1.0.8 => Full dependency cairo>=1.0.0nb2: found cairo-1.18.4nb3 => Full dependency dbus>=0.91: found dbus-1.16.2nb2 => Full dependency enchant2>=2: found enchant2-2.8.15 => Full dependency expat>=1.95.7: found expat-2.7.5 => Full dependency fontconfig>=2.17.0: found fontconfig-2.17.1nb1 => Full dependency freetype2>=2.13.0: found freetype2-2.14.3 => Full dependency fribidi>=0.19.1: found fribidi-1.0.16 => Full dependency gdk-pixbuf2>=2.22.0: found gdk-pixbuf2-2.44.6 => Full dependency gettext-lib>=0.22: found gettext-lib-0.22.5 => Full dependency glib2>=2.4.0: found glib2-2.88.0 => Full dependency gmp>=4.2.1: found gmp-6.3.0 => Full dependency graphite2>=1.2: found graphite2-1.3.14nb3 => Full dependency gtksourceview3>=3.4.2: found gtksourceview3-3.24.11nb33 => Full dependency gtkspell3>=3.0: found gtkspell3-3.0.10nb21 => Full dependency harfbuzz>=2.1.1: found harfbuzz-14.1.0 => Full dependency libiconv>=1.9.1: found libiconv-1.18 => Full dependency jbigkit>=2.0: found jbigkit-2.1nb1 => Full dependency lerc>=4.0.0: found lerc-4.1.0 => Full dependency libX11>=1.5: found libX11-1.8.13 => Full dependency libXau>=1.0: found libXau-1.0.12 => Full dependency libXcomposite>=0.3.1: found libXcomposite-0.4.7 => Full dependency libXcursor>=1.1.1: found libXcursor-1.2.3 => Full dependency libXdamage>=1.0.3: found libXdamage-1.1.7 => Full dependency libXdmcp>=0.99: found libXdmcp-1.1.5 => Full dependency libXext>=1.1: found libXext-1.3.7 => Full dependency libXfixes>=4.0.1: found libXfixes-6.0.2 => Full dependency libXft>=2.1.10: found libXft-2.3.9 => Full dependency libXi>=1.0.0: found libXi-1.8.2 => Full dependency libXinerama>=1.0.1: found libXinerama-1.1.6nb1 => Full dependency libXrandr>=1.1.2: found libXrandr-1.5.5 => Full dependency libXrender>=0.9.2: found libXrender-0.9.12 => Full dependency libXxf86vm>=1.1.0: found libXxf86vm-1.1.7nb1 => Full dependency libdrm>=2.4.15: found libdrm-2.4.131 => Full dependency libepoxy>=1.4: found libepoxy-1.5.10nb2 => Full dependency libffi>=1.20: found libffi-3.5.2 => Full dependency libjpeg-turbo>=1.1.0: found libjpeg-turbo-3.1.4.1 => Full dependency libpciaccess>=0.10.4: found libpciaccess-0.19 => Full dependency libxcb>=1.6: found libxcb-1.17.0 => Full dependency libxml2>=2.6.2: found libxml2-2.15.1 => Full dependency libxshmfence>=1.2: found libxshmfence-1.3.3 => Full dependency lzo>=2.01: found lzo-2.10 => Full dependency ncurses>=5.3nb1: found ncurses-6.6 => Full dependency pango>=1.6.0: found pango-1.57.1 => Full dependency pcre2>=10.21: found pcre2-10.47 => Full dependency pixman>=0.40.0: found pixman-0.46.4 => Full dependency png>=1.2.4: found png-1.6.58 => Full dependency shared-mime-info>=0.15: found shared-mime-info-2.4nb7 => Full dependency tiff>=3.6.1: found tiff-4.7.1 => Full dependency xz>=5.0.0: found xz-5.8.3 => Full dependency zlib>=1.1.4: found zlib-1.3.1 ===> Overriding tools for coq-8.20.1nb8 ===> Extracting for coq-8.20.1nb8 ===> Patching for coq-8.20.1nb8 => Applying pkgsrc patches for coq-8.20.1nb8 => Verifying /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-tools_coqdoc_dune => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq/patches/patch-tools_coqdoc_dune Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-tools_coqdoc_dune,v 1.1 2022/06/21 02:21:22 dholland Exp $ | |Install the latex style file in the right place for us. |(This used to be settable via configure, but no longer is) | |--- tools/coqdoc/dune~ 2022-05-31 08:36:38.000000000 +0000 |+++ tools/coqdoc/dune -------------------------- Patching file tools/coqdoc/dune using Plan A... Hunk #1 succeeded at 10. done ===> Creating toolchain wrappers for coq-8.20.1nb8 /usr/bin/mkdir -p /tmp/work/lang/coq/work/.buildlink/lib/pkgconfig cd /tmp/work/lang/coq/work/.buildlink/lib/pkgconfig && /usr/bin/ln -sf enchant-2.pc enchant.pc ===> Configuring for coq-8.20.1nb8 => Replacing python interpreter in tools/make-both-single-timing-files.py tools/make-both-time-files.py tools/make-one-time-file.py. => Checking for portability problems in extracted files /tmp/makeCrqEtb: line 1: 43803 Killed /usr/bin/env INSTALL=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk INSTALL_PROGRAM=/opt/pkg/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 755 INSTALL_SCRIPT=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 755 INSTALL_DATA=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 644 INSTALL_GAME=/opt/pkg/bin/bsdinstall\ -c\ \ -o\ pbulk\ -g\ pbulk\ -m\ 2555 INSTALL_GAME_DATA=/opt/pkg/bin/bsdinstall\ -c\ -o\ pbulk\ -g\ pbulk\ -m\ 664 PTHREAD_CFLAGS=\ -pthread\ PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS=-lpthread\ -lrt PTHREADBASE=/usr FREETYPE_CONFIG=/opt/pkg/bin/freetype-config DL_CFLAGS= DL_LDFLAGS= DL_LIBS= 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= MAKE=make CWRAPPERS_CONFIG_DIR=/tmp/work/lang/coq/work/.cwrapper/config 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 /usr/bin/bash ./configure -prefix /opt/pkg -mandir /opt/pkg/share/man -configdir /etc/opt/pkg/xdg/coq -docdir /opt/pkg/share/doc/coq -native-compiler ondemand *** Error code 137 Stop. bmake[1]: stopped making "configure" in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq *** Error code 1 Stop. bmake: stopped making "configure" in /data/jenkins/workspace/pkgsrc-upstream-trunk/lang/coq