+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/frama-c-25.0nb2/work.log + su pbulk -c '"$@"' make /usr/pkg/bin/bmake configure BATCH=1 DEPENDS_TARGET=/nonexistent PYTHON_VERSION_REQD=310 WRKLOG=/tmp/bulklog/frama-c-25.0nb2/work.log => Bootstrap dependency digest>=20211023: found digest-20220214 => Checksum BLAKE2s OK for frama-c-25.0-Manganese.tar.gz => Checksum SHA512 OK for frama-c-25.0-Manganese.tar.gz ===> Installing dependencies for frama-c-25.0nb2 ========================================================================== The supported build options for frama-c are: coq gui The currently selected options are: coq gui You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.frama-c (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, frama-c-25.0nb2. Their current value is shown below: * CURSES_DEFAULT = ncurses * JPEG_DEFAULT = jpeg * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 310 Based on these variables, the following variables have been set: * CURSES_TYPE = ncurses * JPEGBASE (defined, but empty) * JPEG_TYPE = jpeg * PYPACKAGE = python310 * 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 `/usr/pkg/bin/bmake clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.74.3 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency autoconf>=2.50: found autoconf-2.71nb2 => Tool dependency nbpatch-[0-9]*: found nbpatch-20151107 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency xorgproto>=2016.1: found xorgproto-2022.2 => Build dependency xcb-proto>=1.4: found xcb-proto-1.15.2nb1 => Full dependency coq>=8.6: found coq-8.15.2nb3 => Full dependency why3>=1.5: found why3-1.5.1nb1 => Full dependency ocaml-lablgtk3>=3.1.3nb1: found ocaml-lablgtk3-3.1.3nb1 => Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb34 => Full dependency ocaml-yojson>=1.7.0nb2: found ocaml-yojson-1.7.0nb2 => Full dependency ocaml-ppx_import>=1.10.0: found ocaml-ppx_import-1.10.0 => Full dependency ocaml-ppx_deriving>=5.2.1: found ocaml-ppx_deriving-5.2.1 => Full dependency ocaml-num>=1.4nb1: found ocaml-num-1.4nb1 => Full dependency ocaml-zarith>=1.12nb1: found ocaml-zarith-1.12nb1 => Full dependency ocaml-findlib>=1.9.3nb1: found ocaml-findlib-1.9.3nb1 => Full dependency ocaml>=4.14.0: found ocaml-4.14.0 => Full dependency python310>=3.10.0: found python310-3.10.9 ===> Overriding tools for frama-c-25.0nb2 ===> Extracting for frama-c-25.0nb2 ===> Patching for frama-c-25.0nb2 => Applying pkgsrc patches for frama-c-25.0nb2 => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-Makefile => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-Makefile,v 1.2 2022/10/09 07:02:47 tonio Exp $ | |Don't install nonexecutables with execute permission. | |--- Makefile.orig 2022-06-21 00:00:00.000000000 +0000 |+++ Makefile -------------------------- Patching file Makefile using Plan A... Hunk #1 succeeded at 1974. Hunk #2 succeeded at 2013. Hunk #3 succeeded at 2022. Hunk #4 succeeded at 2058. Hunk #5 succeeded at 2074. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-share_Makefile.common => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-share_Makefile.common Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-share_Makefile.common,v 1.1 2017/09/05 07:30:00 dholland Exp $ | |Don't install nonexecutables with execute permission. | |--- share/Makefile.common~ 2017-06-01 08:02:11.000000000 +0000 |+++ share/Makefile.common -------------------------- Patching file share/Makefile.common using Plan A... Hunk #1 succeeded at 156 (offset -9 lines). done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_libraries_utils_c__bindings.c,v 1.2 2022/10/09 07:02:47 tonio Exp $ | |sync ifdefs with reality | |--- src/libraries/utils/c_bindings.c.orig 2022-06-21 00:00:00.000000000 +0000 |+++ src/libraries/utils/c_bindings.c -------------------------- Patching file src/libraries/utils/c_bindings.c using Plan A... Hunk #1 succeeded at 34. done => Verifying /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh => Applying pkgsrc patch /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c/patches/patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_plugins_e-acsl_scripts_e-acsl-gcc.sh,v 1.1 2022/11/15 13:02:42 wiz Exp $ | |Fix unportable test(1) operator. | |--- src/plugins/e-acsl/scripts/e-acsl-gcc.sh.orig 2022-06-21 00:00:00.000000000 +0000 |+++ src/plugins/e-acsl/scripts/e-acsl-gcc.sh -------------------------- Patching file src/plugins/e-acsl/scripts/e-acsl-gcc.sh using Plan A... Hunk #1 succeeded at 759. done ===> Creating toolchain wrappers for frama-c-25.0nb2 /bin/mkdir -p /home/pbulk/build/devel/frama-c/work/.buildlink/lib/pkgconfig cd /home/pbulk/build/devel/frama-c/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc ===> Configuring for frama-c-25.0nb2 => Modifying GNU configure scripts to avoid --recheck => Replacing config-guess with pkgsrc versions => Replacing config-sub with pkgsrc versions => Replacing install-sh with pkgsrc version => Replacing python interpreter in share/analysis-scripts/*.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/benchmark_database.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/build_callgraph.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/frama_c_results.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/function_finder.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/git_utils.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/results_display.py. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/source_filter.py. => Replacing Perl interpreter in share/analysis-scripts/*.pl. => Replacing sh interpreter in bin/frama-c-script src/plugins/e-acsl/scripts/e-acsl-gcc.sh share/analysis-scripts/*.sh. INFO: [replace-interpreter] Nothing changed in bin/frama-c-script. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/clone.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/cmd-dep.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/concat-csv.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/creduce.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/parse-coverage.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/script_for_creduce_fatal.sh. INFO: [replace-interpreter] Nothing changed in share/analysis-scripts/script_for_creduce_non_fatal.sh. => Checking for portability problems in extracted files configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for gmake... make checking version of make... 3.82 configure: error: unsupported version; GNU Make version 4.0 or higher is required. *** Error code 1 Stop. bmake[1]: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c *** Error code 1 Stop. bmake: stopped in /data/jenkins/workspace/pkgsrc-el7-trunk-x86_64/devel/frama-c