2026-06-24 18:11.38: New job: build coccinelle.1.1.1 (fde735a553b9)
2026-06-24 18:11.38: Waiting for resource in pool day11-builds
2026-06-24 18:50.55: Got resource from pool day11-builds
2026-06-24 18:50.55: [profile full] build coccinelle.1.1.1
2026-06-24 18:50.55: build coccinelle.1.1.1 (fde735a553b9)
=== DEPENDENCIES (41 transitive) ===
  astring.0.8.5                                      910eb812e955
  base-bigarray.base                                 2e16f77d4cae
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  conf-aclocal.2                                     f33346dab234
  conf-autoconf.0.2                                  676e4452dc37
  conf-automake.1                                    861a4c1c5a85
  conf-libpcre.2                                     262542ccb2b0
  conf-pkg-config.5                                  d5de2c6a88f9
  conf-python-3.9.0.0                                6d72fcfa5947
  conf-python-3-dev.1                                dc24a7cdb665
  csexp.1.5.2                                        5877f876f528
  cstruct.6.2.0                                      e654870b0ae5
  dune.3.23.1                                        167573e3d8b2
  dune-compiledb.0.6.0                               255ed80d3b14
  dune-configurator.3.23.1                           7c67a41953ca
  ezjsonm.1.3.0                                      400526716afa
  fmt.0.11.0                                         34e9b057c3aa
  fpath.0.7.3                                        49076cf96ee5
  hex.1.5.0                                          e7f63127b610
  jsonm.1.0.2                                        6c896223d7bb
  menhir.20260209                                    e330062d7a28
  menhirCST.20260209                                 608149b03692
  menhirGLR.20260209                                 e6fba2e3ed71
  menhirLib.20260209                                 3fd1aea8c3ec
  menhirSdk.20260209                                 de3ddb5c59b7
  num.1.6                                            1531a3ceeb94
  ocaml.4.14.2                                       60a0c582e85e
  ocaml-base-compiler.4.14.2                         1676c56e80d2
  ocaml-config.2                                     c8f40f500988
  ocamlbuild.0.16.1                                  a330f885076a
  ocamlfind.1.9.8                                    9cedae5d7e1a
  parmap.1.2.5                                       76cf0539b3a8
  parsexp.v0.16.0                                    7086b770ef68
  pcre.8.0.5                                         14f1f720caef
  pyml.20250807                                      bfbbcad27ccd
  sexplib.v0.16.0                                    7f6f838566f0
  sexplib0.v0.16.0                                   ffbc25eeae63
  stdcompat.21.1                                     212e7bce9b71
  topkg.1.1.1                                        1d44551de06b
  uutf.1.0.4                                         6e615f0d0b41
