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

Reply via email to