>>> Building on octeon-1 under devel/coccinelle BDEPENDS = [devel/ocaml-parmap;print/texlive/base;lang/python/2.7;devel/ocaml-menhir;lang/ocaml;devel/gmake;textproc/latexmk;sysutils/findlib;textproc/gdiff;math/ocaml-num;devel/ocaml-pcre;textproc/hevea;sysutils/ggrep] DIST = [devel/coccinelle:coccinelle-1.0.6.tgz] FULLPKGNAME = coccinelle-1.0.6p2 RDEPENDS = [sysutils/findlib;lang/ocaml;devel/ocaml-pcre;lang/python/2.7;sysutils/ggrep;devel/ocaml-parmap;textproc/gdiff] (Junk lock obtained for octeon-1 at 1610795998.14) >>> Running depends in devel/coccinelle at 1610795998.28 last junk was in graphics/mojoshader /usr/sbin/pkg_add -aI -Drepair findlib-1.8.1p2 gdiff-3.7p0 ggrep-3.6 hevea-2.34 latexmk-452cp0 ocaml-4.10.0 ocaml-menhir-20190924p1 ocaml-num-1.4 ocaml-parmap-1.0rc10p2 ocaml-pcre-7.2.3p3 python-2.7.18p0 texlive_base-2020p0 was: /usr/sbin/pkg_add -aI -Drepair findlib-1.8.1p2 gdiff-3.7p0 ggrep-3.6 gmake-4.3 hevea-2.34 latexmk-452cp0 ocaml-4.10.0 ocaml-menhir-20190924p1 ocaml-num-1.4 ocaml-parmap-1.0rc10p2 ocaml-pcre-7.2.3p3 python-2.7.18p0 texlive_base-2020p0 /usr/sbin/pkg_add -aI -Drepair findlib-1.8.1p2 gdiff-3.7p0 ggrep-3.6 hevea-2.34 latexmk-452cp0 ocaml-4.10.0 ocaml-menhir-20190924p1 ocaml-num-1.4 ocaml-parmap-1.0rc10p2 ocaml-pcre-7.2.3p3 python-2.7.18p0 texlive_base-2020p0 --- +hevea-2.34 ------------------- The imagen script needs LaTeX, dvips, ghostscript and tools from netpbm. Thus, Hevea does not require texlive, ghostscript, nor netpbm, but its full functionality can only be achieved if you install those packages. >>> Running show-prepare-results in devel/coccinelle at 1610796029.39 ===> devel/coccinelle ===> coccinelle-1.0.6p2 depends on: ocaml-parmap-* -> ocaml-parmap-1.0rc10p2 ===> coccinelle-1.0.6p2 depends on: ocaml-pcre-* -> ocaml-pcre-7.2.3p3 ===> coccinelle-1.0.6p2 depends on: findlib-* -> findlib-1.8.1p2 ===> coccinelle-1.0.6p2 depends on: ggrep-* -> ggrep-3.6 ===> coccinelle-1.0.6p2 depends on: gdiff-* -> gdiff-3.7p0 ===> coccinelle-1.0.6p2 depends on: ocaml-=4.10.0 -> ocaml-4.10.0 ===> coccinelle-1.0.6p2 depends on: python->=2.7,<2.8 -> python-2.7.18p0 ===> coccinelle-1.0.6p2 depends on: texlive_base-* -> texlive_base-2020p0 ===> coccinelle-1.0.6p2 depends on: hevea-* -> hevea-2.34 ===> coccinelle-1.0.6p2 depends on: ocaml-menhir-* -> ocaml-menhir-20190924p1 ===> coccinelle-1.0.6p2 depends on: ocaml-num-* -> ocaml-num-1.4 ===> coccinelle-1.0.6p2 depends on: latexmk-* -> latexmk-452cp0 ===> coccinelle-1.0.6p2 depends on: gmake-* -> gmake-4.3 ===> Verifying specs: c curses m pthread pcre python2.7 ===> found c.96.0 curses.14.0 m.10.1 pthread.26.1 pcre.3.0 python2.7.0.0 findlib-1.8.1p2 gdiff-3.7p0 ggrep-3.6 gmake-4.3 hevea-2.34 latexmk-452cp0 ocaml-4.10.0 ocaml-menhir-20190924p1 ocaml-num-1.4 ocaml-parmap-1.0rc10p2 ocaml-pcre-7.2.3p3 python-2.7.18p0 texlive_base-2020p0 (Junk lock released for octeon-1 at 1610796043.01) distfiles size=6684278 >>> Running patch in devel/coccinelle at 1610796043.15 ===> devel/coccinelle ===> Checking files for coccinelle-1.0.6p2 `/ports/distfiles/coccinelle-1.0.6.tgz' is up to date. >> (SHA256) coccinelle-1.0.6.tgz: OK ===> Extracting for coccinelle-1.0.6p2 ===> Patching for coccinelle-1.0.6p2 ===> Applying OpenBSD patch patch-Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-Makefile,v 1.11 2019/03/04 12:51:12 chrisz Exp $ | |Some future version of coccinelle will hopefully configure for unbundled num |or use Zarith instead. | |Index: Makefile |--- Makefile.orig |+++ Makefile -------------------------- Patching file Makefile using Plan A... Hunk #1 succeeded at 71. Hunk #2 succeeded at 347. Hunk #3 succeeded at 378. done ===> Applying OpenBSD patch patch-bundles_pyml_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-bundles_pyml_Makefile,v 1.1 2019/03/04 12:51:12 chrisz Exp $ | |our builtin test/[ doesn't support the < comparator. | |Index: bundles/pyml/Makefile |--- bundles/pyml/Makefile.orig |+++ bundles/pyml/Makefile -------------------------- Patching file bundles/pyml/Makefile using Plan A... Hunk #1 succeeded at 14. Hunk #2 succeeded at 52. done ===> Applying OpenBSD patch patch-cocci_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-cocci_ml,v 1.8 2019/03/04 12:51:12 chrisz Exp $ |Index: cocci.ml |--- cocci.ml.orig |+++ cocci.ml -------------------------- Patching file cocci.ml using Plan A... Hunk #1 succeeded at 249. Hunk #2 succeeded at 528. Hunk #3 succeeded at 2222. done ===> Applying OpenBSD patch patch-commons_common_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-commons_common_ml,v 1.7 2019/03/04 12:51:12 chrisz Exp $ |Index: commons/common.ml |--- commons/common.ml.orig |+++ commons/common.ml -------------------------- Patching file commons/common.ml using Plan A... Hunk #1 succeeded at 3281. Hunk #2 succeeded at 3291. Hunk #3 succeeded at 3304. Hunk #4 succeeded at 5256. Hunk #5 succeeded at 5284. Hunk #6 succeeded at 5308. done ===> Applying OpenBSD patch patch-configure Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-configure,v 1.6 2019/03/04 12:51:12 chrisz Exp $ | |This does not set a default options as suggested in configure.ac, |but overrides the user-provided setting. | |Index: configure |--- configure.orig |+++ configure -------------------------- Patching file configure using Plan A... Hunk #1 succeeded at 14416. done ===> Applying OpenBSD patch patch-parsing_c_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-parsing_c_Makefile,v 1.1 2019/03/04 12:51:12 chrisz Exp $ | |Some future version of coccinelle will hopefully configure for unbundled num |or use Zarith instead. | |Index: parsing_c/Makefile |--- parsing_c/Makefile.orig |+++ parsing_c/Makefile -------------------------- Patching file parsing_c/Makefile using Plan A... Hunk #1 succeeded at 42. done ===> Applying OpenBSD patch patch-parsing_c_compare_c_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-parsing_c_compare_c_ml,v 1.2 2015/09/13 15:21:15 sthen Exp $ |--- parsing_c/compare_c.ml.orig Sat Apr 18 14:37:23 2015 |+++ parsing_c/compare_c.ml Sat Apr 25 10:42:50 2015 -------------------------- Patching file parsing_c/compare_c.ml using Plan A... Hunk #1 succeeded at 204. done ===> Applying OpenBSD patch patch-parsing_c_unparse_c_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-parsing_c_unparse_c_ml,v 1.1 2019/03/04 12:51:12 chrisz Exp $ | |just two simple occurences of string modification. Great! | |Index: parsing_c/unparse_c.ml |--- parsing_c/unparse_c.ml.orig |+++ parsing_c/unparse_c.ml -------------------------- Patching file parsing_c/unparse_c.ml using Plan A... Hunk #1 succeeded at 2362. done ===> Applying OpenBSD patch patch-scripts_stat_directory_complete_pl Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-scripts_stat_directory_complete_pl,v 1.4 2015/10/27 14:43:07 sthen Exp $ |--- scripts/stat_directory_complete.pl.orig Mon Oct 26 16:22:50 2015 |+++ scripts/stat_directory_complete.pl Tue Oct 27 14:23:22 2015 -------------------------- Patching file scripts/stat_directory_complete.pl using Plan A... Hunk #1 succeeded at 236. done ===> Applying OpenBSD patch patch-tools_spgen_source_Makefile Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-tools_spgen_source_Makefile,v 1.1 2019/03/04 12:51:12 chrisz Exp $ | |Some future version of coccinelle will hopefully configure for unbundled num |or use Zarith instead. | |Index: tools/spgen/source/Makefile |--- tools/spgen/source/Makefile.orig |+++ tools/spgen/source/Makefile -------------------------- Patching file tools/spgen/source/Makefile using Plan A... Hunk #1 succeeded at 39. done ===> Applying OpenBSD patch patch-tools_spgen_source_spgen_test_ml Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$OpenBSD: patch-tools_spgen_source_spgen_test_ml,v 1.1 2019/03/04 12:51:12 chrisz Exp $ | |Index: tools/spgen/source/spgen_test.ml |--- tools/spgen/source/spgen_test.ml.orig |+++ tools/spgen/source/spgen_test.ml -------------------------- Patching file tools/spgen/source/spgen_test.ml using Plan A... Hunk #1 succeeded at 42. done ===> Compiler link: clang -> /usr/bin/clang ===> Compiler link: clang++ -> /usr/bin/clang++ ===> Compiler link: cc -> /usr/bin/cc ===> Compiler link: c++ -> /usr/bin/c++ >>> Running configure in devel/coccinelle at 1610796048.48 ===> devel/coccinelle ===> Generating configure for coccinelle-1.0.6p2 ===> Configuring for coccinelle-1.0.6p2 Using /pobj/coccinelle-1.0.6/config.site (generated) perl -pi -e s,/usr/local,/usr/local,g /pobj/coccinelle-1.0.6/coccinelle-1.0.6/scripts/spatch* configure: WARNING: unrecognized options: --with-python, --disable-gtk-doc configure: loading site script /pobj/coccinelle-1.0.6/config.site configure: configuring coccinelle 1.0.6 in /pobj/coccinelle-1.0.6/coccinelle-1.0.6 checking for a BSD-compatible install... /pobj/coccinelle-1.0.6/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... mkdir -p checking for gawk... (cached) awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes configure: determining version suffix checking for date... /bin/date configure: version suffix set to Sat, 16 Jan 2021 12:13:39 +0000 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) configure: verifying basic tools checking for style of include used by gmake... GNU checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... (cached) o checking whether we are using the GNU C compiler... (cached) yes checking whether cc accepts -g... (cached) yes checking for cc option to accept ISO C89... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... none checking how to run the C preprocessor... cc -E checking for bash... no checking for tar... /bin/tar checking for patch... (cached) patch -z.ccorig checking for echo... /bin/echo checking for patchelf... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for ocamlc... /usr/local/bin/ocamlc OCaml version is 4.10.0 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... no checking for ocamlc.opt... configure: WARNING: Cannot find ocamlopt; bytecode compilation only. no checking for ocaml... /usr/local/bin/ocaml checking for ocamldep... /usr/local/bin/ocamldep checking for ocamlmktop... /usr/local/bin/ocamlmktop checking for ocamlmklib... /usr/local/bin/ocamlmklib checking for ocamldoc... /usr/local/bin/ocamldoc checking that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking for ocamllex... /usr/local/bin/ocamllex checking for ocamllex.opt... no checking for ocamlyacc... /usr/local/bin/ocamlyacc checking for ocamlfind... /usr/local/bin/ocamlfind checking for ocamlprof... /usr/local/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package num... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: verifying optional features checking for menhir... /usr/local/bin/menhir configure: system menhir will be used configure: system menhir will be used configure: ocaml scripting has been disabled by default because the optimized version of dynlink is not available configure: configuring package pyml checking for OCaml findlib package pyml... not found configure: OCaml package pyml is not available checking for a bundled substitute of pyml... yes configure: using bundled substitute for pyml in /pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles/pyml/ checking for PCRE... yes configure: configuring package pcre checking for OCaml findlib package pcre... found configure: support for pcre syntax is enabled checking for pdflatex... /usr/local/bin/pdflatex checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: WARNING: unrecognized options: --with-python, --disable-gtk-doc configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --with-python=/usr/local/bin/python2.7 --disable-opt --prefix=/usr/local --sysconfdir=/etc --mandir=/usr/local/man --infodir=/usr/local/info --localstatedir=/var --disable-silent-rules --disable-gtk-doc findlib: /usr/local/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/local/bin/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: no (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: yes (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the libpcre-ocaml-dev package) optimized spatch: no (overridable with --disable-opt) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/pobj/coccinelle-1.0.6/coccinelle-1.0.6 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib $ export PYTHONPATH=$PYTHONPATH:${exec_prefix}/lib/coccinelle/python ------------------------------------------------------------------------------ >>> Running build in devel/coccinelle at 1610796068.10 ===> devel/coccinelle ===> Building for coccinelle-1.0.6p2 Building byte-only gmake .depend gmake[1]: Entering directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6' gmake[2]: Entering directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6' Constructing '.depend' set -e; for i in /pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles/pyml/ commons globals ctl parsing_cocci parsing_c ocaml python engine popl09 extra tools/spgen; do echo $i; gmake -C $i depend; done /pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles/pyml/ gmake[3]: Entering directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles/pyml' /usr/local/bin/ocamlc -unsafe -I pyml-current -custom -cclib -lpyml_stubs -c pyml-current/pyml_compat.mli -o pyml-current/pyml_compat.cmi /usr/local/bin/ocamlc -unsafe -I pyml-current -custom -cclib -lpyml_stubs -c pyml-current/pyml_compat.ml -o pyml-current/pyml_compat.cmo File "pyml-current/pyml_compat.ml", line 1, characters 16-32: 1 | let lowercase = String.lowercase ^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.lowercase Use String.lowercase_ascii instead. /usr/local/bin/ocamlc -unsafe -I pyml-current -custom -cclib -lpyml_stubs -c pyml-current/generate.ml -o pyml-current/generate.cmo /usr/local/bin/ocamlc -unsafe -I pyml-current -custom -cclib -lpyml_stubs pyml-current/pyml_compat.cmo pyml-current/generate.cmo -o pyml-current/generate /usr/bin/ld: skipping incompatible pyml-current/libpyml_stubs.a when searching for -lpyml_stubs /usr/bin/ld: cannot find -lpyml_stubs cc: error: linker command failed with exit code 1 (use -v to see invocation) File "_none_", line 1: Error: Error while building custom runtime system gmake[3]: *** [Makefile:56: pyml-current/generate] Error 2 gmake[3]: Leaving directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6/bundles/pyml' gmake[2]: *** [Makefile:550: depend] Error 2 gmake[2]: Leaving directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6' gmake[1]: *** [Makefile:545: .depend] Error 2 gmake[1]: Leaving directory '/pobj/coccinelle-1.0.6/coccinelle-1.0.6' gmake: *** [Makefile:145: all-release] Error 2 *** Error 2 in devel/coccinelle (/ports/infrastructure/mk/bsd.port.mk:2930 '/pobj/coccinelle-1.0.6/.build_done': @cd /pobj/coccinelle-1.0.6/...) *** Error 2 in devel/coccinelle (/ports/infrastructure/mk/bsd.port.mk:2589 'build': @lock=coccinelle-1.0.6p2; export _LOCKS_HELD=" coccinel...) ===> Exiting devel/coccinelle with an error *** Error 1 in /ports (infrastructure/mk/bsd.port.subdir.mk:137 'build': @: ${echo_msg:=echo}; : ${target:=build}; for i in ; do eval ${e...) >>> Ended at 1610796073.65 Error: job failed with 512 on octeon-1 at 1610796073