IIUC, we use a bundled version of Menhir in Coccinelle. It exists as the tarball bundles/menhirLib/menhir-20120123.tar.gz in the Coccinelle codebase.
Here's the relevant Makefile line: > CONFIGURE_ARGS += --disable-menhirLib # version in ports is too new However, the build fails for me because it can't find the module MenhirLib.IncrementalEngine. This seems related, but I'm not sure. It's been failing for me for weeks; maybe the fact that no one else has reported it means that it's something anomalous on my machine. Has anyone else run into this? I have the Menhir package installed - maybe that's what triggers it. >>> Building on localhost under devel/coccinelle BDEPENDS = [lang/ocaml-camlp4;devel/gmake;devel/ocaml-pcre;devel/ocaml-parmap;textproc/latexmk;textproc/gdiff;sysutils/ggrep;lang/ocaml;sysutils/findlib;textproc/hevea;lang/python/2.7;print/texlive/texmf,-full;print/texlive/base] DIST = [devel/coccinelle:coccinelle-1.0.4.tgz] FULLPKGNAME = coccinelle-1.0.4 RDEPENDS = [devel/ocaml-parmap;devel/ocaml-pcre;lang/python/2.7;lang/ocaml;sysutils/findlib;textproc/gdiff;sysutils/ggrep] (Junk lock obtained for localhost at 1453032007) >>> Running depends in devel/coccinelle at 1453032007 last junk was in devel/sdl-sound /usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 ocaml-pcre-7.1.5 texlive_base-2014p1 texlive_texmf-full-2014p0 was: /usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 gmake-4.1p0 hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 ocaml-pcre-7.1.5 python-2.7.11 texlive_base-2014p1 texlive_texmf-full-2014p0 /usr/sbin/pkg_add -aI -Dunsigned -Drepair findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 ocaml-pcre-7.1.5 texlive_base-2014p1 texlive_texmf-full-2014p0 --- +hevea-2.23 ------------------- 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 1453032016 ===> devel/coccinelle ===> coccinelle-1.0.4 depends on: ocaml-parmap-* -> ocaml-parmap-1.0rc7 ===> coccinelle-1.0.4 depends on: ocaml-pcre-* -> ocaml-pcre-7.1.5 ===> coccinelle-1.0.4 depends on: findlib-* -> findlib-1.5.5 ===> coccinelle-1.0.4 depends on: ggrep-* -> ggrep-2.22 ===> coccinelle-1.0.4 depends on: gdiff-* -> gdiff-3.3p0 ===> coccinelle-1.0.4 depends on: ocaml-=4.02.3 -> ocaml-4.02.3 ===> coccinelle-1.0.4 depends on: python->=2.7,<2.8 -> python-2.7.11 ===> coccinelle-1.0.4 depends on: ocaml-camlp4-=4.02+6 -> ocaml-camlp4-4.02+6 ===> coccinelle-1.0.4 depends on: texlive_base-* -> texlive_base-2014p1 ===> coccinelle-1.0.4 depends on: texlive_texmf-full-* -> texlive_texmf-full-2014p0 ===> coccinelle-1.0.4 depends on: hevea-* -> hevea-2.23 ===> coccinelle-1.0.4 depends on: latexmk-* -> latexmk-443ap0 ===> coccinelle-1.0.4 depends on: gmake-* -> gmake-4.1p0 ===> Verifying specs: c curses m pthread util pcre python2.7 ===> found c.84.2 curses.14.0 m.9.0 pthread.20.1 util.12.1 pcre.3.0 python2.7.0.0 findlib-1.5.5 gdiff-3.3p0 ggrep-2.22 gmake-4.1p0 hevea-2.23 latexmk-443ap0 ocaml-4.02.3 ocaml-camlp4-4.02+6 ocaml-parmap-1.0rc7 ocaml-pcre-7.1.5 python-2.7.11 texlive_base-2014p1 texlive_texmf-full-2014p0 Still tainted: 1 >>> Running junk in devel/coccinelle at 1453032019 Can't run junk because of lock on x11/qt5 (Junk lock released for localhost at 1453032019) distfiles size=2484218 >>> Running patch in devel/coccinelle at 1453032019 ===> devel/coccinelle ===> Checking files for coccinelle-1.0.4 `/mnt/big/ports/distfiles/coccinelle-1.0.4.tgz' is up to date. ===> Extracting for coccinelle-1.0.4 ===> Patching for coccinelle-1.0.4 >>> Running configure in devel/coccinelle at 1453032020 ===> devel/coccinelle ===> Configuring for coccinelle-1.0.4 Using /home/dpb-wrk/coccinelle-1.0.4/config.site (generated) perl -pi -e s,/usr/local,/usr/local,g /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/scripts/spatch* configure: WARNING: unrecognized options: --disable-gtk-doc configure: loading site script /home/dpb-wrk/coccinelle-1.0.4/config.site configure: configuring coccinelle 1.0.4 in /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4 checking for a BSD-compatible install... /home/dpb-wrk/coccinelle-1.0.4/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 Sun, 17 Jan 2016 07:00:21 -0500 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... /usr/local/bin/bash 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.02.3 OCaml library path is /usr/local/lib/ocaml checking for ocamlopt... /usr/local/bin/ocamlopt checking for ocamlc.opt... /usr/local/bin/ocamlc.opt checking for ocamlopt.opt... /usr/local/bin/ocamlopt.opt 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... /usr/local/bin/ocamllex.opt 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 /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/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 menhirLib checking for a bundled substitute of menhirLib... yes configure: using bundled substitute for menhirLib in /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ configure: configuring package parmap checking for OCaml findlib package parmap... found configure: verifying optional features checking for menhir... /usr/local/bin/menhir configure: Deleted pre-generated parsers, will be re-built checking python version... 2.7 found configure: python major version: 2 configure: looking for the corresponding python library checking for PYTHON... yes configure: support for python scripts is enabled configure: configuring package pycaml checking for OCaml findlib package pycaml... not found configure: OCaml package pycaml is not available checking for a bundled substitute of pycaml... yes configure: using bundled substitute for pycaml in /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml/ checking for camlp4... /usr/local/bin/camlp4 checking for camlp4boot... /usr/local/bin/camlp4boot checking for camlp4o... /usr/local/bin/camlp4o checking for camlp4of... /usr/local/bin/camlp4of checking for camlp4oof... /usr/local/bin/camlp4oof checking for camlp4orf... /usr/local/bin/camlp4orf checking for camlp4prof... /usr/local/bin/camlp4prof checking for camlp4r... /usr/local/bin/camlp4r checking for camlp4rf... /usr/local/bin/camlp4rf configure: configuring package camlp4 checking for OCaml findlib package camlp4... found 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 configure: choosing the development Makefile configuration because the release configuration is not explicitly requested. 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: --disable-gtk-doc configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --with-python=/usr/local/bin/python2.7 --disable-menhirLib --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 (should be an optional tool) menhirLib module: local (for local package use --disable-menhirLib) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pycaml module: local (for local package use --disable-pycaml) pcre regexes: yes (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the dev version of libpcre) release config: no (strongly recommended to be 'yes', overridable with --enable-release) 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 all 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=/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4 ./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 1453032026 ===> devel/coccinelle ===> Building for coccinelle-1.0.4 gmake[1]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' Constructing '.depend' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' /bin/tar xfvz menhir-20120123.tar.gz menhir-20120123 menhir-20120123/manual.pdf menhir-20120123/demos menhir-20120123/demos/ocamldep.wrapper menhir-20120123/demos/Makefile.shared menhir-20120123/demos/calc menhir-20120123/demos/calc/.omakedb menhir-20120123/demos/calc/.omakedb.lock menhir-20120123/demos/calc/lexer.mll menhir-20120123/demos/calc/parser.mly menhir-20120123/demos/calc/OMakefile menhir-20120123/demos/calc/OMakeroot.omc menhir-20120123/demos/calc/README menhir-20120123/demos/calc/OMakefile.omc menhir-20120123/demos/calc/calc.ml menhir-20120123/demos/calc/OMakeroot menhir-20120123/demos/calc/Makefile menhir-20120123/demos/calc-param menhir-20120123/demos/calc-param/tokens.mly menhir-20120123/demos/calc-param/lexer.mll menhir-20120123/demos/calc-param/parser.mly menhir-20120123/demos/calc-param/OMakefile menhir-20120123/demos/calc-param/README menhir-20120123/demos/calc-param/calc.ml menhir-20120123/demos/calc-param/OMakeroot menhir-20120123/demos/calc-param/Makefile menhir-20120123/demos/calc-two menhir-20120123/demos/calc-two/tokens.mly menhir-20120123/demos/calc-two/common.mly menhir-20120123/demos/calc-two/reverse.mly menhir-20120123/demos/calc-two/algebraic.mly menhir-20120123/demos/calc-two/lexer.mll menhir-20120123/demos/calc-two/OMakefile menhir-20120123/demos/calc-two/README menhir-20120123/demos/calc-two/calc.ml menhir-20120123/demos/calc-two/OMakeroot menhir-20120123/demos/calc-two/Makefile menhir-20120123/demos/OMakefile.shared menhir-20120123/demos/Makefile.auto menhir-20120123/demos/Makefile menhir-20120123/LICENSE menhir-20120123/AUTHORS menhir-20120123/CHANGES menhir-20120123/INSTALLATION menhir-20120123/Makefile.arch menhir-20120123/src menhir-20120123/src/codeBackend.mli menhir-20120123/src/keyword.ml menhir-20120123/src/invariant.mli menhir-20120123/src/checkOCamlVersion.ml menhir-20120123/src/settings.mli menhir-20120123/src/settings.ml menhir-20120123/src/IL.mli menhir-20120123/src/unparameterizedPrinter.mli menhir-20120123/src/tokenType.ml menhir-20120123/src/front.ml menhir-20120123/src/lexmli.mll menhir-20120123/src/rowDisplacement.ml menhir-20120123/src/standard.mly menhir-20120123/src/IO.mli menhir-20120123/src/pprint.ml menhir-20120123/src/gMap.ml menhir-20120123/src/tableBackend.ml menhir-20120123/src/unparameterizedSyntax.mli menhir-20120123/src/lr1.mli menhir-20120123/src/time.ml menhir-20120123/src/preFront.ml menhir-20120123/src/partialGrammar.mli menhir-20120123/src/sentenceParser.mly menhir-20120123/src/stringSet.ml menhir-20120123/src/printer.ml menhir-20120123/src/cst.ml menhir-20120123/src/dot.ml menhir-20120123/src/cst.mli menhir-20120123/src/front.mli menhir-20120123/src/tableFormat.ml menhir-20120123/src/Fix.ml menhir-20120123/src/fancy-parser.mly menhir-20120123/src/internalSyntax.mli menhir-20120123/src/tarjan.mli menhir-20120123/src/tokenType.mli menhir-20120123/src/preFront.mli menhir-20120123/src/codeBits.ml menhir-20120123/src/packedIntArray.mli menhir-20120123/src/compressedBitSet.mli menhir-20120123/src/parameters.ml menhir-20120123/src/action.mli menhir-20120123/src/invariant.ml menhir-20120123/src/slr.mli menhir-20120123/src/positions.ml menhir-20120123/src/nonTerminalDefinitionInlining.ml menhir-20120123/src/traverse.ml menhir-20120123/src/breadth.mli menhir-20120123/src/listMonad.mli menhir-20120123/src/coqBackend.mli menhir-20120123/src/lexer.mll menhir-20120123/src/mark.mli menhir-20120123/src/back.ml menhir-20120123/src/parser.mly menhir-20120123/src/tableInterpreter.ml menhir-20120123/src/packedIntArray.ml menhir-20120123/src/rawPrinter.mli menhir-20120123/src/grammar.mli menhir-20120123/src/META menhir-20120123/src/option.ml menhir-20120123/src/codeBits.mli menhir-20120123/src/parserAux.mli menhir-20120123/src/inliner.ml menhir-20120123/src/parameterizedGrammar.ml menhir-20120123/src/partialGrammar.ml menhir-20120123/src/rawPrinter.ml menhir-20120123/src/unparameterizedPrinter.ml menhir-20120123/src/nonTerminalDefinitionInlining.mli menhir-20120123/src/sentenceLexer.mll menhir-20120123/src/tableBackend.mli menhir-20120123/src/stringMap.ml menhir-20120123/src/patricia.mli menhir-20120123/src/time.mli menhir-20120123/src/error.ml menhir-20120123/src/grammar.ml menhir-20120123/src/interpret.mli menhir-20120123/src/lr1partial.mli menhir-20120123/src/lr1partial.ml menhir-20120123/src/reachability.ml menhir-20120123/src/parameterizedGrammar.mli menhir-20120123/src/tableInterpreter.mli menhir-20120123/src/interpret.ml menhir-20120123/src/back.mli menhir-20120123/src/misc.ml menhir-20120123/src/codePieces.ml menhir-20120123/src/convert.mli menhir-20120123/src/infiniteArray.mli menhir-20120123/src/lr0.ml menhir-20120123/src/interface.mli menhir-20120123/src/conflict.mli menhir-20120123/src/convert.ml menhir-20120123/src/concreteSyntax.mli menhir-20120123/src/codeBackend.ml menhir-20120123/src/referenceInterpreter.mli menhir-20120123/src/lineCount.mll menhir-20120123/src/lr0.mli menhir-20120123/src/item.mli menhir-20120123/src/printer.mli menhir-20120123/src/engine.ml menhir-20120123/src/lr1.ml menhir-20120123/src/option.mli menhir-20120123/src/IO.ml menhir-20120123/src/compressedBitSet.ml menhir-20120123/src/breadth.ml menhir-20120123/src/installation.mli menhir-20120123/src/engineTypes.ml menhir-20120123/src/infer.ml menhir-20120123/src/syntax.mli menhir-20120123/src/codePieces.mli menhir-20120123/src/nonpositiveCycles.ml menhir-20120123/src/error.mli menhir-20120123/src/lexdep.mll menhir-20120123/src/unionFind.ml menhir-20120123/src/version.ml menhir-20120123/src/pprint.mli menhir-20120123/src/infer.mli menhir-20120123/src/parserAux.ml menhir-20120123/src/positions.mli menhir-20120123/src/engine.mli menhir-20120123/src/stretch.mli menhir-20120123/src/action.ml menhir-20120123/src/derivation.mli menhir-20120123/src/rowDisplacement.mli menhir-20120123/src/stringSet.mli menhir-20120123/src/conflict.ml menhir-20120123/src/infiniteArray.ml menhir-20120123/src/keyword.mli menhir-20120123/src/stringMap.mli menhir-20120123/src/interface.ml menhir-20120123/src/tarjan.ml menhir-20120123/src/gSet.ml menhir-20120123/src/listMonad.ml menhir-20120123/src/reachability.mli menhir-20120123/src/item.ml menhir-20120123/src/Fix.mli menhir-20120123/src/lookahead.mli menhir-20120123/src/slr.ml menhir-20120123/src/derivation.ml menhir-20120123/src/referenceInterpreter.ml menhir-20120123/src/dot.mli menhir-20120123/src/reductionGraphs.ml menhir-20120123/src/unionFind.mli menhir-20120123/src/Makefile menhir-20120123/src/inliner.mli menhir-20120123/src/coqBackend.ml menhir-20120123/src/patricia.ml menhir-20120123/src/mark.ml menhir-20120123/src/nonpositiveCycles.mli menhir-20120123/src/misc.mli menhir-20120123/menhir.1 menhir-20120123/Makefile touch menhir-20120123/src/.marker gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -i menhir-20120123/src/engineTypes.ml > menhir-20120123/src/engineTypes.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/packedIntArray.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/engineTypes.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -i menhir-20120123/src/tableFormat.ml > menhir-20120123/src/tableFormat.mli /usr/local/bin/ocamldep -I menhir-20120123/src menhir-20120123/src/*.mli menhir-20120123/src/*.ml > .depend gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' /usr/local/bin/ocamldep -I menhir-20120123/src menhir-20120123/src/*.mli menhir-20120123/src/*.ml > .depend gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' /bin/tar xfvz chemoelectric-pycaml-8614105.tar.gz chemoelectric-pycaml-8614105 chemoelectric-pycaml-8614105/COPYING chemoelectric-pycaml-8614105/META.in chemoelectric-pycaml-8614105/Makefile chemoelectric-pycaml-8614105/README chemoelectric-pycaml-8614105/examples chemoelectric-pycaml-8614105/examples/floatproduct.ml chemoelectric-pycaml-8614105/examples/log.ml chemoelectric-pycaml-8614105/examples/log.py chemoelectric-pycaml-8614105/examples/ocamlpill.ml chemoelectric-pycaml-8614105/gentoo-support chemoelectric-pycaml-8614105/gentoo-support/pycaml-9999.ebuild chemoelectric-pycaml-8614105/old-doc chemoelectric-pycaml-8614105/old-doc/pycaml.html chemoelectric-pycaml-8614105/pycaml.ml chemoelectric-pycaml-8614105/pycaml.mli chemoelectric-pycaml-8614105/pycaml_stubs.c chemoelectric-pycaml-8614105/pycaml_stubs.h patch -z.ccorig -d "chemoelectric-pycaml-8614105" -p2 < ./removeunicode.patch Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -ru /tmp/chemoelectric-pycaml-8614105/pycaml.ml ./chemoelectric-pycaml-8614105/pycaml.ml |--- /tmp/chemoelectric-pycaml-8614105/pycaml.ml 2011-10-01 02:05:57.000000000 +0200 |+++ ./chemoelectric-pycaml-8614105/pycaml.ml 2012-06-24 14:00:29.004094271 +0200 -------------------------- Patching file pycaml.ml using Plan A... Hunk #1 succeeded at 178. Hunk #2 succeeded at 275. Hunk #3 succeeded at 330. Hunk #4 succeeded at 388. Hunk #5 succeeded at 436. Hunk #6 succeeded at 956. Hunk #7 succeeded at 974. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -ru /tmp/chemoelectric-pycaml-8614105/pycaml_stubs.c ./chemoelectric-pycaml-8614105/pycaml_stubs.c |--- /tmp/chemoelectric-pycaml-8614105/pycaml_stubs.c 2011-10-01 02:05:57.000000000 +0200 |+++ ./chemoelectric-pycaml-8614105/pycaml_stubs.c 2012-06-24 13:36:40.714560368 +0200 -------------------------- Patching file pycaml_stubs.c using Plan A... Hunk #1 succeeded at 789. Hunk #2 succeeded at 940. Hunk #3 succeeded at 1100. Hunk #4 succeeded at 1307. Hunk #5 succeeded at 1320. Hunk #6 succeeded at 1516. Hunk #7 succeeded at 1536. Hunk #8 succeeded at 1612. done patch -z.ccorig -d "chemoelectric-pycaml-8614105" -p1 < ./ignoreheader.patch Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -Naur old-pycaml/pycaml_stubs.c chemoelectric-pycaml-8614105/pycaml_stubs.c |--- old-pycaml/pycaml_stubs.c 2012-08-15 23:03:45.604693537 +0200 |+++ chemoelectric-pycaml-8614105/pycaml_stubs.c 2012-08-15 23:04:06.010917137 +0200 -------------------------- Patching file pycaml_stubs.c using Plan A... Hunk #1 succeeded at 40. done patch -z.ccorig -d "chemoelectric-pycaml-8614105" -p1 < ./elim-warnings.patch Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -ru old-pycaml/pycaml_stubs.c chemoelectric-pycaml-8614105/pycaml_stubs.c |--- old-pycaml/pycaml_stubs.c 2012-08-15 23:03:45.604693537 +0200 |+++ chemoelectric-pycaml-8614105/pycaml_stubs.c 2012-08-16 22:03:01.969958132 +0200 -------------------------- Patching file pycaml_stubs.c using Plan A... Hunk #1 succeeded at 1886. Hunk #2 succeeded at 1903. Hunk #3 succeeded at 1972. Hunk #4 succeeded at 1979. done rm -f "chemoelectric-pycaml-8614105/pycaml.mli" touch chemoelectric-pycaml-8614105/.marker gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/commons' /usr/local/bin/ocamldep -I ocamlextra -I ocollection common.mli oarray.mli oassoc.mli objet.mli ocollection.mli ograph_extended.mli ograph.mli ograph_simple.mli osequence.mli oset.mli parser_combinators.mli commands.ml common.ml interfaces.ml objet.ml ocollection.ml seti.ml oset.ml oassoc.ml osequence.ml ograph.ml ocollection/osetb.ml ocollection/oassocb.ml oarray.ml ograph_simple.ml ograph_extended.ml glimpse.ml parser_combinators.ml | sed 's/bytes\.cm[a-z]\{1,\}//g' > .depend for i in ocamlextra ocollection; do /usr/local/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done /usr/local/bin/ocamldep -I ocamlextra -I ocollection common.mli oarray.mli oassoc.mli objet.mli ocollection.mli ograph_extended.mli ograph.mli ograph_simple.mli osequence.mli oset.mli parser_combinators.mli commands.ml common.ml interfaces.ml objet.ml ocollection.ml seti.ml oset.ml oassoc.ml osequence.ml ograph.ml ocollection/osetb.ml ocollection/oassocb.ml oarray.ml ograph_simple.ml ograph_extended.ml glimpse.ml parser_combinators.ml | sed 's/bytes\.cm[a-z]\{1,\}//g' > .depend for i in ocamlextra ocollection; do /usr/local/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/commons' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/globals' /usr/local/bin/ocamldep -I ../commons -I /usr/local/lib/ocaml/pcre *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I /usr/local/lib/ocaml/pcre *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/globals' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ctl' /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ctl' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_cocci' /usr/local/bin/menhir --ocamlc "/usr/local/bin/ocamlc.opt" --ocamldep "/usr/local/bin/ocamldep" --table --base parser_cocci_menhir parser_cocci_menhir.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. /usr/local/bin/ocamldep *.mli *.ml > .depend /usr/local/bin/ocamldep *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_cocci' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_c' /usr/local/bin/ocamllex.opt lexer_c.mll 549 states, 26116 transitions, table size 107758 bytes 15973 additional bytes used for bindings /usr/local/bin/ocamlyacc -v parser_c.mly /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml | sed "s%\.\./commons/bytes\.cm.%%g" > .depend /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml | sed "s%\.\./commons/bytes\.cm.%%g" > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_c' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/engine' /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/engine' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/popl09' /usr/local/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/popl09' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/extra' /usr/local/bin/ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/extra' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/python' /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/python' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ocaml' /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml | sed 's/bytes\.cm[a-z]\{1,\}//g' > .depend /usr/local/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml | sed 's/bytes\.cm[a-z]\{1,\}//g' > .depend gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ocaml' /usr/local/bin/ocamldep -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml/ cocci.mli testing.mli flag_cocci.ml cocci.ml testing.ml read_options.ml main.ml > .depend gmake[1]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' Building both versions of spatch gmake .depend gmake[1]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[1]: '.depend' is up to date. gmake[1]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake byte gmake[1]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[2]: '.depend' is up to date. gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[2]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[5]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/infiniteArray.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/rowDisplacement.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/engine.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/tableFormat.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/tableInterpreter.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/convert.mli /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/infiniteArray.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/packedIntArray.ml File "menhir-20120123/src/packedIntArray.ml", line 91, characters 6-19: Warning 3: deprecated: String.create Use Bytes.create instead. File "menhir-20120123/src/packedIntArray.ml", line 115, characters 6-26: Warning 3: deprecated: String.set Use Bytes.set instead. File "menhir-20120123/src/packedIntArray.ml", line 137, characters 6-19: Warning 3: deprecated: String.create Use Bytes.create instead. File "menhir-20120123/src/packedIntArray.ml", line 145, characters 1-46: Warning 3: deprecated: String.set Use Bytes.set instead. /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/rowDisplacement.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/engineTypes.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/engine.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/tableFormat.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/tableInterpreter.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -for-pack MenhirLib -c menhir-20120123/src/convert.ml /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -pack -o menhirLib.cmo menhir-20120123/src/infiniteArray.cmo menhir-20120123/src/packedIntArray.cmo menhir-20120123/src/rowDisplacement.cmo menhir-20120123/src/engineTypes.cmo menhir-20120123/src/engine.cmo menhir-20120123/src/tableFormat.cmo menhir-20120123/src/tableInterpreter.cmo menhir-20120123/src/convert.cmo /usr/local/bin/ocamlc.opt -g -I menhir-20120123/src -a -o menhirLib.cma menhirLib.cmo cp menhir-20120123/src/META META gmake[5]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib' gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' gmake[5]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' /usr/local/bin/ocamlc.opt -g -pp "camlp4o -parser Camlp4MacroParser -D PYMAJOR2" -g -ccopt -I/usr/local/include/python2.7 -cclib -L/usr/local/lib -cclib -lpython2.7 -cclib -lpthread -cclib -lutil -cc "cc -O2 -pipe" -I chemoelectric-pycaml-8614105 -i chemoelectric-pycaml-8614105/pycaml.ml > chemoelectric-pycaml-8614105/pycaml.mli /usr/local/bin/ocamlc.opt -g -pp "camlp4o -parser Camlp4MacroParser -D PYMAJOR2" -g -ccopt -I/usr/local/include/python2.7 -cclib -L/usr/local/lib -cclib -lpython2.7 -cclib -lpthread -cclib -lutil -cc "cc -O2 -pipe" -I chemoelectric-pycaml-8614105 -c chemoelectric-pycaml-8614105/pycaml.mli -o chemoelectric-pycaml-8614105/pycaml.cmi cp -f chemoelectric-pycaml-8614105/pycaml.cmi pycaml.cmi /usr/local/bin/ocamlc.opt -g -pp "camlp4o -parser Camlp4MacroParser -D PYMAJOR2" -g -ccopt -I/usr/local/include/python2.7 -cclib -L/usr/local/lib -cclib -lpython2.7 -cclib -lpthread -cclib -lutil -cc "cc -O2 -pipe" -I chemoelectric-pycaml-8614105 -c chemoelectric-pycaml-8614105/pycaml.ml -o chemoelectric-pycaml-8614105/pycaml.cmo /usr/local/bin/ocamlc.opt -g -pp "camlp4o -parser Camlp4MacroParser -D PYMAJOR2" -g -ccopt -I/usr/local/include/python2.7 -cclib -L/usr/local/lib -cclib -lpython2.7 -cclib -lpthread -cclib -lutil -cc "cc -O2 -pipe" -I chemoelectric-pycaml-8614105 -ccopt -shared -ccopt -fPIC chemoelectric-pycaml-8614105/pycaml_stubs.c -o pycaml_stubs.o /usr/local/bin/ocamlmklib -linkall -ldopt -L/usr/local/lib -ldopt -lpython2.7 -ldopt -lpthread -ldopt -lutil -o pycaml_stubs pycaml_stubs.o /usr/local/bin/ocamlc.opt -g -pp "camlp4o -parser Camlp4MacroParser -D PYMAJOR2" -g -ccopt -I/usr/local/include/python2.7 -cclib -L/usr/local/lib -cclib -lpython2.7 -cclib -lpthread -cclib -lutil -cc "cc -O2 -pipe" -I chemoelectric-pycaml-8614105 -I chemoelectric-pycaml-8614105 -a -o pycaml.cma chemoelectric-pycaml-8614105/pycaml.cmo gmake[5]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/pycaml' gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/commons' /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/dumper.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/dumper.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/setb.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/setb.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/mapb.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/setPt.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c commands.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c common.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c common.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c interfaces.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c objet.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c objet.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocollection.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocollection.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c seti.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oset.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oset.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oassoc.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oassoc.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c osequence.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c osequence.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocollection/osetb.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocollection/oassocb.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oarray.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c oarray.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph_simple.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph_simple.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph_extended.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ograph_extended.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c glimpse.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c parser_combinators.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c parser_combinators.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/enum.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/enum.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml /usr/local/bin/ocamlc.opt -g -I ocamlextra -I ocollection -a -o commons.cma ocamlextra/dumper.cmo ocamlextra/setb.cmo ocamlextra/mapb.cmo ocamlextra/setPt.cmo commands.cmo common.cmo interfaces.cmo objet.cmo ocollection.cmo seti.cmo oset.cmo oassoc.cmo osequence.cmo ograph.cmo ocollection/osetb.cmo ocollection/oassocb.cmo oarray.cmo ograph_simple.cmo ograph_extended.cmo glimpse.cmo parser_combinators.cmo ocamlextra/enum.cmo ocamlextra/dynArray.cmo ocamlextra/suffix_tree.cmo ocamlextra/suffix_tree_ext.cmo gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/commons' gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/globals' /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c config.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c flag.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c iteration.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c iteration.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c regexp_pcre.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -c regexp.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I /usr/local/lib/ocaml/pcre -a -o globals.cma config.cmo flag.cmo iteration.cmo regexp_pcre.cmo regexp.cmo gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/globals' gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ctl' /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -a -o ctl.cma flag_ctl.cmo ast_ctl.cmo pretty_print_ctl.cmo ctl_engine.cmo wrapper_ctl.cmo gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/ctl' gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[3]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' gmake[4]: Entering directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_cocci' /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c flag_parsing_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c type_cocci.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c type_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast_cocci.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast0_cocci.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast0_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c pretty_print_cocci.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c pretty_print_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unparse_ast0.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unparse_ast0.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c visitor_ast0_types.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c visitor_ast.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c visitor_ast.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c visitor_ast0.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c visitor_ast0.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c compute_lines.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c compute_lines.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c comm_assoc.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c comm_assoc.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c iso_pattern.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c iso_pattern.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c iso_compile.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c iso_compile.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c single_statement.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c single_statement.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c simple_assignments.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c simple_assignments.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c get_metas.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c get_metas.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c stmtlist.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c stmtlist.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast0toast.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c ast0toast.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c check_meta.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c check_meta.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c top_level.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c top_level.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c type_infer.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c type_infer.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c test_exps.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c test_exps.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unitary_ast0.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unitary_ast0.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c arity.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c arity.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c index.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c index.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c context_neg.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c context_neg.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c adjust_pragmas.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c adjust_pragmas.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c insert_plus.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c insert_plus.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c function_prototypes.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c function_prototypes.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unify_ast.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c unify_ast.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c semantic_cocci.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c data.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c data.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c free_vars.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c free_vars.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c safe_for_multi_decls.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c safe_for_multi_decls.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c parse_printf.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c parse_printf.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c parse_aux.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c disjdistr.mli /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c disjdistr.ml /usr/local/bin/ocamlc.opt -g -I ../commons -I ../commons/ocamlextra -I ../globals -I /home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/bundles/menhirLib/ -c parser_cocci_menhir.mli File "parser_cocci_menhir.mli", line 259, characters 10-56: Error: Unbound module MenhirLib.IncrementalEngine Makefile:87: recipe for target 'parser_cocci_menhir.cmi' failed gmake[4]: *** [parser_cocci_menhir.cmi] Error 2 gmake[4]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4/parsing_cocci' Makefile:183: recipe for target 'parsing_cocci.all' failed gmake[3]: *** [parsing_cocci.all] Error 2 gmake[3]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' Makefile:177: recipe for target 'subdirs.all' failed gmake[2]: *** [subdirs.all] Error 1 gmake[2]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' Makefile:156: recipe for target 'byte' failed gmake[1]: *** [byte] Error 2 gmake[1]: Leaving directory '/home/dpb-wrk/coccinelle-1.0.4/coccinelle-1.0.4' Makefile:126: recipe for target 'world' failed gmake: *** [world] Error 2 *** Error 2 in devel/coccinelle (/mnt/big/ports/infrastructure/mk/bsd.port.mk:2773 '/home/dpb-wrk/coccinelle-1.0.4/.build_done') *** Error 1 in devel/coccinelle (/mnt/big/ports/infrastructure/mk/bsd.port.mk:2495 'build') ===> Exiting devel/coccinelle with an error *** Error 1 in /mnt/big/ports (infrastructure/mk/bsd.port.subdir.mk:147 'build') Error: job failed 256