=== STDOUT ===
Processing: [default: loading data]
[coccinelle.1.1.1: dl]
[coccinelle.1.1.1: extract]
-> retrieved coccinelle.1.1.1  (https://opam.ocaml.org/cache)
[coccinelle: ./autogen]
+ /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/./autogen  (CWD=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1)
[coccinelle: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/./configure "--enable-opt" "--enable-ocaml" "--enable-python" "--enable-pcre-syntax" "--enable-pcre" "--prefix" "/home/opam/.opam/default" "--libdir" "/home/opam/.opam/default/lib" (CWD=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1)
- configure: configuring coccinelle 1.1.1 in /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a race-free mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- configure: determining version suffix
- checking for date... /usr/bin/date
- configure: version suffix set to Wed, 24 Jun 2026 18:51:25 +0000
- configure: this configure program uses pkg-config m4 macros
- configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4)
- configure: this configure program uses custom m4 macros (see setup/cocci.m4)
- configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*)
- configure: verifying basic tools
- checking whether make supports the include directive... yes (GNU style)
- checking for gcc... gcc
- 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... o
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking whether gcc understands -c and -o together... yes
- checking dependency style of gcc... none
- checking how to run the C preprocessor... gcc -E
- checking for bash... /bin/bash
- checking for tar... /usr/bin/tar
- checking for patch... /usr/bin/patch
- checking for echo... /usr/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... /home/opam/.opam/default/bin/ocamlc
- OCaml version is 4.14.2
- OCaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlopt... /home/opam/.opam/default/bin/ocamlopt
- checking for ocamlc.opt... /home/opam/.opam/default/bin/ocamlc.opt
- checking for ocamlopt.opt... /home/opam/.opam/default/bin/ocamlopt.opt
- checking for ocaml... /home/opam/.opam/default/bin/ocaml
- checking for ocamldep... /home/opam/.opam/default/bin/ocamldep
- checking for ocamlmktop... /home/opam/.opam/default/bin/ocamlmktop
- checking for ocamlmklib... /home/opam/.opam/default/bin/ocamlmklib
- checking for ocamldoc... /home/opam/.opam/default/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 that the OCaml version is at least 4.03... yes
- checking for ocamllex... /home/opam/.opam/default/bin/ocamllex
- checking for ocamllex.opt... /home/opam/.opam/default/bin/ocamllex.opt
- checking for ocamlyacc... /home/opam/.opam/default/bin/ocamlyacc
- checking for ocamlfind... /home/opam/.opam/default/bin/ocamlfind
- checking for ocamlprof... /home/opam/.opam/default/bin/ocamlprof
- configure: verifying basic ocaml modules
- configure: coccinelle may use external ocaml libraries in /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/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 str... found
- configure: configuring package dynlink
- checking for OCaml findlib package dynlink... found
- configure: configuring package parmap
- checking for OCaml findlib package parmap... found
- configure: configuring package stdcompat
- checking for OCaml findlib package stdcompat... found
- configure: verifying optional features
- checking for menhir... /home/opam/.opam/default/bin/menhir
- configure: system menhir will be used
- configure: system menhir will be used
- configure: configuring package pyml
- checking for OCaml findlib package pyml... found
- checking for libpcre... yes
- configure: configuring package pcre
- checking for OCaml findlib package pcre... found
- checking if pcre depends on bytes... no
- configure: support for pcre syntax is enabled
- checking for pdflatex... no
- configure: pdflatex not found. Trying substitute /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/setup/fake-pdflatex.sh pdflatex.
- checking for pdflatex... /home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/setup/fake-pdflatex.sh pdflatex
- checking that generated files are newer than configure... 
- done
- configure: creating ./config.status
- config.status: creating Makefile.config
- config.status: creating version.ml
- config.status: creating commons/commands.ml
- config.status: creating globals/config.ml
- config.status: creating globals/regexp.ml
- config.status: creating python/pycocci.ml
- config.status: creating ocaml/prepare_ocamlcocci.ml
- config.status: creating scripts/spatch.sh
- config.status: creating tools/spgen/scripts/spgen.sh
- config.status: creating docs/spatch.1
- config.status: creating setup/Makefile
- config.status: executing depfiles commands
- configure: configuration completed
- ------------------------------------------------------------------------------
- Summary
- 
- configure flags:  --enable-opt --enable-ocaml --enable-python --enable-pcre-syntax --enable-pcre --prefix /home/opam/.opam/default --libdir /home/opam/.opam/default/lib
- findlib:          /home/opam/.opam/default/bin/ocamlfind	(an actual version is strongly recommended)
- menhir:           /home/opam/.opam/default/bin/menhir
-                   (for local package use --without-menhir,
-                    install the menhir package otherwise)
- 
- ocaml scripting:  yes	(overridable with --enable-ocaml)
- python scripting: yes	(overridable with --enable-python)
- 
- pcre regexes:     yes	(overridable with --enable-pcre-syntax)
- pcre module:      yes	(for local package use --disable-pcre)
- pcre library:     yes	(requires the libpcre-ocaml-dev package)
- 
- optimized spatch: yes	(overridable with --disable-opt)
- 
- bash-completion:  ${prefix}/share/bash-completion/completions
-                   (overridable with --with-bash-completion)
- 
- ------------------------------------------------------------------------------
- Coccinelle can now be compiled and installed.
- 
- 
- If you compile coccinelle again after source code changes or
- configuration changes, you may need to run first:
-   $ make clean
- 
- To compile coccinelle, run:
-   $ make
- 
- To install coccinelle, run:
-   $ make install
- 
- Then, to test coccinelle, run for example:
-   $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c
- 
- Or when coccinelle is not installed yet:
-   $ COCCINELLE_HOME=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1 ./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:/home/opam/.opam/default/lib
-   $ export PYTHONPATH=$PYTHONPATH:/home/opam/.opam/default/lib/coccinelle/python
- 
- ------------------------------------------------------------------------------
[coccinelle: make clean]
+ /usr/bin/make "clean" (CWD=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1)
- /usr/bin/make -C bundles/stdcompat clean
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/stdcompat'
- rm -f *.mli *.cmi *.cmo *.cmt *.cmti *.cmx *.cma *.cmxa *.a
- cd stdcompat-current && \
- 	rm -f *.cmi *.cmo *.cmx *.cmt *.cmti *.cma *.cmxa *.a *.cmxs
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/stdcompat'
- /usr/bin/make -C bundles/menhirLib clean
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/menhirLib'
- rm -f .depend   \
- 	menhir menhirLib.cmi   menhirLib.cmx menhirLib.o \
- 	menhirLib.cmo \
- 	  menhirLib.ml menhirLib.mli syntax.cmi menhir-20181113/src/parser.mly menhir-20181113/src/menhir menhir-20181113/src/installation.ml \
- 	menhir-20181113/src/chopInlined.mli menhir-20181113/src/lexer.mli menhir-20181113/src/lexdep.mli menhir-20181113/src/lexmli.mli menhir-20181113/src/parser.mli menhir-20181113/src/sentenceLexer.mli menhir-20181113/src/sentenceParser.mli menhir-20181113/src/lexpointfree.mli menhir-20181113/src/lineCount.mli menhir-20181113/src/segment.mli \
- 	menhir-20181113/src/chopInlined.ml menhir-20181113/src/lexer.ml menhir-20181113/src/lexdep.ml menhir-20181113/src/lexmli.ml menhir-20181113/src/parser.ml menhir-20181113/src/sentenceLexer.ml menhir-20181113/src/sentenceParser.ml menhir-20181113/src/lexpointfree.ml menhir-20181113/src/lineCount.ml menhir-20181113/src/segment.ml standard.mly \
- 	 \
- 	 \
- 	 \
- 	 \
- 	menhir-20181113/src/Fix.o menhir-20181113/src/IO.o menhir-20181113/src/installation.o menhir-20181113/src/keyword.o menhir-20181113/src/lineCount.o menhir-20181113/src/positions.o menhir-20181113/src/stringSet.o menhir-20181113/src/version.o menhir-20181113/src/settings.o menhir-20181113/src/printer.o menhir-20181113/src/codeBits.o menhir-20181113/src/action.o menhir-20181113/src/mark.o menhir-20181113/src/stringMap.o menhir-20181113/src/menhirLib.o menhir-20181113/src/error.o menhir-20181113/src/misc.o menhir-20181113/src/codeBits.o menhir-20181113/src/gSet.o menhir-20181113/src/compressedBitSet.o menhir-20181113/src/option.o menhir-20181113/src/dot.o menhir-20181113/src/InputFile.o menhir-20181113/src/parameters.o menhir-20181113/src/InputFile.o menhir-20181113/src/lexpointfree.o menhir-20181113/src/parserAux.o menhir-20181113/src/parser.o menhir-20181113/src/lexer.o menhir-20181113/src/tarjan.o menhir-20181113/src/unionFind.o menhir-20181113/src/expandTokenAliases.o menhir-20181113/src/partialGrammar.o menhir-20181113/src/time.o menhir-20181113/src/unparameterizedSyntax.o menhir-20181113/src/tokenType.o menhir-20181113/src/nonterminalType.o menhir-20181113/src/interface.o menhir-20181113/src/lexdep.o menhir-20181113/src/lexmli.o menhir-20181113/src/infer.o menhir-20181113/src/listMonad.o menhir-20181113/src/chopInlined.o menhir-20181113/src/sequence.o menhir-20181113/src/CompletedNatWitness.o menhir-20181113/src/Unifier.o menhir-20181113/src/Memoize.o menhir-20181113/src/SortUnification.o menhir-20181113/src/SortInference.o menhir-20181113/src/GroundSort.o menhir-20181113/src/SelectiveExpansion.o menhir-20181113/src/syntax.o menhir-20181113/src/Drop.o menhir-20181113/src/CheckSafeParameterizedGrammar.o menhir-20181113/src/nonTerminalDefinitionInlining.o menhir-20181113/src/reachability.o menhir-20181113/src/unparameterizedPrinter.o menhir-20181113/src/FixSolver.o menhir-20181113/src/Boolean.o menhir-20181113/src/Maps.o menhir-20181113/src/patricia.o menhir-20181113/src/grammarFunctor.o menhir-20181113/src/keywordExpansion.o menhir-20181113/src/anonymous.o menhir-20181113/src/Driver.o menhir-20181113/src/front.o menhir-20181113/src/gMap.o menhir-20181113/src/grammar.o menhir-20181113/src/codePieces.o menhir-20181113/src/item.o menhir-20181113/src/derivation.o menhir-20181113/src/lr0.o menhir-20181113/src/slr.o menhir-20181113/src/lr1.o menhir-20181113/src/DependencyGraph.o menhir-20181113/src/lr1partial.o menhir-20181113/src/conflict.o menhir-20181113/src/invariant.o menhir-20181113/src/default.o menhir-20181113/src/Trie.o menhir-20181113/src/MySet.o menhir-20181113/src/resizableArray.o menhir-20181113/src/LowIntegerPriorityQueue.o menhir-20181113/src/LRijkstraCore.o menhir-20181113/src/codeBackend.o menhir-20181113/src/coqBackend.o menhir-20181113/src/pprint.o menhir-20181113/src/cst.o menhir-20181113/src/traverse.o menhir-20181113/src/inliner.o menhir-20181113/src/referenceInterpreter.o menhir-20181113/src/sentenceParser.o menhir-20181113/src/sentenceLexer.o menhir-20181113/src/segment.o menhir-20181113/src/sentenceParserAux.o menhir-20181113/src/interpret.o menhir-20181113/src/tableBackend.o menhir-20181113/src/astar.o menhir-20181113/src/LRijkstra.o menhir-20181113/src/cmly_api.o menhir-20181113/src/cmly_format.o menhir-20181113/src/cmly_read.o menhir-20181113/src/cmly_write.o menhir-20181113/src/back.o menhir-20181113/src/menhir.o menhir-20181113/src/General.o menhir-20181113/src/IncrementalEngine.o menhir-20181113/src/InfiniteArray.o menhir-20181113/src/PackedIntArray.o menhir-20181113/src/LinearizedArray.o menhir-20181113/src/RowDisplacement.o menhir-20181113/src/EngineTypes.o menhir-20181113/src/Engine.o menhir-20181113/src/TableFormat.o menhir-20181113/src/TableInterpreter.o menhir-20181113/src/Convert.o \
- 	menhir-20181113/src/Fix.cmi menhir-20181113/src/IO.cmi menhir-20181113/src/installation.cmi menhir-20181113/src/keyword.cmi menhir-20181113/src/lineCount.cmi menhir-20181113/src/positions.cmi menhir-20181113/src/stringSet.cmi menhir-20181113/src/version.cmi menhir-20181113/src/settings.cmi menhir-20181113/src/printer.cmi menhir-20181113/src/codeBits.cmi menhir-20181113/src/action.cmi menhir-20181113/src/mark.cmi menhir-20181113/src/stringMap.cmi menhir-20181113/src/menhirLib.cmi menhir-20181113/src/error.cmi menhir-20181113/src/misc.cmi menhir-20181113/src/codeBits.cmi menhir-20181113/src/gSet.cmi menhir-20181113/src/compressedBitSet.cmi menhir-20181113/src/option.cmi menhir-20181113/src/dot.cmi menhir-20181113/src/InputFile.cmi menhir-20181113/src/parameters.cmi menhir-20181113/src/InputFile.cmi menhir-20181113/src/lexpointfree.cmi menhir-20181113/src/parserAux.cmi menhir-20181113/src/parser.cmi menhir-20181113/src/lexer.cmi menhir-20181113/src/tarjan.cmi menhir-20181113/src/unionFind.cmi menhir-20181113/src/expandTokenAliases.cmi menhir-20181113/src/partialGrammar.cmi menhir-20181113/src/time.cmi menhir-20181113/src/unparameterizedSyntax.cmi menhir-20181113/src/tokenType.cmi menhir-20181113/src/nonterminalType.cmi menhir-20181113/src/interface.cmi menhir-20181113/src/lexdep.cmi menhir-20181113/src/lexmli.cmi menhir-20181113/src/infer.cmi menhir-20181113/src/listMonad.cmi menhir-20181113/src/chopInlined.cmi menhir-20181113/src/sequence.cmi menhir-20181113/src/CompletedNatWitness.cmi menhir-20181113/src/Unifier.cmi menhir-20181113/src/Memoize.cmi menhir-20181113/src/SortUnification.cmi menhir-20181113/src/SortInference.cmi menhir-20181113/src/GroundSort.cmi menhir-20181113/src/SelectiveExpansion.cmi menhir-20181113/src/syntax.cmi menhir-20181113/src/Drop.cmi menhir-20181113/src/CheckSafeParameterizedGrammar.cmi menhir-20181113/src/nonTerminalDefinitionInlining.cmi menhir-20181113/src/reachability.cmi menhir-20181113/src/unparameterizedPrinter.cmi menhir-20181113/src/FixSolver.cmi menhir-20181113/src/Boolean.cmi menhir-20181113/src/Maps.cmi menhir-20181113/src/patricia.cmi menhir-20181113/src/grammarFunctor.cmi menhir-20181113/src/keywordExpansion.cmi menhir-20181113/src/anonymous.cmi menhir-20181113/src/Driver.cmi menhir-20181113/src/front.cmi menhir-20181113/src/gMap.cmi menhir-20181113/src/grammar.cmi menhir-20181113/src/codePieces.cmi menhir-20181113/src/item.cmi menhir-20181113/src/derivation.cmi menhir-20181113/src/lr0.cmi menhir-20181113/src/slr.cmi menhir-20181113/src/lr1.cmi menhir-20181113/src/DependencyGraph.cmi menhir-20181113/src/lr1partial.cmi menhir-20181113/src/conflict.cmi menhir-20181113/src/invariant.cmi menhir-20181113/src/default.cmi menhir-20181113/src/Trie.cmi menhir-20181113/src/MySet.cmi menhir-20181113/src/resizableArray.cmi menhir-20181113/src/LowIntegerPriorityQueue.cmi menhir-20181113/src/LRijkstraCore.cmi menhir-20181113/src/codeBackend.cmi menhir-20181113/src/coqBackend.cmi menhir-20181113/src/pprint.cmi menhir-20181113/src/cst.cmi menhir-20181113/src/traverse.cmi menhir-20181113/src/inliner.cmi menhir-20181113/src/referenceInterpreter.cmi menhir-20181113/src/sentenceParser.cmi menhir-20181113/src/sentenceLexer.cmi menhir-20181113/src/segment.cmi menhir-20181113/src/sentenceParserAux.cmi menhir-20181113/src/interpret.cmi menhir-20181113/src/tableBackend.cmi menhir-20181113/src/astar.cmi menhir-20181113/src/LRijkstra.cmi menhir-20181113/src/cmly_api.cmi menhir-20181113/src/cmly_format.cmi menhir-20181113/src/cmly_read.cmi menhir-20181113/src/cmly_write.cmi menhir-20181113/src/back.cmi menhir-20181113/src/menhir.cmi menhir-20181113/src/General.cmi menhir-20181113/src/IncrementalEngine.cmi menhir-20181113/src/InfiniteArray.cmi menhir-20181113/src/PackedIntArray.cmi menhir-20181113/src/LinearizedArray.cmi menhir-20181113/src/RowDisplacement.cmi menhir-20181113/src/EngineTypes.cmi menhir-20181113/src/Engine.cmi menhir-20181113/src/TableFormat.cmi menhir-20181113/src/TableInterpreter.cmi menhir-20181113/src/Convert.cmi \
- 	menhir-20181113/src/Fix.cmx menhir-20181113/src/IO.cmx menhir-20181113/src/installation.cmx menhir-20181113/src/keyword.cmx menhir-20181113/src/lineCount.cmx menhir-20181113/src/positions.cmx menhir-20181113/src/stringSet.cmx menhir-20181113/src/version.cmx menhir-20181113/src/settings.cmx menhir-20181113/src/printer.cmx menhir-20181113/src/codeBits.cmx menhir-20181113/src/action.cmx menhir-20181113/src/mark.cmx menhir-20181113/src/stringMap.cmx menhir-20181113/src/menhirLib.cmx menhir-20181113/src/error.cmx menhir-20181113/src/misc.cmx menhir-20181113/src/codeBits.cmx menhir-20181113/src/gSet.cmx menhir-20181113/src/compressedBitSet.cmx menhir-20181113/src/option.cmx menhir-20181113/src/dot.cmx menhir-20181113/src/InputFile.cmx menhir-20181113/src/parameters.cmx menhir-20181113/src/InputFile.cmx menhir-20181113/src/lexpointfree.cmx menhir-20181113/src/parserAux.cmx menhir-20181113/src/parser.cmx menhir-20181113/src/lexer.cmx menhir-20181113/src/tarjan.cmx menhir-20181113/src/unionFind.cmx menhir-20181113/src/expandTokenAliases.cmx menhir-20181113/src/partialGrammar.cmx menhir-20181113/src/time.cmx menhir-20181113/src/unparameterizedSyntax.cmx menhir-20181113/src/tokenType.cmx menhir-20181113/src/nonterminalType.cmx menhir-20181113/src/interface.cmx menhir-20181113/src/lexdep.cmx menhir-20181113/src/lexmli.cmx menhir-20181113/src/infer.cmx menhir-20181113/src/listMonad.cmx menhir-20181113/src/chopInlined.cmx menhir-20181113/src/sequence.cmx menhir-20181113/src/CompletedNatWitness.cmx menhir-20181113/src/Unifier.cmx menhir-20181113/src/Memoize.cmx menhir-20181113/src/SortUnification.cmx menhir-20181113/src/SortInference.cmx menhir-20181113/src/GroundSort.cmx menhir-20181113/src/SelectiveExpansion.cmx menhir-20181113/src/syntax.cmx menhir-20181113/src/Drop.cmx menhir-20181113/src/CheckSafeParameterizedGrammar.cmx menhir-20181113/src/nonTerminalDefinitionInlining.cmx menhir-20181113/src/reachability.cmx menhir-20181113/src/unparameterizedPrinter.cmx menhir-20181113/src/FixSolver.cmx menhir-20181113/src/Boolean.cmx menhir-20181113/src/Maps.cmx menhir-20181113/src/patricia.cmx menhir-20181113/src/grammarFunctor.cmx menhir-20181113/src/keywordExpansion.cmx menhir-20181113/src/anonymous.cmx menhir-20181113/src/Driver.cmx menhir-20181113/src/front.cmx menhir-20181113/src/gMap.cmx menhir-20181113/src/grammar.cmx menhir-20181113/src/codePieces.cmx menhir-20181113/src/item.cmx menhir-20181113/src/derivation.cmx menhir-20181113/src/lr0.cmx menhir-20181113/src/slr.cmx menhir-20181113/src/lr1.cmx menhir-20181113/src/DependencyGraph.cmx menhir-20181113/src/lr1partial.cmx menhir-20181113/src/conflict.cmx menhir-20181113/src/invariant.cmx menhir-20181113/src/default.cmx menhir-20181113/src/Trie.cmx menhir-20181113/src/MySet.cmx menhir-20181113/src/resizableArray.cmx menhir-20181113/src/LowIntegerPriorityQueue.cmx menhir-20181113/src/LRijkstraCore.cmx menhir-20181113/src/codeBackend.cmx menhir-20181113/src/coqBackend.cmx menhir-20181113/src/pprint.cmx menhir-20181113/src/cst.cmx menhir-20181113/src/traverse.cmx menhir-20181113/src/inliner.cmx menhir-20181113/src/referenceInterpreter.cmx menhir-20181113/src/sentenceParser.cmx menhir-20181113/src/sentenceLexer.cmx menhir-20181113/src/segment.cmx menhir-20181113/src/sentenceParserAux.cmx menhir-20181113/src/interpret.cmx menhir-20181113/src/tableBackend.cmx menhir-20181113/src/astar.cmx menhir-20181113/src/LRijkstra.cmx menhir-20181113/src/cmly_api.cmx menhir-20181113/src/cmly_format.cmx menhir-20181113/src/cmly_read.cmx menhir-20181113/src/cmly_write.cmx menhir-20181113/src/back.cmx menhir-20181113/src/menhir.cmx menhir-20181113/src/General.cmx menhir-20181113/src/IncrementalEngine.cmx menhir-20181113/src/InfiniteArray.cmx menhir-20181113/src/PackedIntArray.cmx menhir-20181113/src/LinearizedArray.cmx menhir-20181113/src/RowDisplacement.cmx menhir-20181113/src/EngineTypes.cmx menhir-20181113/src/Engine.cmx menhir-20181113/src/TableFormat.cmx menhir-20181113/src/TableInterpreter.cmx menhir-20181113/src/Convert.cmx \
- 	menhir-20181113/src/Fix.cmo menhir-20181113/src/IO.cmo menhir-20181113/src/installation.cmo menhir-20181113/src/keyword.cmo menhir-20181113/src/lineCount.cmo menhir-20181113/src/positions.cmo menhir-20181113/src/stringSet.cmo menhir-20181113/src/version.cmo menhir-20181113/src/settings.cmo menhir-20181113/src/printer.cmo menhir-20181113/src/codeBits.cmo menhir-20181113/src/action.cmo menhir-20181113/src/mark.cmo menhir-20181113/src/stringMap.cmo menhir-20181113/src/menhirLib.cmo menhir-20181113/src/error.cmo menhir-20181113/src/misc.cmo menhir-20181113/src/codeBits.cmo menhir-20181113/src/gSet.cmo menhir-20181113/src/compressedBitSet.cmo menhir-20181113/src/option.cmo menhir-20181113/src/dot.cmo menhir-20181113/src/InputFile.cmo menhir-20181113/src/parameters.cmo menhir-20181113/src/InputFile.cmo menhir-20181113/src/lexpointfree.cmo menhir-20181113/src/parserAux.cmo menhir-20181113/src/parser.cmo menhir-20181113/src/lexer.cmo menhir-20181113/src/tarjan.cmo menhir-20181113/src/unionFind.cmo menhir-20181113/src/expandTokenAliases.cmo menhir-20181113/src/partialGrammar.cmo menhir-20181113/src/time.cmo menhir-20181113/src/unparameterizedSyntax.cmo menhir-20181113/src/tokenType.cmo menhir-20181113/src/nonterminalType.cmo menhir-20181113/src/interface.cmo menhir-20181113/src/lexdep.cmo menhir-20181113/src/lexmli.cmo menhir-20181113/src/infer.cmo menhir-20181113/src/listMonad.cmo menhir-20181113/src/chopInlined.cmo menhir-20181113/src/sequence.cmo menhir-20181113/src/CompletedNatWitness.cmo menhir-20181113/src/Unifier.cmo menhir-20181113/src/Memoize.cmo menhir-20181113/src/SortUnification.cmo menhir-20181113/src/SortInference.cmo menhir-20181113/src/GroundSort.cmo menhir-20181113/src/SelectiveExpansion.cmo menhir-20181113/src/syntax.cmo menhir-20181113/src/Drop.cmo menhir-20181113/src/CheckSafeParameterizedGrammar.cmo menhir-20181113/src/nonTerminalDefinitionInlining.cmo menhir-20181113/src/reachability.cmo menhir-20181113/src/unparameterizedPrinter.cmo menhir-20181113/src/FixSolver.cmo menhir-20181113/src/Boolean.cmo menhir-20181113/src/Maps.cmo menhir-20181113/src/patricia.cmo menhir-20181113/src/grammarFunctor.cmo menhir-20181113/src/keywordExpansion.cmo menhir-20181113/src/anonymous.cmo menhir-20181113/src/Driver.cmo menhir-20181113/src/front.cmo menhir-20181113/src/gMap.cmo menhir-20181113/src/grammar.cmo menhir-20181113/src/codePieces.cmo menhir-20181113/src/item.cmo menhir-20181113/src/derivation.cmo menhir-20181113/src/lr0.cmo menhir-20181113/src/slr.cmo menhir-20181113/src/lr1.cmo menhir-20181113/src/DependencyGraph.cmo menhir-20181113/src/lr1partial.cmo menhir-20181113/src/conflict.cmo menhir-20181113/src/invariant.cmo menhir-20181113/src/default.cmo menhir-20181113/src/Trie.cmo menhir-20181113/src/MySet.cmo menhir-20181113/src/resizableArray.cmo menhir-20181113/src/LowIntegerPriorityQueue.cmo menhir-20181113/src/LRijkstraCore.cmo menhir-20181113/src/codeBackend.cmo menhir-20181113/src/coqBackend.cmo menhir-20181113/src/pprint.cmo menhir-20181113/src/cst.cmo menhir-20181113/src/traverse.cmo menhir-20181113/src/inliner.cmo menhir-20181113/src/referenceInterpreter.cmo menhir-20181113/src/sentenceParser.cmo menhir-20181113/src/sentenceLexer.cmo menhir-20181113/src/segment.cmo menhir-20181113/src/sentenceParserAux.cmo menhir-20181113/src/interpret.cmo menhir-20181113/src/tableBackend.cmo menhir-20181113/src/astar.cmo menhir-20181113/src/LRijkstra.cmo menhir-20181113/src/cmly_api.cmo menhir-20181113/src/cmly_format.cmo menhir-20181113/src/cmly_read.cmo menhir-20181113/src/cmly_write.cmo menhir-20181113/src/back.cmo menhir-20181113/src/menhir.cmo menhir-20181113/src/General.cmo menhir-20181113/src/IncrementalEngine.cmo menhir-20181113/src/InfiniteArray.cmo menhir-20181113/src/PackedIntArray.cmo menhir-20181113/src/LinearizedArray.cmo menhir-20181113/src/RowDisplacement.cmo menhir-20181113/src/EngineTypes.cmo menhir-20181113/src/Engine.cmo menhir-20181113/src/TableFormat.cmo menhir-20181113/src/TableInterpreter.cmo menhir-20181113/src/Convert.cmo \
- 	menhir-20181113/src/Fix.cmt menhir-20181113/src/IO.cmt menhir-20181113/src/installation.cmt menhir-20181113/src/keyword.cmt menhir-20181113/src/lineCount.cmt menhir-20181113/src/positions.cmt menhir-20181113/src/stringSet.cmt menhir-20181113/src/version.cmt menhir-20181113/src/settings.cmt menhir-20181113/src/printer.cmt menhir-20181113/src/codeBits.cmt menhir-20181113/src/action.cmt menhir-20181113/src/mark.cmt menhir-20181113/src/stringMap.cmt menhir-20181113/src/menhirLib.cmt menhir-20181113/src/error.cmt menhir-20181113/src/misc.cmt menhir-20181113/src/codeBits.cmt menhir-20181113/src/gSet.cmt menhir-20181113/src/compressedBitSet.cmt menhir-20181113/src/option.cmt menhir-20181113/src/dot.cmt menhir-20181113/src/InputFile.cmt menhir-20181113/src/parameters.cmt menhir-20181113/src/InputFile.cmt menhir-20181113/src/lexpointfree.cmt menhir-20181113/src/parserAux.cmt menhir-20181113/src/parser.cmt menhir-20181113/src/lexer.cmt menhir-20181113/src/tarjan.cmt menhir-20181113/src/unionFind.cmt menhir-20181113/src/expandTokenAliases.cmt menhir-20181113/src/partialGrammar.cmt menhir-20181113/src/time.cmt menhir-20181113/src/unparameterizedSyntax.cmt menhir-20181113/src/tokenType.cmt menhir-20181113/src/nonterminalType.cmt menhir-20181113/src/interface.cmt menhir-20181113/src/lexdep.cmt menhir-20181113/src/lexmli.cmt menhir-20181113/src/infer.cmt menhir-20181113/src/listMonad.cmt menhir-20181113/src/chopInlined.cmt menhir-20181113/src/sequence.cmt menhir-20181113/src/CompletedNatWitness.cmt menhir-20181113/src/Unifier.cmt menhir-20181113/src/Memoize.cmt menhir-20181113/src/SortUnification.cmt menhir-20181113/src/SortInference.cmt menhir-20181113/src/GroundSort.cmt menhir-20181113/src/SelectiveExpansion.cmt menhir-20181113/src/syntax.cmt menhir-20181113/src/Drop.cmt menhir-20181113/src/CheckSafeParameterizedGrammar.cmt menhir-20181113/src/nonTerminalDefinitionInlining.cmt menhir-20181113/src/reachability.cmt menhir-20181113/src/unparameterizedPrinter.cmt menhir-20181113/src/FixSolver.cmt menhir-20181113/src/Boolean.cmt menhir-20181113/src/Maps.cmt menhir-20181113/src/patricia.cmt menhir-20181113/src/grammarFunctor.cmt menhir-20181113/src/keywordExpansion.cmt menhir-20181113/src/anonymous.cmt menhir-20181113/src/Driver.cmt menhir-20181113/src/front.cmt menhir-20181113/src/gMap.cmt menhir-20181113/src/grammar.cmt menhir-20181113/src/codePieces.cmt menhir-20181113/src/item.cmt menhir-20181113/src/derivation.cmt menhir-20181113/src/lr0.cmt menhir-20181113/src/slr.cmt menhir-20181113/src/lr1.cmt menhir-20181113/src/DependencyGraph.cmt menhir-20181113/src/lr1partial.cmt menhir-20181113/src/conflict.cmt menhir-20181113/src/invariant.cmt menhir-20181113/src/default.cmt menhir-20181113/src/Trie.cmt menhir-20181113/src/MySet.cmt menhir-20181113/src/resizableArray.cmt menhir-20181113/src/LowIntegerPriorityQueue.cmt menhir-20181113/src/LRijkstraCore.cmt menhir-20181113/src/codeBackend.cmt menhir-20181113/src/coqBackend.cmt menhir-20181113/src/pprint.cmt menhir-20181113/src/cst.cmt menhir-20181113/src/traverse.cmt menhir-20181113/src/inliner.cmt menhir-20181113/src/referenceInterpreter.cmt menhir-20181113/src/sentenceParser.cmt menhir-20181113/src/sentenceLexer.cmt menhir-20181113/src/segment.cmt menhir-20181113/src/sentenceParserAux.cmt menhir-20181113/src/interpret.cmt menhir-20181113/src/tableBackend.cmt menhir-20181113/src/astar.cmt menhir-20181113/src/LRijkstra.cmt menhir-20181113/src/cmly_api.cmt menhir-20181113/src/cmly_format.cmt menhir-20181113/src/cmly_read.cmt menhir-20181113/src/cmly_write.cmt menhir-20181113/src/back.cmt menhir-20181113/src/menhir.cmt menhir-20181113/src/General.cmt menhir-20181113/src/IncrementalEngine.cmt menhir-20181113/src/InfiniteArray.cmt menhir-20181113/src/PackedIntArray.cmt menhir-20181113/src/LinearizedArray.cmt menhir-20181113/src/RowDisplacement.cmt menhir-20181113/src/EngineTypes.cmt menhir-20181113/src/Engine.cmt menhir-20181113/src/TableFormat.cmt menhir-20181113/src/TableInterpreter.cmt menhir-20181113/src/Convert.cmt \
- 	menhir-20181113/src/Fix.cmti menhir-20181113/src/IO.cmti menhir-20181113/src/installation.cmti menhir-20181113/src/keyword.cmti menhir-20181113/src/lineCount.cmti menhir-20181113/src/positions.cmti menhir-20181113/src/stringSet.cmti menhir-20181113/src/version.cmti menhir-20181113/src/settings.cmti menhir-20181113/src/printer.cmti menhir-20181113/src/codeBits.cmti menhir-20181113/src/action.cmti menhir-20181113/src/mark.cmti menhir-20181113/src/stringMap.cmti menhir-20181113/src/menhirLib.cmti menhir-20181113/src/error.cmti menhir-20181113/src/misc.cmti menhir-20181113/src/codeBits.cmti menhir-20181113/src/gSet.cmti menhir-20181113/src/compressedBitSet.cmti menhir-20181113/src/option.cmti menhir-20181113/src/dot.cmti menhir-20181113/src/InputFile.cmti menhir-20181113/src/parameters.cmti menhir-20181113/src/InputFile.cmti menhir-20181113/src/lexpointfree.cmti menhir-20181113/src/parserAux.cmti menhir-20181113/src/parser.cmti menhir-20181113/src/lexer.cmti menhir-20181113/src/tarjan.cmti menhir-20181113/src/unionFind.cmti menhir-20181113/src/expandTokenAliases.cmti menhir-20181113/src/partialGrammar.cmti menhir-20181113/src/time.cmti menhir-20181113/src/unparameterizedSyntax.cmti menhir-20181113/src/tokenType.cmti menhir-20181113/src/nonterminalType.cmti menhir-20181113/src/interface.cmti menhir-20181113/src/lexdep.cmti menhir-20181113/src/lexmli.cmti menhir-20181113/src/infer.cmti menhir-20181113/src/listMonad.cmti menhir-20181113/src/chopInlined.cmti menhir-20181113/src/sequence.cmti menhir-20181113/src/CompletedNatWitness.cmti menhir-20181113/src/Unifier.cmti menhir-20181113/src/Memoize.cmti menhir-20181113/src/SortUnification.cmti menhir-20181113/src/SortInference.cmti menhir-20181113/src/GroundSort.cmti menhir-20181113/src/SelectiveExpansion.cmti menhir-20181113/src/syntax.cmti menhir-20181113/src/Drop.cmti menhir-20181113/src/CheckSafeParameterizedGrammar.cmti menhir-20181113/src/nonTerminalDefinitionInlining.cmti menhir-20181113/src/reachability.cmti menhir-20181113/src/unparameterizedPrinter.cmti menhir-20181113/src/FixSolver.cmti menhir-20181113/src/Boolean.cmti menhir-20181113/src/Maps.cmti menhir-20181113/src/patricia.cmti menhir-20181113/src/grammarFunctor.cmti menhir-20181113/src/keywordExpansion.cmti menhir-20181113/src/anonymous.cmti menhir-20181113/src/Driver.cmti menhir-20181113/src/front.cmti menhir-20181113/src/gMap.cmti menhir-20181113/src/grammar.cmti menhir-20181113/src/codePieces.cmti menhir-20181113/src/item.cmti menhir-20181113/src/derivation.cmti menhir-20181113/src/lr0.cmti menhir-20181113/src/slr.cmti menhir-20181113/src/lr1.cmti menhir-20181113/src/DependencyGraph.cmti menhir-20181113/src/lr1partial.cmti menhir-20181113/src/conflict.cmti menhir-20181113/src/invariant.cmti menhir-20181113/src/default.cmti menhir-20181113/src/Trie.cmti menhir-20181113/src/MySet.cmti menhir-20181113/src/resizableArray.cmti menhir-20181113/src/LowIntegerPriorityQueue.cmti menhir-20181113/src/LRijkstraCore.cmti menhir-20181113/src/codeBackend.cmti menhir-20181113/src/coqBackend.cmti menhir-20181113/src/pprint.cmti menhir-20181113/src/cst.cmti menhir-20181113/src/traverse.cmti menhir-20181113/src/inliner.cmti menhir-20181113/src/referenceInterpreter.cmti menhir-20181113/src/sentenceParser.cmti menhir-20181113/src/sentenceLexer.cmti menhir-20181113/src/segment.cmti menhir-20181113/src/sentenceParserAux.cmti menhir-20181113/src/interpret.cmti menhir-20181113/src/tableBackend.cmti menhir-20181113/src/astar.cmti menhir-20181113/src/LRijkstra.cmti menhir-20181113/src/cmly_api.cmti menhir-20181113/src/cmly_format.cmti menhir-20181113/src/cmly_read.cmti menhir-20181113/src/cmly_write.cmti menhir-20181113/src/back.cmti menhir-20181113/src/menhir.cmti menhir-20181113/src/General.cmti menhir-20181113/src/IncrementalEngine.cmti menhir-20181113/src/InfiniteArray.cmti menhir-20181113/src/PackedIntArray.cmti menhir-20181113/src/LinearizedArray.cmti menhir-20181113/src/RowDisplacement.cmti menhir-20181113/src/EngineTypes.cmti menhir-20181113/src/Engine.cmti menhir-20181113/src/TableFormat.cmti menhir-20181113/src/TableInterpreter.cmti menhir-20181113/src/Convert.cmti \
- 	 \
- 	 \
- 	menhir-20181113/src/stretch.cmi menhir-20181113/src/IL.cmi menhir-20181113/src/lookahead.cmi \
- 	menhir-20181113/src/stretch.cmti menhir-20181113/src/IL.cmti menhir-20181113/src/lookahead.cmti
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/menhirLib'
- /usr/bin/make -C bundles/pcre clean
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/pcre'
- rm -f .depend pcre.cma pcre.cmxa \
- 	pcre.cmi libpcre_stubs.a  \
- 	 \
- 	pcre.cmx pcre.a  \
- 	 \
- 	  \
- 	dllpcre_stubs.so \
- 	pcre-ocaml/src/dllpcre_stubs.so \
- 	pcre-ocaml/src/pcre.a \
- 	pcre-ocaml/src/libpcre_stubs.a \
- 	pcre-ocaml/src/pcre.o \
- 	pcre-ocaml/src/pcre.cmi \
- 	pcre-ocaml/src/pcre.cmx \
- 	pcre-ocaml/src/pcre.cmo \
- 	pcre-ocaml/src/pcre.cmt \
- 	pcre-ocaml/src/pcre.cmti \
- 	pcre-ocaml/src/pcre.cma \
- 	pcre-ocaml/src/pcre.cmxa \
- 	 \
- 	
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/pcre'
- /usr/bin/make -C bundles/parmap clean
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/parmap'
- rm -f .depend parmap.cma parmap.cmxa \
- 	bytearray.cmi parmap_utils.cmi setcore.cmi parmap.cmi libparmap_stubs.a  \
- 	 \
- 	bytearray.cmx parmap_utils.cmx setcore.cmx parmap.cmx parmap.a  \
- 	 \
- 	  \
- 	dllparmap_stubs.so \
- 	parmap/dllparmap_stubs.so \
- 	parmap/parmap.a \
- 	parmap/libparmap_stubs.a \
- 	parmap/bytearray.o parmap/parmap_utils.o parmap/setcore.o parmap/parmap.o \
- 	parmap/bytearray.cmi parmap/parmap_utils.cmi parmap/setcore.cmi parmap/parmap.cmi \
- 	parmap/bytearray.cmx parmap/parmap_utils.cmx parmap/setcore.cmx parmap/parmap.cmx \
- 	parmap/bytearray.cmo parmap/parmap_utils.cmo parmap/setcore.cmo parmap/parmap.cmo \
- 	parmap/bytearray.cmt parmap/parmap_utils.cmt parmap/setcore.cmt parmap/parmap.cmt \
- 	parmap/bytearray.cmti parmap/parmap_utils.cmti parmap/setcore.cmti parmap/parmap.cmti \
- 	parmap/parmap.cma \
- 	parmap/parmap.cmxa \
- 	 \
- 	
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/parmap'
- /usr/bin/make -C bundles/pyml clean
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/pyml'
- rm -f .depend pyml.cma pyml.cmxa \
- 	pywrappers.cmi py.cmi pycaml.cmi libpyml_stubs.a  \
- 	 \
- 	pywrappers.cmx py.cmx pycaml.cmx pyml.a pyml-current/generate pyml-current/generate.cmi pyml-current/generate.cmx pyml-current/generate.cmo pyml-current/generate.cmt pyml-current/generate.cmti pyml-current/generate.o pyml-current/pyml.a pyml-current/pyml.cma pyml-current/pyml.cmxa pyml-current/dllpyml_stubs.so \
- 	 \
- 	 pyml-current/pyml_arch.ml \
- 	dllpyml_stubs.so \
- 	pyml-current/dllpyml_stubs.so \
- 	pyml-current/pyml.a \
- 	pyml-current/libpyml_stubs.a \
- 	pyml-current/pyml_arch.o pyml-current/pyutils.o pyml-current/pytypes.o pyml-current/pywrappers.o pyml-current/py.o pyml-current/pycaml.o \
- 	pyml-current/pyml_arch.cmi pyml-current/pyutils.cmi pyml-current/pytypes.cmi pyml-current/pywrappers.cmi pyml-current/py.cmi pyml-current/pycaml.cmi \
- 	pyml-current/pyml_arch.cmx pyml-current/pyutils.cmx pyml-current/pytypes.cmx pyml-current/pywrappers.cmx pyml-current/py.cmx pyml-current/pycaml.cmx \
- 	pyml-current/pyml_arch.cmo pyml-current/pyutils.cmo pyml-current/pytypes.cmo pyml-current/pywrappers.cmo pyml-current/py.cmo pyml-current/pycaml.cmo \
- 	pyml-current/pyml_arch.cmt pyml-current/pyutils.cmt pyml-current/pytypes.cmt pyml-current/pywrappers.cmt pyml-current/py.cmt pyml-current/pycaml.cmt \
- 	pyml-current/pyml_arch.cmti pyml-current/pyutils.cmti pyml-current/pytypes.cmti pyml-current/pywrappers.cmti pyml-current/py.cmti pyml-current/pycaml.cmti \
- 	pyml-current/pyml.cma \
- 	pyml-current/pyml.cmxa \
- 	 \
- 	
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1/bundles/pyml'
- CLEAN     commons
- CLEAN     globals
- CLEAN     parsing_cocci
- CLEAN     parsing_c
- CLEAN     ctl
- CLEAN     ocaml
- CLEAN     python
- CLEAN     engine
- CLEAN     popl09
- CLEAN     extra
- CLEAN     spatch
- CLEAN     spgen
- CLEAN     exposed-module
- rm -f coccinelle.cma coccinelle.cmxa coccinelle.a \
- 	coccinelle.cmo coccinelle.cmx coccinelle.o \
- 	coccinelle_modules.cmi coccinelle_modules.cmo \
- 	coccinelle_modules.o coccinelle_modules.cmx
- CLEAN     .depend
[coccinelle: make all.opt]
+ /usr/bin/make "all.opt" (CWD=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1)
- /home/opam/.opam/default/bin/menhir --ocamldep "/home/opam/.opam/default/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /home/opam/.opam/default/lib/pcre -I /home/opam/.opam/default/lib/pyml -I /home/opam/.opam/default/lib/parmap -I /home/opam/.opam/default/lib/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false)
- OCAMLYACC parsing_c/parser_c.mly
- OCAMLDEP  parsing_c/parser_c.mli
- OCAMLDEP  tools/spgen/source/spgen_lexer.mli
- OCAMLDEP  parsing_c/lexer_c.mli
- OCAMLDEP  parsing_cocci/lexer_script.mli
- OCAMLDEP  parsing_cocci/lexer_cli.mli
- OCAMLDEP  parsing_cocci/lexer_cocci.mli
- OCAMLDEP  tools/spgen/source/main.mli
- OCAMLDEP  tools/spgen/source/spgen_test.mli
- OCAMLDEP  tools/spgen/source/spgen.mli
- OCAMLDEP  tools/spgen/source/spgen_config.mli
- OCAMLDEP  tools/spgen/source/spgen_interactive.mli
- OCAMLDEP  tools/spgen/source/file_transform.mli
- OCAMLDEP  tools/spgen/source/script_rule.mli
- OCAMLDEP  tools/spgen/source/context_rule.mli
- OCAMLDEP  tools/spgen/source/rule_header.mli
- OCAMLDEP  tools/spgen/source/rule_body.mli
- OCAMLDEP  tools/spgen/source/disj_generator.mli
- OCAMLDEP  tools/spgen/source/position_generator.mli
- OCAMLDEP  tools/spgen/source/user_input.mli
- OCAMLDEP  tools/spgen/source/snapshot.mli
- OCAMLDEP  tools/spgen/source/meta_variable.mli
- OCAMLDEP  tools/spgen/source/detect_patch.mli
- OCAMLDEP  tools/spgen/source/ast_tostring.mli
- OCAMLDEP  tools/spgen/source/globals.mli
- OCAMLDEP  main.mli
- OCAMLDEP  enter.mli
- OCAMLDEP  read_options.mli
- OCAMLDEP  testing.mli
- OCAMLDEP  cocci.mli
- OCAMLDEP  flag_cocci.mli
- OCAMLDEP  extra/maintainers.mli
- OCAMLDEP  extra/kbuild.mli
- OCAMLDEP  extra/classic_patch.mli
- OCAMLDEP  popl09/popl.mli
- OCAMLDEP  popl09/popltoctl.mli
- OCAMLDEP  popl09/flag_popl.mli
- OCAMLDEP  popl09/pretty_print_popl.mli
- OCAMLDEP  popl09/insert_quantifiers.mli
- OCAMLDEP  popl09/asttopopl.mli
- OCAMLDEP  popl09/ast_popl.mli
- OCAMLDEP  engine/ctlcocci_integration.mli
- OCAMLDEP  engine/postprocess_transinfo.mli
- OCAMLDEP  engine/ctltotex.mli
- OCAMLDEP  engine/asttoctl2.mli
- OCAMLDEP  engine/asttomember.mli
- OCAMLDEP  engine/transformation_c.mli
- OCAMLDEP  engine/pattern_c.mli
- OCAMLDEP  engine/cocci_vs_c.mli
- OCAMLDEP  engine/isomorphisms_c_c.mli
- OCAMLDEP  engine/c_vs_c.mli
- OCAMLDEP  engine/check_reachability.mli
- OCAMLDEP  engine/check_exhaustive_pattern.mli
- OCAMLDEP  engine/pretty_print_engine.mli
- OCAMLDEP  engine/lib_engine.mli
- OCAMLDEP  engine/flag_matcher.mli
- OCAMLDEP  python/pycocci.mli
- OCAMLDEP  python/yes_pycocci.mli
- OCAMLDEP  python/pycocci_aux.mli
- OCAMLDEP  ocaml/run_ocamlcocci.mli
- OCAMLDEP  ocaml/prepare_ocamlcocci.mli
- OCAMLDEP  ocaml/yes_prepare_ocamlcocci.mli
- OCAMLDEP  ocaml/ocamlcocci_aux.mli
- OCAMLDEP  ocaml/coccilib.mli
- OCAMLDEP  ocaml/exposed_modules.mli
- OCAMLDEP  ocaml/externalanalysis.mli
- OCAMLDEP  ctl/wrapper_ctl.mli
- OCAMLDEP  ctl/ctl_engine.mli
- OCAMLDEP  ctl/pretty_print_ctl.mli
- OCAMLDEP  ctl/ast_ctl.mli
- OCAMLDEP  ctl/flag_ctl.mli
- OCAMLDEP  parsing_c/test_parsing_c.mli
- OCAMLDEP  parsing_c/compare_c.mli
- OCAMLDEP  parsing_c/comment_annotater_c.mli
- OCAMLDEP  parsing_c/type_annoter_c.mli
- OCAMLDEP  parsing_c/cpp_ast_c.mli
- OCAMLDEP  parsing_c/type_c.mli
- OCAMLDEP  parsing_c/unparse_hrule.mli
- OCAMLDEP  parsing_c/unparse_c.mli
- OCAMLDEP  parsing_c/parse_c.mli
- OCAMLDEP  parsing_c/danger.mli
- OCAMLDEP  parsing_c/parsing_consistency_c.mli
- OCAMLDEP  parsing_c/parsing_recovery_c.mli
- OCAMLDEP  parsing_c/unparse_cocci.mli
- OCAMLDEP  parsing_c/cpp_analysis_c.mli
- OCAMLDEP  parsing_c/parsing_hacks.mli
- OCAMLDEP  parsing_c/cpp_token_c.mli
- OCAMLDEP  parsing_c/token_views_c.mli
- OCAMLDEP  parsing_c/token_helpers.mli
- OCAMLDEP  parsing_c/parse_string_c.mli
- OCAMLDEP  parsing_c/lexer_parser.mli
- OCAMLDEP  parsing_c/semantic_c.mli
- OCAMLDEP  parsing_c/pretty_print_c.mli
- OCAMLDEP  parsing_c/control_flow_c_build.mli
- OCAMLDEP  parsing_c/includes_cache.mli
- OCAMLDEP  parsing_c/lib_parsing_c.mli
- OCAMLDEP  parsing_c/visitor_c.mli
- OCAMLDEP  parsing_c/control_flow_c.mli
- OCAMLDEP  parsing_c/includes.mli
- OCAMLDEP  parsing_c/ast_c.mli
- OCAMLDEP  parsing_c/token_c.mli
- OCAMLDEP  parsing_c/parsing_stat.mli
- OCAMLDEP  parsing_c/flag_parsing_c.mli
- OCAMLDEP  parsing_c/token_annot.mli
- OCAMLDEP  parsing_cocci/cocci_args.mli
- OCAMLDEP  parsing_cocci/command_line.mli
- OCAMLDEP  parsing_cocci/parse_cocci.mli
- OCAMLDEP  parsing_cocci/re_constraints.mli
- OCAMLDEP  parsing_cocci/commas_on_lists.mli
- OCAMLDEP  parsing_cocci/adjacency.mli
- OCAMLDEP  parsing_cocci/git_grep.mli
- OCAMLDEP  parsing_cocci/id_utils.mli
- OCAMLDEP  parsing_cocci/get_constants2.mli
- OCAMLDEP  parsing_cocci/dpll.mli
- OCAMLDEP  parsing_cocci/cocci_grep.mli
- OCAMLDEP  parsing_cocci/disjdistr.mli
- OCAMLDEP  parsing_cocci/cleanup_rules.mli
- OCAMLDEP  parsing_cocci/parse_aux.mli
- OCAMLDEP  parsing_cocci/parse_printf.mli
- OCAMLDEP  parsing_cocci/safe_for_multi_decls.mli
- OCAMLDEP  parsing_cocci/free_vars.mli
- OCAMLDEP  parsing_cocci/data.mli
- OCAMLDEP  parsing_cocci/semantic_cocci.mli
- OCAMLDEP  parsing_cocci/function_prototypes.mli
- OCAMLDEP  parsing_cocci/insert_plus.mli
- OCAMLDEP  parsing_cocci/adjust_pragmas.mli
- OCAMLDEP  parsing_cocci/context_neg.mli
- OCAMLDEP  parsing_cocci/index.mli
- OCAMLDEP  parsing_cocci/arity.mli
- OCAMLDEP  parsing_cocci/unitary_ast0.mli
- OCAMLDEP  parsing_cocci/test_exps.mli
- OCAMLDEP  parsing_cocci/type_infer.mli
- OCAMLDEP  parsing_cocci/top_level.mli
- OCAMLDEP  parsing_cocci/check_meta.mli
- OCAMLDEP  parsing_cocci/stmtlist.mli
- OCAMLDEP  parsing_cocci/get_metas.mli
- OCAMLDEP  parsing_cocci/simple_assignments.mli
- OCAMLDEP  parsing_cocci/single_statement.mli
- OCAMLDEP  parsing_cocci/iso_compile.mli
- OCAMLDEP  parsing_cocci/comm_assoc.mli
- OCAMLDEP  parsing_cocci/iso_pattern.mli
- OCAMLDEP  parsing_cocci/compute_lines.mli
- OCAMLDEP  parsing_cocci/unify_ast.mli
- OCAMLDEP  parsing_cocci/unparse_ast0.mli
- OCAMLDEP  parsing_cocci/ast0toast.mli
- OCAMLDEP  parsing_cocci/visitor_ast0.mli
- OCAMLDEP  parsing_cocci/visitor_ast.mli
- OCAMLDEP  parsing_cocci/visitor_ast0_types.mli
- OCAMLDEP  parsing_cocci/pretty_print_cocci.mli
- OCAMLDEP  parsing_cocci/ast0_cocci.mli
- OCAMLDEP  parsing_cocci/ast_cocci.mli
- OCAMLDEP  parsing_cocci/flag_parsing_cocci.mli
- OCAMLDEP  globals/regexp.mli
- OCAMLDEP  globals/regexp_pcre.mli
- OCAMLDEP  globals/iteration.mli
- OCAMLDEP  globals/flag.mli
- OCAMLDEP  globals/config.mli
- OCAMLDEP  commons/ograph_extended.mli
- OCAMLDEP  commons/ograph_simple.mli
- OCAMLDEP  commons/common.mli
- OCAMLDEP  commons/commands.mli
- OCAMLDEP  commons/ocamlextra/dumper.mli
- OCAMLDEP  parsing_c/parser_c.ml
- OCAMLLEX  tools/spgen/source/spgen_lexer.mll
- 143 states, 8123 transitions, table size 33350 bytes
- 23641 additional bytes used for bindings
- OCAMLDEP  tools/spgen/source/spgen_lexer.ml
- OCAMLLEX  parsing_c/lexer_c.mll
- 564 states, 26650 transitions, table size 109984 bytes
- 17879 additional bytes used for bindings
- OCAMLDEP  parsing_c/lexer_c.ml
- OCAMLLEX  parsing_cocci/lexer_script.mll
- 25 states, 314 transitions, table size 1406 bytes
- OCAMLDEP  parsing_cocci/lexer_script.ml
- OCAMLLEX  parsing_cocci/lexer_cli.mll
- 14 states, 681 transitions, table size 2808 bytes
- OCAMLDEP  parsing_cocci/lexer_cli.ml
- OCAMLLEX  parsing_cocci/lexer_cocci.mll
- ocamllex warning:
- File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string.
- 400 states, 6934 transitions, table size 30136 bytes
- 4105 additional bytes used for bindings
- OCAMLDEP  parsing_cocci/lexer_cocci.ml
- OCAMLDEP  tools/spgen/source/main.ml
- OCAMLDEP  tools/spgen/source/spgen_test.ml
- OCAMLDEP  tools/spgen/source/spgen.ml
- OCAMLDEP  tools/spgen/source/spgen_config.ml
- OCAMLDEP  tools/spgen/source/spgen_interactive.ml
- OCAMLDEP  tools/spgen/source/file_transform.ml
- OCAMLDEP  tools/spgen/source/script_rule.ml
- OCAMLDEP  tools/spgen/source/context_rule.ml
- OCAMLDEP  tools/spgen/source/rule_header.ml
- OCAMLDEP  tools/spgen/source/rule_body.ml
- OCAMLDEP  tools/spgen/source/disj_generator.ml
- OCAMLDEP  tools/spgen/source/position_generator.ml
- OCAMLDEP  tools/spgen/source/user_input.ml
- OCAMLDEP  tools/spgen/source/snapshot.ml
- OCAMLDEP  tools/spgen/source/meta_variable.ml
- OCAMLDEP  tools/spgen/source/detect_patch.ml
- OCAMLDEP  tools/spgen/source/ast_tostring.ml
- OCAMLDEP  tools/spgen/source/globals.ml
- OCAMLDEP  main.ml
- OCAMLDEP  enter.ml
- OCAMLDEP  read_options.ml
- OCAMLDEP  testing.ml
- OCAMLDEP  cocci.ml
- OCAMLDEP  flag_cocci.ml
- OCAMLDEP  extra/maintainers.ml
- OCAMLDEP  extra/kbuild.ml
- OCAMLDEP  extra/classic_patch.ml
- OCAMLDEP  popl09/popl.ml
- OCAMLDEP  popl09/popltoctl.ml
- OCAMLDEP  popl09/flag_popl.ml
- OCAMLDEP  popl09/pretty_print_popl.ml
- OCAMLDEP  popl09/insert_quantifiers.ml
- OCAMLDEP  popl09/asttopopl.ml
- OCAMLDEP  popl09/ast_popl.ml
- OCAMLDEP  engine/ctlcocci_integration.ml
- OCAMLDEP  engine/postprocess_transinfo.ml
- OCAMLDEP  engine/ctltotex.ml
- OCAMLDEP  engine/asttoctl2.ml
- OCAMLDEP  engine/asttomember.ml
- OCAMLDEP  engine/transformation_c.ml
- OCAMLDEP  engine/pattern_c.ml
- OCAMLDEP  engine/cocci_vs_c.ml
- OCAMLDEP  engine/isomorphisms_c_c.ml
- OCAMLDEP  engine/c_vs_c.ml
- OCAMLDEP  engine/check_reachability.ml
- OCAMLDEP  engine/check_exhaustive_pattern.ml
- OCAMLDEP  engine/pretty_print_engine.ml
- OCAMLDEP  engine/lib_engine.ml
- OCAMLDEP  engine/flag_matcher.ml
- OCAMLDEP  python/pycocci.ml
- OCAMLDEP  python/yes_pycocci.ml
- OCAMLDEP  python/pycocci_aux.ml
- OCAMLDEP  ocaml/run_ocamlcocci.ml
- OCAMLDEP  ocaml/prepare_ocamlcocci.ml
- OCAMLDEP  ocaml/yes_prepare_ocamlcocci.ml
- OCAMLDEP  ocaml/ocamlcocci_aux.ml
- OCAMLDEP  ocaml/coccilib.ml
- OCAMLDEP  ocaml/exposed_modules.ml
- OCAMLDEP  ocaml/externalanalysis.ml
- OCAMLDEP  ctl/wrapper_ctl.ml
- OCAMLDEP  ctl/ctl_engine.ml
- OCAMLDEP  ctl/pretty_print_ctl.ml
- OCAMLDEP  ctl/ast_ctl.ml
- OCAMLDEP  ctl/flag_ctl.ml
- OCAMLDEP  parsing_c/test_parsing_c.ml
- OCAMLDEP  parsing_c/compare_c.ml
- OCAMLDEP  parsing_c/comment_annotater_c.ml
- OCAMLDEP  parsing_c/type_annoter_c.ml
- OCAMLDEP  parsing_c/cpp_ast_c.ml
- OCAMLDEP  parsing_c/type_c.ml
- OCAMLDEP  parsing_c/unparse_hrule.ml
- OCAMLDEP  parsing_c/unparse_c.ml
- OCAMLDEP  parsing_c/parse_c.ml
- OCAMLDEP  parsing_c/danger.ml
- OCAMLDEP  parsing_c/parsing_consistency_c.ml
- OCAMLDEP  parsing_c/parsing_recovery_c.ml
- OCAMLDEP  parsing_c/unparse_cocci.ml
- OCAMLDEP  parsing_c/cpp_analysis_c.ml
- OCAMLDEP  parsing_c/parsing_hacks.ml
- OCAMLDEP  parsing_c/cpp_token_c.ml
- OCAMLDEP  parsing_c/token_views_c.ml
- OCAMLDEP  parsing_c/token_helpers.ml
- OCAMLDEP  parsing_c/parse_string_c.ml
- OCAMLDEP  parsing_c/lexer_parser.ml
- OCAMLDEP  parsing_c/semantic_c.ml
- OCAMLDEP  parsing_c/pretty_print_c.ml
- OCAMLDEP  parsing_c/control_flow_c_build.ml
- OCAMLDEP  parsing_c/includes_cache.ml
- OCAMLDEP  parsing_c/lib_parsing_c.ml
- OCAMLDEP  parsing_c/visitor_c.ml
- OCAMLDEP  parsing_c/control_flow_c.ml
- OCAMLDEP  parsing_c/includes.ml
- OCAMLDEP  parsing_c/ast_c.ml
- OCAMLDEP  parsing_c/token_c.ml
- OCAMLDEP  parsing_c/parsing_stat.ml
- OCAMLDEP  parsing_c/flag_parsing_c.ml
- OCAMLDEP  parsing_c/token_annot.ml
- OCAMLDEP  parsing_cocci/cocci_args.ml
- OCAMLDEP  parsing_cocci/command_line.ml
- OCAMLDEP  parsing_cocci/parse_cocci.ml
- OCAMLDEP  parsing_cocci/re_constraints.ml
- OCAMLDEP  parsing_cocci/commas_on_lists.ml
- OCAMLDEP  parsing_cocci/adjacency.ml
- OCAMLDEP  parsing_cocci/git_grep.ml
- OCAMLDEP  parsing_cocci/id_utils.ml
- OCAMLDEP  parsing_cocci/get_constants2.ml
- OCAMLDEP  parsing_cocci/dpll.ml
- OCAMLDEP  parsing_cocci/cocci_grep.ml
- OCAMLDEP  parsing_cocci/disjdistr.ml
- OCAMLDEP  parsing_cocci/cleanup_rules.ml
- OCAMLDEP  parsing_cocci/parse_aux.ml
- OCAMLDEP  parsing_cocci/parse_printf.ml
- OCAMLDEP  parsing_cocci/safe_for_multi_decls.ml
- OCAMLDEP  parsing_cocci/free_vars.ml
- OCAMLDEP  parsing_cocci/data.ml
- OCAMLDEP  parsing_cocci/semantic_cocci.ml
- OCAMLDEP  parsing_cocci/function_prototypes.ml
- OCAMLDEP  parsing_cocci/insert_plus.ml
- OCAMLDEP  parsing_cocci/adjust_pragmas.ml
- OCAMLDEP  parsing_cocci/context_neg.ml
- OCAMLDEP  parsing_cocci/index.ml
- OCAMLDEP  parsing_cocci/arity.ml
- OCAMLDEP  parsing_cocci/unitary_ast0.ml
- OCAMLDEP  parsing_cocci/test_exps.ml
- OCAMLDEP  parsing_cocci/type_infer.ml
- OCAMLDEP  parsing_cocci/top_level.ml
- OCAMLDEP  parsing_cocci/check_meta.ml
- OCAMLDEP  parsing_cocci/stmtlist.ml
- OCAMLDEP  parsing_cocci/get_metas.ml
- OCAMLDEP  parsing_cocci/simple_assignments.ml
- OCAMLDEP  parsing_cocci/single_statement.ml
- OCAMLDEP  parsing_cocci/iso_compile.ml
- OCAMLDEP  parsing_cocci/comm_assoc.ml
- OCAMLDEP  parsing_cocci/iso_pattern.ml
- OCAMLDEP  parsing_cocci/compute_lines.ml
- OCAMLDEP  parsing_cocci/unify_ast.ml
- OCAMLDEP  parsing_cocci/unparse_ast0.ml
- OCAMLDEP  parsing_cocci/ast0toast.ml
- OCAMLDEP  parsing_cocci/visitor_ast0.ml
- OCAMLDEP  parsing_cocci/visitor_ast.ml
- OCAMLDEP  parsing_cocci/visitor_ast0_types.ml
- OCAMLDEP  parsing_cocci/pretty_print_cocci.ml
- OCAMLDEP  parsing_cocci/ast0_cocci.ml
- OCAMLDEP  parsing_cocci/ast_cocci.ml
- OCAMLDEP  parsing_cocci/flag_parsing_cocci.ml
- OCAMLDEP  globals/regexp.ml
- OCAMLDEP  globals/regexp_pcre.ml
- OCAMLDEP  globals/iteration.ml
- OCAMLDEP  globals/flag.ml
- OCAMLDEP  globals/config.ml
- OCAMLDEP  commons/ograph_extended.ml
- OCAMLDEP  commons/ograph_simple.ml
- OCAMLDEP  commons/common.ml
- OCAMLDEP  commons/commands.ml
- OCAMLDEP  commons/ocamlextra/dumper.ml
- OCAMLC    commons/ocamlextra/dumper.mli
- OCAMLOPT  commons/ocamlextra/dumper.ml
- OCAMLC    commons/commands.mli
- OCAMLOPT  commons/commands.ml
- OCAMLC    commons/common.mli
- OCAMLOPT  commons/common.ml
- File "commons/common.ml", line 5305, characters 4-14:
- 5305 |     write_file file1 (unwords xs);
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5306, characters 4-14:
- 5306 |     write_file file2 (unwords ys);
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5333, characters 4-14:
- 5333 |     write_file "/tmp/diff1" xstr;
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5334, characters 4-14:
- 5334 |     write_file "/tmp/diff2" ystr;
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- OCAMLC    commons/ograph_simple.mli
- OCAMLOPT  commons/ograph_simple.ml
- OCAMLC    commons/ograph_extended.mli
- OCAMLOPT  commons/ograph_extended.ml
- OCAMLOPT  -o commons/commons.cmxa
- OCAMLC    globals/config.mli
- OCAMLOPT  globals/config.ml
- OCAMLC    globals/flag.mli
- OCAMLOPT  globals/flag.ml
- OCAMLC    globals/iteration.mli
- OCAMLOPT  globals/iteration.ml
- OCAMLC    globals/regexp_pcre.mli
- OCAMLOPT  globals/regexp_pcre.ml
- OCAMLC    globals/regexp.mli
- OCAMLOPT  globals/regexp.ml
- OCAMLOPT  -o globals/globals.cmxa
- OCAMLC    parsing_cocci/flag_parsing_cocci.mli
- OCAMLOPT  parsing_cocci/flag_parsing_cocci.ml
- OCAMLC    parsing_cocci/ast_cocci.mli
- OCAMLOPT  parsing_cocci/ast_cocci.ml
- OCAMLC    parsing_cocci/ast0_cocci.mli
- OCAMLOPT  parsing_cocci/ast0_cocci.ml
- OCAMLC    parsing_cocci/pretty_print_cocci.mli
- OCAMLOPT  parsing_cocci/pretty_print_cocci.ml
- OCAMLC    parsing_cocci/visitor_ast0_types.mli
- OCAMLOPT  parsing_cocci/visitor_ast0_types.ml
- OCAMLC    parsing_cocci/visitor_ast.mli
- OCAMLOPT  parsing_cocci/visitor_ast.ml
- OCAMLC    parsing_cocci/visitor_ast0.mli
- OCAMLOPT  parsing_cocci/visitor_ast0.ml
- OCAMLC    parsing_cocci/ast0toast.mli
- OCAMLOPT  parsing_cocci/ast0toast.ml
- OCAMLC    parsing_cocci/unparse_ast0.mli
- OCAMLOPT  parsing_cocci/unparse_ast0.ml
- OCAMLC    parsing_cocci/unify_ast.mli
- OCAMLOPT  parsing_cocci/unify_ast.ml
- OCAMLC    parsing_cocci/compute_lines.mli
- OCAMLOPT  parsing_cocci/compute_lines.ml
- OCAMLC    parsing_cocci/iso_pattern.mli
- OCAMLOPT  parsing_cocci/iso_pattern.ml
- OCAMLC    parsing_cocci/comm_assoc.mli
- OCAMLOPT  parsing_cocci/comm_assoc.ml
- OCAMLC    parsing_cocci/iso_compile.mli
- OCAMLOPT  parsing_cocci/iso_compile.ml
- OCAMLC    parsing_cocci/single_statement.mli
- OCAMLOPT  parsing_cocci/single_statement.ml
- OCAMLC    parsing_cocci/simple_assignments.mli
- OCAMLOPT  parsing_cocci/simple_assignments.ml
- OCAMLC    parsing_cocci/get_metas.mli
- OCAMLOPT  parsing_cocci/get_metas.ml
- OCAMLC    parsing_cocci/stmtlist.mli
- OCAMLOPT  parsing_cocci/stmtlist.ml
- OCAMLC    parsing_cocci/check_meta.mli
- OCAMLOPT  parsing_cocci/check_meta.ml
- OCAMLC    parsing_cocci/top_level.mli
- OCAMLOPT  parsing_cocci/top_level.ml
- OCAMLC    parsing_cocci/type_infer.mli
- OCAMLOPT  parsing_cocci/type_infer.ml
- OCAMLC    parsing_cocci/test_exps.mli
- OCAMLOPT  parsing_cocci/test_exps.ml
- OCAMLC    parsing_cocci/unitary_ast0.mli
- OCAMLOPT  parsing_cocci/unitary_ast0.ml
- OCAMLC    parsing_cocci/arity.mli
- OCAMLOPT  parsing_cocci/arity.ml
- OCAMLC    parsing_cocci/index.mli
- OCAMLOPT  parsing_cocci/index.ml
- OCAMLC    parsing_cocci/context_neg.mli
- OCAMLOPT  parsing_cocci/context_neg.ml
- OCAMLC    parsing_cocci/adjust_pragmas.mli
- OCAMLOPT  parsing_cocci/adjust_pragmas.ml
- OCAMLC    parsing_cocci/insert_plus.mli
- OCAMLOPT  parsing_cocci/insert_plus.ml
- OCAMLC    parsing_cocci/function_prototypes.mli
- OCAMLOPT  parsing_cocci/function_prototypes.ml
- OCAMLC    parsing_cocci/semantic_cocci.mli
- OCAMLOPT  parsing_cocci/semantic_cocci.ml
- OCAMLC    parsing_cocci/data.mli
- OCAMLOPT  parsing_cocci/data.ml
- OCAMLC    parsing_cocci/free_vars.mli
- OCAMLOPT  parsing_cocci/free_vars.ml
- OCAMLC    parsing_cocci/safe_for_multi_decls.mli
- OCAMLOPT  parsing_cocci/safe_for_multi_decls.ml
- OCAMLC    parsing_cocci/parse_printf.mli
- OCAMLOPT  parsing_cocci/parse_printf.ml
- OCAMLC    parsing_cocci/parse_aux.mli
- OCAMLOPT  parsing_cocci/parse_aux.ml
- OCAMLC    parsing_cocci/cleanup_rules.mli
- OCAMLOPT  parsing_cocci/cleanup_rules.ml
- OCAMLC    parsing_cocci/disjdistr.mli
- OCAMLOPT  parsing_cocci/disjdistr.ml
- MENHIR    parsing_cocci/parser_cocci_menhir.mly
- OCAMLDEP  parsing_cocci/parser_cocci_menhir.ml
- OCAMLDEP  parsing_cocci/parser_cocci_menhir.mli
- OCAMLC    parsing_cocci/parser_cocci_menhir.mli
- OCAMLOPT  parsing_cocci/parser_cocci_menhir.ml
- OCAMLC    parsing_cocci/lexer_cocci.mli
- OCAMLOPT  parsing_cocci/lexer_cocci.ml
- OCAMLC    parsing_cocci/lexer_cli.mli
- OCAMLOPT  parsing_cocci/lexer_cli.ml
- OCAMLC    parsing_cocci/lexer_script.mli
- OCAMLOPT  parsing_cocci/lexer_script.ml
- OCAMLC    parsing_cocci/cocci_grep.mli
- OCAMLOPT  parsing_cocci/cocci_grep.ml
- OCAMLC    parsing_cocci/dpll.mli
- OCAMLOPT  parsing_cocci/dpll.ml
- OCAMLC    parsing_cocci/get_constants2.mli
- OCAMLOPT  parsing_cocci/get_constants2.ml
- OCAMLC    parsing_cocci/id_utils.mli
- OCAMLOPT  parsing_cocci/id_utils.ml
- OCAMLC    parsing_cocci/git_grep.mli
- OCAMLOPT  parsing_cocci/git_grep.ml
- OCAMLC    parsing_cocci/adjacency.mli
- OCAMLOPT  parsing_cocci/adjacency.ml
- OCAMLC    parsing_cocci/commas_on_lists.mli
- OCAMLOPT  parsing_cocci/commas_on_lists.ml
- OCAMLC    parsing_cocci/re_constraints.mli
- OCAMLOPT  parsing_cocci/re_constraints.ml
- OCAMLC    parsing_cocci/parse_cocci.mli
- OCAMLOPT  parsing_cocci/parse_cocci.ml
- OCAMLC    parsing_cocci/command_line.mli
- OCAMLOPT  parsing_cocci/command_line.ml
- OCAMLC    parsing_cocci/cocci_args.mli
- OCAMLOPT  parsing_cocci/cocci_args.ml
- OCAMLOPT  -o parsing_cocci/parsing_cocci.cmxa
- OCAMLC    parsing_c/token_annot.mli
- OCAMLOPT  parsing_c/token_annot.ml
- OCAMLC    parsing_c/flag_parsing_c.mli
- OCAMLOPT  parsing_c/flag_parsing_c.ml
- OCAMLC    parsing_c/parsing_stat.mli
- OCAMLOPT  parsing_c/parsing_stat.ml
- OCAMLC    parsing_c/token_c.mli
- OCAMLOPT  parsing_c/token_c.ml
- OCAMLC    parsing_c/ast_c.mli
- OCAMLOPT  parsing_c/ast_c.ml
- OCAMLC    parsing_c/includes.mli
- OCAMLOPT  parsing_c/includes.ml
- OCAMLC    parsing_c/control_flow_c.mli
- OCAMLOPT  parsing_c/control_flow_c.ml
- OCAMLC    parsing_c/visitor_c.mli
- OCAMLOPT  parsing_c/visitor_c.ml
- OCAMLC    parsing_c/lib_parsing_c.mli
- OCAMLOPT  parsing_c/lib_parsing_c.ml
- OCAMLC    parsing_c/includes_cache.mli
- OCAMLOPT  parsing_c/includes_cache.ml
- OCAMLC    parsing_c/control_flow_c_build.mli
- OCAMLOPT  parsing_c/control_flow_c_build.ml
- OCAMLC    parsing_c/pretty_print_c.mli
- OCAMLOPT  parsing_c/pretty_print_c.ml
- File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13:
- 1626 |   (pp_elem_sp pr_elem pr_space).expression
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13:
- 1629 |   (pp_elem_sp pr_elem pr_space).assignOp
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13:
- 1632 |   (pp_elem_sp pr_elem pr_space).binaryOp
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13:
- 1635 |   (pp_elem_sp pr_elem pr_space).arg_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13:
- 1638 |   (pp_elem_sp pr_elem pr_space).arg
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13:
- 1641 |   (pp_elem_sp pr_elem pr_space).statement
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13:
- 1644 |   (pp_elem_sp pr_elem pr_space).statement_seq_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13:
- 1647 |   (pp_elem_sp pr_elem pr_space).decl
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13:
- 1650 |   (pp_elem_sp pr_elem pr_space).field
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13:
- 1653 |   (pp_elem_sp pr_elem pr_space).field_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13:
- 1656 |   (pp_elem_sp pr_elem pr_space).init
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13:
- 1659 |   (pp_elem_sp pr_elem pr_space).init_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13:
- 1662 |   (pp_elem_sp pr_elem pr_space).param
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13:
- 1665 |   (pp_elem_sp pr_elem pr_space).paramlist
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13:
- 1668 |   (pp_elem_sp pr_elem pr_space).dparamlist
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13:
- 1671 |   (pp_elem_sp pr_elem pr_space).ty
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13:
- 1674 |   (pp_elem_sp pr_elem pr_space).type_with_ident
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13:
- 1677 |   (pp_elem_sp pr_elem pr_space).fragment_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13:
- 1680 |   (pp_elem_sp pr_elem pr_space).format
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13:
- 1683 |   (pp_elem_sp pr_elem pr_space).attribute
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13:
- 1686 |   (pp_elem_sp pr_elem pr_space).attr_arg
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13:
- 1689 |   (pp_elem_sp pr_elem pr_space).toplevel
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- OCAMLC    parsing_c/semantic_c.mli
- OCAMLOPT  parsing_c/semantic_c.ml
- OCAMLC    parsing_c/lexer_parser.mli
- OCAMLOPT  parsing_c/lexer_parser.ml
- OCAMLC    parsing_c/parser_c.mli
- OCAMLOPT  parsing_c/parser_c.ml
- OCAMLC    parsing_c/lexer_c.mli
- OCAMLOPT  parsing_c/lexer_c.ml
- OCAMLC    parsing_c/parse_string_c.mli
- OCAMLOPT  parsing_c/parse_string_c.ml
- OCAMLC    parsing_c/token_helpers.mli
- OCAMLOPT  parsing_c/token_helpers.ml
- OCAMLC    parsing_c/token_views_c.mli
- OCAMLOPT  parsing_c/token_views_c.ml
- OCAMLC    parsing_c/cpp_token_c.mli
- OCAMLOPT  parsing_c/cpp_token_c.ml
- OCAMLC    parsing_c/parsing_hacks.mli
- OCAMLOPT  parsing_c/parsing_hacks.ml
- OCAMLC    parsing_c/cpp_analysis_c.mli
- OCAMLOPT  parsing_c/cpp_analysis_c.ml
- OCAMLC    parsing_c/unparse_cocci.mli
- OCAMLOPT  parsing_c/unparse_cocci.ml
- File "parsing_c/unparse_cocci.ml", line 91, characters 2-35:
- 91 |   Pretty_print_c.mk_pretty_printers pr_celem pr_cspace
-        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function.
- File "parsing_c/unparse_cocci.ml", line 70, characters 4-22:
- 70 | let print_option_space fn = function
-          ^^^^^^^^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable print_option_space.
- OCAMLC    parsing_c/parsing_recovery_c.mli
- OCAMLOPT  parsing_c/parsing_recovery_c.ml
- OCAMLC    parsing_c/parsing_consistency_c.mli
- OCAMLOPT  parsing_c/parsing_consistency_c.ml
- OCAMLC    parsing_c/danger.mli
- OCAMLOPT  parsing_c/danger.ml
- OCAMLC    parsing_c/parse_c.mli
- OCAMLOPT  parsing_c/parse_c.ml
- File "parsing_c/parse_c.ml", line 680, characters 1-37:
- 680 | 	Parsing_recovery_c.find_next_synchro tr.rest tr.passed in
-       	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function.
- File "parsing_c/parse_c.ml", line 1429, characters 2-19:
- 1429 |   Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}");
-          ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "parsing_c/parse_c.ml", line 1440, characters 2-19:
- 1440 |   Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}");
-          ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- OCAMLC    parsing_c/unparse_c.mli
- OCAMLOPT  parsing_c/unparse_c.ml
- File "parsing_c/unparse_c.ml", line 275, characters 2-31:
- 275 |   Pretty_print_c.pp_program_gen pr_get_elem pr_space celem;
-         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- OCAMLC    parsing_c/unparse_hrule.mli
- OCAMLOPT  parsing_c/unparse_hrule.ml
- File "parsing_c/unparse_hrule.ml", line 202, characters 6-33:
- 202 |       Pretty_print_c.pp_param_gen
-             ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/unparse_hrule.ml", line 340, characters 5-31:
- 340 | 	    Pretty_print_c.pp_type_gen
-       	    ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- OCAMLC    parsing_c/type_c.mli
- OCAMLOPT  parsing_c/type_c.ml
- OCAMLC    parsing_c/cpp_ast_c.mli
- OCAMLOPT  parsing_c/cpp_ast_c.ml
- OCAMLC    parsing_c/type_annoter_c.mli
- OCAMLOPT  parsing_c/type_annoter_c.ml
- OCAMLC    parsing_c/comment_annotater_c.mli
- OCAMLOPT  parsing_c/comment_annotater_c.ml
- OCAMLC    parsing_c/compare_c.mli
- OCAMLOPT  parsing_c/compare_c.ml
- OCAMLC    parsing_c/test_parsing_c.mli
- OCAMLOPT  parsing_c/test_parsing_c.ml
- OCAMLOPT  -o parsing_c/parsing_c.cmxa
- OCAMLC    ctl/flag_ctl.mli
- OCAMLOPT  ctl/flag_ctl.ml
- OCAMLC    ctl/ast_ctl.mli
- OCAMLOPT  ctl/ast_ctl.ml
- OCAMLC    ctl/pretty_print_ctl.mli
- OCAMLOPT  ctl/pretty_print_ctl.ml
- OCAMLC    ctl/ctl_engine.mli
- OCAMLOPT  ctl/ctl_engine.ml
- OCAMLC    ctl/wrapper_ctl.mli
- OCAMLOPT  ctl/wrapper_ctl.ml
- OCAMLOPT  -o ctl/ctl.cmxa
- OCAMLC    ocaml/externalanalysis.mli
- OCAMLOPT  ocaml/externalanalysis.ml
- OCAMLC    ocaml/exposed_modules.mli
- OCAMLOPT  ocaml/exposed_modules.ml
- OCAMLC    ocaml/coccilib.mli
- OCAMLOPT  ocaml/coccilib.ml
- File "ocaml/coccilib.ml", line 116, characters 2-19:
- 116 |   Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s);
-         ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "ocaml/coccilib.ml", line 134, characters 2-19:
- 134 |   Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s;\n}" env s);
-         ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- OCAMLC    ocaml/ocamlcocci_aux.mli
- OCAMLOPT  ocaml/ocamlcocci_aux.ml
- OCAMLC    ocaml/yes_prepare_ocamlcocci.mli
- OCAMLOPT  ocaml/yes_prepare_ocamlcocci.ml
- OCAMLC    ocaml/prepare_ocamlcocci.mli
- OCAMLOPT  ocaml/prepare_ocamlcocci.ml
- OCAMLC    ocaml/run_ocamlcocci.mli
- OCAMLOPT  ocaml/run_ocamlcocci.ml
- OCAMLOPT  -o ocaml/ocaml.cmxa
- OCAMLC    python/pycocci_aux.mli
- OCAMLOPT  python/pycocci_aux.ml
- OCAMLC    python/yes_pycocci.mli
- OCAMLOPT  python/yes_pycocci.ml
- OCAMLC    python/pycocci.mli
- OCAMLOPT  python/pycocci.ml
- OCAMLOPT  -o python/python.cmxa
- OCAMLC    engine/flag_matcher.mli
- OCAMLOPT  engine/flag_matcher.ml
- OCAMLC    engine/lib_engine.mli
- OCAMLOPT  engine/lib_engine.ml
- OCAMLC    engine/pretty_print_engine.mli
- OCAMLOPT  engine/pretty_print_engine.ml
- OCAMLC    engine/check_exhaustive_pattern.mli
- OCAMLOPT  engine/check_exhaustive_pattern.ml
- OCAMLC    engine/check_reachability.mli
- OCAMLOPT  engine/check_reachability.ml
- OCAMLC    engine/c_vs_c.mli
- OCAMLOPT  engine/c_vs_c.ml
- OCAMLC    engine/isomorphisms_c_c.mli
- OCAMLOPT  engine/isomorphisms_c_c.ml
- OCAMLC    engine/cocci_vs_c.mli
- OCAMLOPT  engine/cocci_vs_c.ml
- OCAMLC    engine/pattern_c.mli
- OCAMLOPT  engine/pattern_c.ml
- OCAMLC    engine/transformation_c.mli
- OCAMLOPT  engine/transformation_c.ml
- OCAMLC    engine/asttomember.mli
- OCAMLOPT  engine/asttomember.ml
- OCAMLC    engine/asttoctl2.mli
- OCAMLOPT  engine/asttoctl2.ml
- OCAMLC    engine/ctltotex.mli
- OCAMLOPT  engine/ctltotex.ml
- OCAMLC    engine/postprocess_transinfo.mli
- OCAMLOPT  engine/postprocess_transinfo.ml
- OCAMLC    engine/ctlcocci_integration.mli
- OCAMLOPT  engine/ctlcocci_integration.ml
- OCAMLOPT  -o engine/engine.cmxa
- OCAMLC    popl09/ast_popl.mli
- OCAMLOPT  popl09/ast_popl.ml
- OCAMLC    popl09/asttopopl.mli
- OCAMLOPT  popl09/asttopopl.ml
- OCAMLC    popl09/insert_quantifiers.mli
- OCAMLOPT  popl09/insert_quantifiers.ml
- OCAMLC    popl09/pretty_print_popl.mli
- OCAMLOPT  popl09/pretty_print_popl.ml
- OCAMLC    popl09/flag_popl.mli
- OCAMLOPT  popl09/flag_popl.ml
- OCAMLC    popl09/popltoctl.mli
- OCAMLOPT  popl09/popltoctl.ml
- OCAMLC    popl09/popl.mli
- OCAMLOPT  popl09/popl.ml
- OCAMLOPT  -o popl09/popl09.cmxa
- OCAMLC    extra/classic_patch.mli
- OCAMLOPT  extra/classic_patch.ml
- OCAMLC    extra/kbuild.mli
- OCAMLOPT  extra/kbuild.ml
- OCAMLC    extra/maintainers.mli
- OCAMLOPT  extra/maintainers.ml
- OCAMLOPT  -o extra/extra.cmxa
- OCAMLC    flag_cocci.mli
- OCAMLOPT  flag_cocci.ml
- OCAMLC    cocci.mli
- OCAMLOPT  cocci.ml
- OCAMLC    testing.mli
- OCAMLOPT  testing.ml
- OCAMLC    read_options.mli
- OCAMLOPT  read_options.ml
- OCAMLC    enter.mli
- OCAMLOPT  enter.ml
- File "enter.ml", line 844, characters 2-20:
- 844 |   Common.short_usage usage_msg short_options;
-         ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label short_opt was omitted in the application of this function.
- File "enter.ml", line 853, characters 2-19:
- 853 |   Common.long_usage usage_msg short_options other_options
-         ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function.
- OCAMLC    main.mli
- OCAMLOPT  main.ml
- OCAMLOPT  -o spatch.opt
- OCAMLC    tools/spgen/source/globals.mli
- OCAMLOPT  tools/spgen/source/globals.ml
- OCAMLC    tools/spgen/source/ast_tostring.mli
- OCAMLOPT  tools/spgen/source/ast_tostring.ml
- OCAMLC    tools/spgen/source/detect_patch.mli
- OCAMLOPT  tools/spgen/source/detect_patch.ml
- OCAMLC    tools/spgen/source/meta_variable.mli
- OCAMLOPT  tools/spgen/source/meta_variable.ml
- File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36:
- 568 |             let constr = constraints rn idconstr in
-                                ^^^^^^^^^^^
- Warning 6 [labels-omitted]: label rn was omitted in the application of this function.
- OCAMLC    tools/spgen/source/snapshot.mli
- OCAMLOPT  tools/spgen/source/snapshot.ml
- File "tools/spgen/source/snapshot.ml", line 130, characters 37-53:
- 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp)
-                                            ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label arity was omitted in the application of this function.
- OCAMLC    tools/spgen/source/user_input.mli
- OCAMLOPT  tools/spgen/source/user_input.ml
- OCAMLC    tools/spgen/source/position_generator.mli
- OCAMLOPT  tools/spgen/source/position_generator.ml
- OCAMLC    tools/spgen/source/disj_generator.mli
- OCAMLOPT  tools/spgen/source/disj_generator.ml
- OCAMLC    tools/spgen/source/rule_body.mli
- OCAMLOPT  tools/spgen/source/rule_body.ml
- OCAMLC    tools/spgen/source/rule_header.mli
- OCAMLOPT  tools/spgen/source/rule_header.ml
- OCAMLC    tools/spgen/source/context_rule.mli
- OCAMLOPT  tools/spgen/source/context_rule.ml
- OCAMLC    tools/spgen/source/script_rule.mli
- OCAMLOPT  tools/spgen/source/script_rule.ml
- OCAMLC    tools/spgen/source/file_transform.mli
- OCAMLOPT  tools/spgen/source/file_transform.ml
- OCAMLC    tools/spgen/source/spgen_interactive.mli
- OCAMLOPT  tools/spgen/source/spgen_interactive.ml
- OCAMLC    tools/spgen/source/spgen_lexer.mli
- OCAMLOPT  tools/spgen/source/spgen_lexer.ml
- OCAMLC    tools/spgen/source/spgen_config.mli
- OCAMLOPT  tools/spgen/source/spgen_config.ml
- OCAMLC    tools/spgen/source/spgen.mli
- OCAMLOPT  tools/spgen/source/spgen.ml
- OCAMLC    tools/spgen/source/spgen_test.mli
- OCAMLOPT  tools/spgen/source/spgen_test.ml
- OCAMLC    tools/spgen/source/main.mli
- OCAMLOPT  tools/spgen/source/main.ml
- OCAMLOPT  -o tools/spgen/source/spgen.opt
- cp parsing_c/token_c.cmi ocaml/token_c.cmi
- cp parsing_c/ast_c.cmi ocaml/ast_c.cmi
- cp parsing_c/parse_c.cmi ocaml/parse_c.cmi
- cp parsing_c/parser_c.cmi ocaml/parser_c.cmi
- cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi
- cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi
- cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi
- cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi
- cp globals/regexp.cmi ocaml/regexp.cmi
- cp globals/config.cmi ocaml/config.cmi
- cp globals/flag.cmi ocaml/flag.cmi
- cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi
- cp globals/iteration.cmi ocaml/iteration.cmi
- cp commons/commands.cmi ocaml/commands.cmi
- cp commons/common.cmi ocaml/common.cmi
- cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi
- cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi
- cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi
- OCAMLC    parsing_c/token_c.ml
- cp parsing_c/token_c.cmo ocaml/token_c.cmo
- OCAMLC    parsing_c/ast_c.ml
- cp parsing_c/ast_c.cmo ocaml/ast_c.cmo
- OCAMLC    parsing_c/parse_c.ml
- File "parsing_c/parse_c.ml", line 680, characters 1-37:
- 680 | 	Parsing_recovery_c.find_next_synchro tr.rest tr.passed in
-       	^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function.
- File "parsing_c/parse_c.ml", line 1429, characters 2-19:
- 1429 |   Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}");
-          ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "parsing_c/parse_c.ml", line 1440, characters 2-19:
- 1440 |   Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}");
-          ^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- cp parsing_c/parse_c.cmo ocaml/parse_c.cmo
- OCAMLC    parsing_c/parser_c.ml
- cp parsing_c/parser_c.cmo ocaml/parser_c.cmo
- OCAMLC    parsing_c/lexer_c.ml
- cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo
- OCAMLC    parsing_c/pretty_print_c.ml
- File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13:
- 1626 |   (pp_elem_sp pr_elem pr_space).expression
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13:
- 1629 |   (pp_elem_sp pr_elem pr_space).assignOp
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13:
- 1632 |   (pp_elem_sp pr_elem pr_space).binaryOp
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13:
- 1635 |   (pp_elem_sp pr_elem pr_space).arg_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13:
- 1638 |   (pp_elem_sp pr_elem pr_space).arg
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13:
- 1641 |   (pp_elem_sp pr_elem pr_space).statement
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13:
- 1644 |   (pp_elem_sp pr_elem pr_space).statement_seq_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13:
- 1647 |   (pp_elem_sp pr_elem pr_space).decl
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13:
- 1650 |   (pp_elem_sp pr_elem pr_space).field
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13:
- 1653 |   (pp_elem_sp pr_elem pr_space).field_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13:
- 1656 |   (pp_elem_sp pr_elem pr_space).init
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13:
- 1659 |   (pp_elem_sp pr_elem pr_space).init_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13:
- 1662 |   (pp_elem_sp pr_elem pr_space).param
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13:
- 1665 |   (pp_elem_sp pr_elem pr_space).paramlist
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13:
- 1668 |   (pp_elem_sp pr_elem pr_space).dparamlist
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13:
- 1671 |   (pp_elem_sp pr_elem pr_space).ty
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13:
- 1674 |   (pp_elem_sp pr_elem pr_space).type_with_ident
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13:
- 1677 |   (pp_elem_sp pr_elem pr_space).fragment_list
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13:
- 1680 |   (pp_elem_sp pr_elem pr_space).format
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13:
- 1683 |   (pp_elem_sp pr_elem pr_space).attribute
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13:
- 1686 |   (pp_elem_sp pr_elem pr_space).attr_arg
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13:
- 1689 |   (pp_elem_sp pr_elem pr_space).toplevel
-           ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function.
- cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo
- OCAMLC    parsing_c/lib_parsing_c.ml
- cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo
- OCAMLC    parsing_c/visitor_c.ml
- cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo
- OCAMLC    globals/regexp.ml
- cp globals/regexp.cmo ocaml/regexp.cmo
- OCAMLC    globals/config.ml
- cp globals/config.cmo ocaml/config.cmo
- OCAMLC    globals/flag.ml
- cp globals/flag.cmo ocaml/flag.cmo
- OCAMLC    parsing_c/flag_parsing_c.ml
- cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo
- OCAMLC    globals/iteration.ml
- cp globals/iteration.cmo ocaml/iteration.cmo
- OCAMLC    commons/commands.ml
- cp commons/commands.cmo ocaml/commands.cmo
- OCAMLC    commons/common.ml
- File "commons/common.ml", line 5305, characters 4-14:
- 5305 |     write_file file1 (unwords xs);
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5306, characters 4-14:
- 5306 |     write_file file2 (unwords ys);
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5333, characters 4-14:
- 5333 |     write_file "/tmp/diff1" xstr;
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- File "commons/common.ml", line 5334, characters 4-14:
- 5334 |     write_file "/tmp/diff2" ystr;
-            ^^^^^^^^^^
- Warning 6 [labels-omitted]: label file was omitted in the application of this function.
- cp commons/common.cmo ocaml/common.cmo
- OCAMLC    parsing_cocci/ast_cocci.ml
- cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo
- OCAMLC    parsing_cocci/ast0_cocci.ml
- cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo
- OCAMLC    commons/ocamlextra/dumper.ml
- cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo
- cp parsing_c/token_c.cmx ocaml/token_c.cmx
- cp parsing_c/ast_c.cmx ocaml/ast_c.cmx
- cp parsing_c/parse_c.cmx ocaml/parse_c.cmx
- cp parsing_c/parser_c.cmx ocaml/parser_c.cmx
- cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx
- cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx
- cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx
- cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx
- cp globals/regexp.cmx ocaml/regexp.cmx
- cp globals/config.cmx ocaml/config.cmx
- cp globals/flag.cmx ocaml/flag.cmx
- cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx
- cp globals/iteration.cmx ocaml/iteration.cmx
- cp commons/commands.cmx ocaml/commands.cmx
- cp commons/common.cmx ocaml/common.cmx
- cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx
- cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx
- cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx
- cp /home/opam/.opam/default/lib/parmap/parmap.cmi ocaml/parmap.cmi
- if test -f /home/opam/.opam/default/lib/parmap/parmap.cmx; then \
- 	cp /home/opam/.opam/default/lib/parmap/parmap.cmx ocaml/parmap.cmx; \
- fi
-> compiled  coccinelle.1.1.1
[coccinelle: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/coccinelle.1.1.1)
- mkdir -p /home/opam/.opam/default/bin /home/opam/.opam/default/lib/coccinelle
- mkdir -p /home/opam/.opam/default/lib/coccinelle/ocaml
- if test -f bundles/pyml/dllpyml_stubs.so; then \
- 	/usr/bin/install -c -m 755 bundles/pyml/dllpyml_stubs.so \
- 		/home/opam/.opam/default/lib/coccinelle; \
- fi
- if test -f bundles/pcre/dllpcre_stubs.so; then \
- 	/usr/bin/install -c -m 755 bundles/pcre/dllpcre_stubs.so \
- 		/home/opam/.opam/default/lib/coccinelle; \
- fi
- /usr/bin/install -c -m 755 spatch.opt /home/opam/.opam/default/bin/spatch
- /usr/bin/install -c -m 644 standard.h /home/opam/.opam/default/lib/coccinelle
- /usr/bin/install -c -m 644 standard.iso /home/opam/.opam/default/lib/coccinelle
- /usr/bin/install -c -m 644 ocaml/*.cmi /home/opam/.opam/default/lib/coccinelle/ocaml/
- if test -f ocaml/coccilib.cmx; then \
- 	/usr/bin/install -c -m 644 ocaml/*.cmx /home/opam/.opam/default/lib/coccinelle/ocaml/; \
- fi
- /usr/bin/install -c -m 755 tools/spgen/source/spgen.opt \
- 	 /home/opam/.opam/default/bin/spgen
- mkdir -p /home/opam/.opam/default/lib/coccinelle/python/coccilib
- /usr/bin/install -c -m 644 python/coccilib/*.py \
- 	/home/opam/.opam/default/lib/coccinelle/python/coccilib
- if test "x/home/opam/.opam/default/share/bash-completion/completions" != "xno"; then \
- 	mkdir -p /home/opam/.opam/default/share/bash-completion/completions; \
- 	/usr/bin/install -c -m 644 scripts/spatch.bash_completion \
- 		/home/opam/.opam/default/share/bash-completion/completions/spatch; \
- fi
- mkdir -p /home/opam/.opam/default/share/man/man1
- mkdir -p /home/opam/.opam/default/share/man/man3
- /usr/bin/install -c -m 644 docs/spatch.1 /home/opam/.opam/default/share/man/man1/
- /usr/bin/install -c -m 644 docs/pycocci.1 /home/opam/.opam/default/share/man/man1/
- /usr/bin/install -c -m 644 docs/spgen.1 /home/opam/.opam/default/share/man/man1/
- /usr/bin/install -c -m 644 docs/Coccilib.3cocci /home/opam/.opam/default/share/man/man3/
-> installed coccinelle.1.1.1
[WARNING] Opam packages conf-libpcre.2, conf-pkg-config.5, conf-python-3.9.0.0 and conf-python-3-dev.1 depend on the following system packages that are no longer installed: libpcre3-dev pkg-config python3 python3-dev
  - conf-libpcre.2: depends on libpcre3-dev
  - conf-pkg-config.5: depends on pkg-config
  - conf-python-3.9.0.0: depends on python3
  - conf-python-3-dev.1: depends on python3-dev

=== STDERR ===

2026-06-24 18:52.45: OK: build coccinelle.1.1.1 (runc: 81.2s, disk: 96KB)
2026-06-24 18:52.45: Job succeeded