=> 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.0 ========================================================================== 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.0. Their current value is shown below: * JPEG_DEFAULT = jpeg * OCAML_USE_OPT_COMPILER = yes * PYTHON_VERSION_DEFAULT = 310 Based on these variables, the following variables have been set: * JPEGBASE (defined, but empty) * JPEG_TYPE = jpeg * PYPACKAGE = python310 * TERMCAP_TYPE = termcap 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/bin/make clean' after the changes. ========================================================================== => Tool dependency glib2-tools-[0-9]*: found glib2-tools-2.72.4 => Tool dependency mktools-[0-9]*: found mktools-20220614 => Tool dependency autoconf>=2.50: found autoconf-2.71nb2 => Tool dependency gmake>=3.81: found gmake-4.3nb4 => Tool dependency cwrappers>=20150314: found cwrappers-20220403 => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency x11-links>=1.35: found x11-links-1.35 => Full dependency coq>=8.6: found coq-8.15.2nb2 => Full dependency why3>=1.5: found why3-1.5.1nb1 => Full dependency ocaml-lablgtk3>=3.1.2nb3: found ocaml-lablgtk3-3.1.2nb3 => Full dependency ocamlgraph>=1.8.8nb33: found ocamlgraph-1.8.8nb33 => 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: found python310-3.10.8 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Overriding tools for frama-c-25.0 ===> Extracting for frama-c-25.0 ===> Patching for frama-c-25.0 => Applying pkgsrc patches for frama-c-25.0 => Verifying /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-Makefile => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/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 /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-share_Makefile.common => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/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 /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c/patches/patch-src_libraries_utils_c__bindings.c => Applying pkgsrc patch /amd/pkgsrc/CHROOT/P/pkgsrc/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 ===> Creating toolchain wrappers for frama-c-25.0 /bin/mkdir -p /tmp/devel/frama-c/work/.buildlink/lib/pkgconfig cd /tmp/devel/frama-c/work/.buildlink/lib/pkgconfig && /bin/ln -sf enchant-2.pc enchant.pc ===> Configuring for frama-c-25.0 => 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 sh interpreter in src/plugins/e-acsl/scripts/e-acsl-gcc.sh. => Checking for portability problems in extracted files ERROR: [check-portability.awk] => Found test ... == ...: ERROR: [check-portability.awk] src/plugins/e-acsl/scripts/e-acsl-gcc.sh:762: elif [ "${#size_arr[@]}" -eq "1" ] && [ "${size_arr[0]}" == "help" ]; then Explanation: =========================================================================== The "test" command, as well as the "[" command, are not required to know the "==" operator. Only a few implementations like bash and some versions of ksh support it. When you run "test foo == foo" on a platform that does not support the "==" operator, the result will be "false" instead of "true". This can lead to unexpected behavior. There are two ways to fix this error message. If the file that contains the "test ==" is needed for building the package, you should create a patch for it, replacing the "==" operator with "=". If the file is not needed, add its name to the CHECK_PORTABILITY_SKIP variable in the package Makefile. =========================================================================== *** Error code 1 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/frama-c