Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- himanshu@himanshu-Vostro-3559:~/coccinelle$ sudo apt-get build-dep coccinell
- Reading package lists... Done
- E: Unable to find a source package for coccinelle
- himanshu@himanshu-Vostro-3559:~/coccinelle$ ./autogen
- ./autogen: 7: ./autogen: aclocal: not found
- ./autogen: 8: ./autogen: autoconf: not found
- himanshu@himanshu-Vostro-3559:~/coccinelle$ sudo apt-get install automake
- Reading package lists... Done
- Building dependency tree
- Reading state information... Done
- The following packages were automatically installed and are no longer required:
- libparmap-ocaml libpycaml-ocaml
- Use 'sudo apt autoremove' to remove them.
- The following additional packages will be installed:
- autoconf autotools-dev
- Suggested packages:
- autoconf-archive gnu-standards autoconf-doc libtool
- The following NEW packages will be installed:
- autoconf automake autotools-dev
- 0 upgraded, 3 newly installed, 0 to remove and 22 not upgraded.
- Need to get 871 kB of archives.
- After this operation, 3,589 kB of additional disk space will be used.
- Do you want to continue? [Y/n]
- Get:1 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 autoconf all 2.69-9 [321 kB]
- Get:2 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 autotools-dev all 20150820.1 [39.8 kB]
- Get:3 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 automake all 1:1.15-4ubuntu1 [510 kB]
- Fetched 871 kB in 18s (47.2 kB/s)
- Selecting previously unselected package autoconf.
- (Reading database ... 313275 files and directories currently installed.)
- Preparing to unpack .../autoconf_2.69-9_all.deb ...
- Unpacking autoconf (2.69-9) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../autotools-dev_20150820.1_all.deb ...
- Unpacking autotools-dev (20150820.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../automake_1%3a1.15-4ubuntu1_all.deb ...
- Unpacking automake (1:1.15-4ubuntu1) ...
- Processing triggers for man-db (2.7.5-1) ...
- Processing triggers for install-info (6.1.0.dfsg.1-5) ...
- Processing triggers for doc-base (0.10.7) ...
- Processing 1 added doc-base file...
- Registering documents with scrollkeeper...
- Setting up autoconf (2.69-9) ...
- Setting up autotools-dev (20150820.1) ...
- Setting up automake (1:1.15-4ubuntu1) ...
- update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
- himanshu@himanshu-Vostro-3559:~/coccinelle$ ./autogen
- himanshu@himanshu-Vostro-3559:~/coccinelle$ ./configure
- configure: configuring coccinelle 1.0.6-00389-g8436de9-dirty in /home/himanshu/coccinelle
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /bin/mkdir -p
- checking for gawk... gawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- configure: determining version suffix
- configure: building a version from a git repository
- checking for git... /usr/bin/git
- configure: version suffix set to Fri, 5 Jan 2018 12:19:59 +0100
- 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 make... GNU
- 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 we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... 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... /bin/tar
- checking for patch... /usr/bin/patch
- 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/bin/ocamlc
- OCaml version is 4.02.3
- OCaml library path is /usr/lib/ocaml
- checking for ocamlopt... /usr/bin/ocamlopt
- checking for ocamlc.opt... /usr/bin/ocamlc.opt
- checking for ocamlopt.opt... /usr/bin/ocamlopt.opt
- checking for ocaml... /usr/bin/ocaml
- checking for ocamldep... /usr/bin/ocamldep
- checking for ocamlmktop... /usr/bin/ocamlmktop
- checking for ocamlmklib... /usr/bin/ocamlmklib
- checking for ocamldoc... /usr/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/bin/ocamllex
- checking for ocamllex.opt... /usr/bin/ocamllex.opt
- checking for ocamlyacc... /usr/bin/ocamlyacc
- checking for ocamlfind... /usr/bin/ocamlfind
- checking for ocamlprof... /usr/bin/ocamlprof
- configure: verifying basic ocaml modules
- configure: coccinelle may use external ocaml libraries in /home/himanshu/coccinelle/bundles
- configure: the following OCaml packages should be provided by your ocaml installation
- checking for OCaml findlib package unix... found
- checking for OCaml findlib package bigarray... found
- checking for OCaml findlib package num... found
- checking for OCaml findlib package str... found
- configure: configuring package dynlink
- checking for OCaml findlib package dynlink... found
- configure: configuring package parmap
- checking for OCaml findlib package parmap... found
- configure: verifying optional features
- checking for menhir... /usr/bin/menhir
- configure: system menhir will be used
- configure: system menhir will be used
- configure: configuring package pyml
- checking for OCaml findlib package pyml... not found
- configure: OCaml package pyml is not available
- checking for a bundled substitute of pyml... yes
- configure: using bundled substitute for pyml in /home/himanshu/coccinelle/bundles/pyml/
- checking for PCRE... 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... /usr/bin/pdflatex
- checking that generated files are newer than configure... done
- configure: creating ./config.status
- config.status: creating Makefile.config
- config.status: creating version.ml
- config.status: creating commons/commands.ml
- config.status: creating globals/config.ml
- config.status: creating globals/regexp.ml
- config.status: creating python/pycocci.ml
- config.status: creating ocaml/prepare_ocamlcocci.ml
- config.status: creating scripts/spatch.sh
- config.status: creating tools/spgen/scripts/spgen.sh
- config.status: creating docs/spatch.1
- config.status: creating setup/Makefile
- config.status: executing depfiles commands
- configure: configuration completed
- ------------------------------------------------------------------------------
- Summary
- configure flags:
- findlib: /usr/bin/ocamlfind (an actual version is strongly recommended)
- menhir: /usr/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: (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)
- ------------------------------------------------------------------------------
- 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/himanshu/coccinelle ./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
- ------------------------------------------------------------------------------
- himanshu@himanshu-Vostro-3559:~/coccinelle$ make
- make -C bundles/stdcompat all
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/stdcompat'
- cpp 2>/dev/null -DOCAMLVERSION=402 -undef stdcompat.mlip >stdcompat.mli || rm stdcompat.mli
- ocamlfind ocamlc -c stdcompat.mli
- ocamlfind ocamlc -pp "cpp 2>/dev/null -DOCAMLVERSION=402 -undef" -c -impl stdcompat.mlp
- ocamlfind ocamlc -a stdcompat.cmo -o stdcompat.cma
- ocamlfind ocamlopt -pp "cpp 2>/dev/null -DOCAMLVERSION=402 -undef -DOCAMLNATIVE" -c -impl stdcompat.mlp
- ocamlfind ocamlopt -a stdcompat.cmx -o stdcompat.cmxa
- ocamlfind ocamlopt -shared stdcompat.cmx -o stdcompat.cmxs
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/stdcompat'
- make -C bundles/menhirLib all
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- /bin/tar xfz menhir-20171013.tar.gz
- touch menhir-20171013/.marker
- echo "let libdir = \"/home/himanshu/coccinelle/bundles/menhirLib\"" > menhir-20171013/src/installation.ml
- echo "let ocamlfind = false" >> menhir-20171013/src/installation.ml
- patch -p0 <menhir-for-ocaml-3.12.patch
- patching file menhir-20171013/src/Engine.ml
- patching file menhir-20171013/src/IO.ml
- patching file menhir-20171013/src/IncrementalEngine.ml
- patching file menhir-20171013/src/InspectionTableInterpreter.ml
- patching file menhir-20171013/src/LRijkstra.ml
- patching file menhir-20171013/src/PackedIntArray.ml
- patching file menhir-20171013/src/cmly_read.ml
- patching file menhir-20171013/src/grammarFunctor.ml
- patching file menhir-20171013/src/grammarFunctor.mli
- Hunk #2 succeeded at 323 with fuzz 1.
- patching file menhir-20171013/src/interpret.ml
- patching file menhir-20171013/src/keyword.ml
- patching file menhir-20171013/src/keyword.mli
- patching file menhir-20171013/src/lexer.mll
- patching file menhir-20171013/src/lr1.ml
- patching file menhir-20171013/src/lr1.mli
- patching file menhir-20171013/src/misc.ml
- patching file menhir-20171013/src/nonTerminalDefinitionInlining.ml
- patching file menhir-20171013/src/parameterizedGrammar.ml
- patching file menhir-20171013/src/parserAux.ml
- patching file menhir-20171013/src/partialGrammar.ml
- patching file menhir-20171013/src/pprint.ml
- patching file menhir-20171013/src/printer.ml
- patching file menhir-20171013/src/referenceInterpreter.ml
- patching file menhir-20171013/src/stringMap.ml
- patching file menhir-20171013/src/stringMap.mli
- patching file menhir-20171013/src/unparameterizedPrinter.ml
- touch .prepare
- /usr/bin/ocamllex.opt menhir-20171013/src/lexer.mll -o menhir-20171013/src/lexer.ml
- 306 states, 1901 transitions, table size 9440 bytes
- 5860 additional bytes used for bindings
- /usr/bin/ocamllex.opt menhir-20171013/src/lexdep.mll -o menhir-20171013/src/lexdep.ml
- 28 states, 426 transitions, table size 1872 bytes
- 1447 additional bytes used for bindings
- /usr/bin/ocamllex.opt menhir-20171013/src/lexmli.mll -o menhir-20171013/src/lexmli.ml
- 80 states, 5444 transitions, table size 22256 bytes
- 18240 additional bytes used for bindings
- cp menhir-20171013/src/yacc-parser.mly menhir-20171013/src/parser.mly
- /usr/bin/ocamlyacc menhir-20171013/src/parser.mly
- /usr/bin/ocamllex.opt menhir-20171013/src/sentenceLexer.mll -o menhir-20171013/src/sentenceLexer.ml
- 16 states, 675 transitions, table size 2796 bytes
- /usr/bin/ocamlyacc menhir-20171013/src/sentenceParser.mly
- /usr/bin/ocamldep -I ../stdcompat -I menhir-20171013/src menhir-20171013/src/*.ml menhir-20171013/src/*.mli >.depend
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Fix.mli -o menhir-20171013/src/Fix.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Fix.ml -o menhir-20171013/src/Fix.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/IO.mli -o menhir-20171013/src/IO.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/IO.ml -o menhir-20171013/src/IO.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/installation.mli -o menhir-20171013/src/installation.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/installation.ml -o menhir-20171013/src/installation.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/keyword.mli -o menhir-20171013/src/keyword.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/keyword.ml -o menhir-20171013/src/keyword.cmx
- /usr/bin/ocamllex.opt menhir-20171013/src/lineCount.mll -o menhir-20171013/src/lineCount.ml
- 5 states, 259 transitions, table size 1066 bytes
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lineCount.ml -o menhir-20171013/src/lineCount.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/positions.mli -o menhir-20171013/src/positions.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/positions.ml -o menhir-20171013/src/positions.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/stringSet.mli -o menhir-20171013/src/stringSet.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/stringSet.ml -o menhir-20171013/src/stringSet.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/version.ml -o menhir-20171013/src/version.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/settings.mli -o menhir-20171013/src/settings.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/settings.ml -o menhir-20171013/src/settings.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/stretch.mli -o menhir-20171013/src/stretch.cmi
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/IL.mli -o menhir-20171013/src/IL.cmi
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/printer.mli -o menhir-20171013/src/printer.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/printer.ml -o menhir-20171013/src/printer.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/action.mli -o menhir-20171013/src/action.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/action.ml -o menhir-20171013/src/action.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/mark.mli -o menhir-20171013/src/mark.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/mark.ml -o menhir-20171013/src/mark.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/stringMap.mli -o menhir-20171013/src/stringMap.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/stringMap.ml -o menhir-20171013/src/stringMap.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/General.mli -o menhir-20171013/src/General.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/General.ml -o menhir-20171013/src/General.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/InfiniteArray.mli -o menhir-20171013/src/InfiniteArray.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/InfiniteArray.ml -o menhir-20171013/src/InfiniteArray.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/PackedIntArray.mli -o menhir-20171013/src/PackedIntArray.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/PackedIntArray.ml -o menhir-20171013/src/PackedIntArray.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/LinearizedArray.mli -o menhir-20171013/src/LinearizedArray.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/LinearizedArray.ml -o menhir-20171013/src/LinearizedArray.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/RowDisplacement.mli -o menhir-20171013/src/RowDisplacement.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/RowDisplacement.ml -o menhir-20171013/src/RowDisplacement.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/IncrementalEngine.ml -o menhir-20171013/src/IncrementalEngine.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/EngineTypes.ml -o menhir-20171013/src/EngineTypes.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/IncrementalEngine.ml -o menhir-20171013/src/IncrementalEngine.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/EngineTypes.ml -o menhir-20171013/src/EngineTypes.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Engine.mli -o menhir-20171013/src/Engine.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/Engine.ml -o menhir-20171013/src/Engine.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/TableFormat.ml -o menhir-20171013/src/TableFormat.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/TableFormat.ml -o menhir-20171013/src/TableFormat.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/TableInterpreter.mli -o menhir-20171013/src/TableInterpreter.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/TableInterpreter.ml -o menhir-20171013/src/TableInterpreter.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Convert.mli -o menhir-20171013/src/Convert.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/Convert.ml -o menhir-20171013/src/Convert.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -pack \
- menhir-20171013/src/General.cmx menhir-20171013/src/InfiniteArray.cmx menhir-20171013/src/PackedIntArray.cmx menhir-20171013/src/LinearizedArray.cmx menhir-20171013/src/RowDisplacement.cmx menhir-20171013/src/EngineTypes.cmx menhir-20171013/src/Engine.cmx menhir-20171013/src/TableFormat.cmx menhir-20171013/src/TableInterpreter.cmx menhir-20171013/src/Convert.cmx \
- -o menhir-20171013/src/menhirLib.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/misc.mli -o menhir-20171013/src/misc.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/misc.ml -o menhir-20171013/src/misc.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codeBits.mli -o menhir-20171013/src/codeBits.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codeBits.ml -o menhir-20171013/src/codeBits.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/gSet.ml -o menhir-20171013/src/gSet.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/gSet.ml -o menhir-20171013/src/gSet.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/compressedBitSet.mli -o menhir-20171013/src/compressedBitSet.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/compressedBitSet.ml -o menhir-20171013/src/compressedBitSet.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/option.mli -o menhir-20171013/src/option.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/option.ml -o menhir-20171013/src/option.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/dot.mli -o menhir-20171013/src/dot.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/dot.ml -o menhir-20171013/src/dot.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/error.mli -o menhir-20171013/src/error.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/error.ml -o menhir-20171013/src/error.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/InputFile.mli -o menhir-20171013/src/InputFile.cmi
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/syntax.mli -o menhir-20171013/src/syntax.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parameters.ml -o menhir-20171013/src/parameters.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/InputFile.ml -o menhir-20171013/src/InputFile.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parserAux.mli -o menhir-20171013/src/parserAux.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parserAux.ml -o menhir-20171013/src/parserAux.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parser.mli -o menhir-20171013/src/parser.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parser.ml -o menhir-20171013/src/parser.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lexer.ml -o menhir-20171013/src/lexer.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tarjan.mli -o menhir-20171013/src/tarjan.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tarjan.ml -o menhir-20171013/src/tarjan.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unionFind.mli -o menhir-20171013/src/unionFind.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unionFind.ml -o menhir-20171013/src/unionFind.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unparameterizedSyntax.ml -o menhir-20171013/src/unparameterizedSyntax.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unparameterizedSyntax.ml -o menhir-20171013/src/unparameterizedSyntax.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parameterizedGrammar.mli -o menhir-20171013/src/parameterizedGrammar.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/parameterizedGrammar.ml -o menhir-20171013/src/parameterizedGrammar.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/partialGrammar.mli -o menhir-20171013/src/partialGrammar.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/partialGrammar.ml -o menhir-20171013/src/partialGrammar.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/time.mli -o menhir-20171013/src/time.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/time.ml -o menhir-20171013/src/time.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tokenType.mli -o menhir-20171013/src/tokenType.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tokenType.ml -o menhir-20171013/src/tokenType.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/nonterminalType.mli -o menhir-20171013/src/nonterminalType.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/nonterminalType.ml -o menhir-20171013/src/nonterminalType.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/interface.mli -o menhir-20171013/src/interface.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/interface.ml -o menhir-20171013/src/interface.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lexdep.ml -o menhir-20171013/src/lexdep.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lexmli.ml -o menhir-20171013/src/lexmli.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/infer.mli -o menhir-20171013/src/infer.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/infer.ml -o menhir-20171013/src/infer.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/listMonad.mli -o menhir-20171013/src/listMonad.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/listMonad.ml -o menhir-20171013/src/listMonad.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/nonTerminalDefinitionInlining.mli -o menhir-20171013/src/nonTerminalDefinitionInlining.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/nonTerminalDefinitionInlining.ml -o menhir-20171013/src/nonTerminalDefinitionInlining.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/reachability.mli -o menhir-20171013/src/reachability.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/reachability.ml -o menhir-20171013/src/reachability.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unparameterizedPrinter.mli -o menhir-20171013/src/unparameterizedPrinter.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/unparameterizedPrinter.ml -o menhir-20171013/src/unparameterizedPrinter.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/FixSolver.mli -o menhir-20171013/src/FixSolver.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/FixSolver.ml -o menhir-20171013/src/FixSolver.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Boolean.mli -o menhir-20171013/src/Boolean.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Boolean.ml -o menhir-20171013/src/Boolean.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Maps.mli -o menhir-20171013/src/Maps.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Maps.ml -o menhir-20171013/src/Maps.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/gMap.ml -o menhir-20171013/src/gMap.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/gMap.ml -o menhir-20171013/src/gMap.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/patricia.mli -o menhir-20171013/src/patricia.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/patricia.ml -o menhir-20171013/src/patricia.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/grammarFunctor.mli -o menhir-20171013/src/grammarFunctor.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/grammarFunctor.ml -o menhir-20171013/src/grammarFunctor.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/keywordExpansion.mli -o menhir-20171013/src/keywordExpansion.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/keywordExpansion.ml -o menhir-20171013/src/keywordExpansion.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/anonymous.mli -o menhir-20171013/src/anonymous.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/anonymous.ml -o menhir-20171013/src/anonymous.cmx
- cp menhir-20171013/src/yaccDriver.ml menhir-20171013/src/Driver.ml
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Driver.mli -o menhir-20171013/src/Driver.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/Driver.ml -o menhir-20171013/src/Driver.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/front.mli -o menhir-20171013/src/front.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/front.ml -o menhir-20171013/src/front.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/grammar.ml -o menhir-20171013/src/grammar.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/grammar.ml -o menhir-20171013/src/grammar.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codePieces.mli -o menhir-20171013/src/codePieces.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codePieces.ml -o menhir-20171013/src/codePieces.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lookahead.mli -o menhir-20171013/src/lookahead.cmi
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/item.mli -o menhir-20171013/src/item.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/item.ml -o menhir-20171013/src/item.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/derivation.mli -o menhir-20171013/src/derivation.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/derivation.ml -o menhir-20171013/src/derivation.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr0.mli -o menhir-20171013/src/lr0.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr0.ml -o menhir-20171013/src/lr0.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/slr.mli -o menhir-20171013/src/slr.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/slr.ml -o menhir-20171013/src/slr.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr1.mli -o menhir-20171013/src/lr1.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr1.ml -o menhir-20171013/src/lr1.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr1partial.mli -o menhir-20171013/src/lr1partial.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/lr1partial.ml -o menhir-20171013/src/lr1partial.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/DependencyGraph.mli -o menhir-20171013/src/DependencyGraph.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/DependencyGraph.ml -o menhir-20171013/src/DependencyGraph.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/conflict.mli -o menhir-20171013/src/conflict.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/conflict.ml -o menhir-20171013/src/conflict.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/invariant.mli -o menhir-20171013/src/invariant.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/invariant.ml -o menhir-20171013/src/invariant.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/default.mli -o menhir-20171013/src/default.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/default.ml -o menhir-20171013/src/default.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codeBackend.mli -o menhir-20171013/src/codeBackend.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/codeBackend.ml -o menhir-20171013/src/codeBackend.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/coqBackend.mli -o menhir-20171013/src/coqBackend.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/coqBackend.ml -o menhir-20171013/src/coqBackend.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/pprint.mli -o menhir-20171013/src/pprint.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/pprint.ml -o menhir-20171013/src/pprint.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cst.mli -o menhir-20171013/src/cst.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cst.ml -o menhir-20171013/src/cst.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/traverse.ml -o menhir-20171013/src/traverse.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/inliner.mli -o menhir-20171013/src/inliner.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/inliner.ml -o menhir-20171013/src/inliner.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/referenceInterpreter.mli -o menhir-20171013/src/referenceInterpreter.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/referenceInterpreter.ml -o menhir-20171013/src/referenceInterpreter.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/sentenceParserAux.ml -o menhir-20171013/src/sentenceParserAux.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/sentenceParserAux.ml -o menhir-20171013/src/sentenceParserAux.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/sentenceParser.mli -o menhir-20171013/src/sentenceParser.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/sentenceParser.ml -o menhir-20171013/src/sentenceParser.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/sentenceLexer.ml -o menhir-20171013/src/sentenceLexer.cmx
- /usr/bin/ocamllex.opt menhir-20171013/src/segment.mll -o menhir-20171013/src/segment.ml
- 16 states, 267 transitions, table size 1164 bytes
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/segment.ml -o menhir-20171013/src/segment.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/interpret.mli -o menhir-20171013/src/interpret.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/interpret.ml -o menhir-20171013/src/interpret.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tableBackend.mli -o menhir-20171013/src/tableBackend.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/tableBackend.ml -o menhir-20171013/src/tableBackend.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/MySet.mli -o menhir-20171013/src/MySet.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/MySet.ml -o menhir-20171013/src/MySet.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/resizableArray.mli -o menhir-20171013/src/resizableArray.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/resizableArray.ml -o menhir-20171013/src/resizableArray.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/LowIntegerPriorityQueue.mli -o menhir-20171013/src/LowIntegerPriorityQueue.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/LowIntegerPriorityQueue.ml -o menhir-20171013/src/LowIntegerPriorityQueue.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/astar.mli -o menhir-20171013/src/astar.cmi
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/General.ml -o menhir-20171013/src/General.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/InfiniteArray.ml -o menhir-20171013/src/InfiniteArray.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/PackedIntArray.ml -o menhir-20171013/src/PackedIntArray.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/LinearizedArray.ml -o menhir-20171013/src/LinearizedArray.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/RowDisplacement.ml -o menhir-20171013/src/RowDisplacement.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/Engine.ml -o menhir-20171013/src/Engine.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/TableInterpreter.ml -o menhir-20171013/src/TableInterpreter.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -for-pack MenhirLib -c menhir-20171013/src/Convert.ml -o menhir-20171013/src/Convert.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -pack \
- menhir-20171013/src/General.cmo menhir-20171013/src/InfiniteArray.cmo menhir-20171013/src/PackedIntArray.cmo menhir-20171013/src/LinearizedArray.cmo menhir-20171013/src/RowDisplacement.cmo menhir-20171013/src/EngineTypes.cmo menhir-20171013/src/Engine.cmo menhir-20171013/src/TableFormat.cmo menhir-20171013/src/TableInterpreter.cmo menhir-20171013/src/Convert.cmo \
- -o menhir-20171013/src/menhirLib.cmo
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/astar.ml -o menhir-20171013/src/astar.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/LRijkstra.mli -o menhir-20171013/src/LRijkstra.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/LRijkstra.ml -o menhir-20171013/src/LRijkstra.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_api.ml -o menhir-20171013/src/cmly_api.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_format.ml -o menhir-20171013/src/cmly_format.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_api.ml -o menhir-20171013/src/cmly_api.cmo
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_read.mli -o menhir-20171013/src/cmly_read.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_read.ml -o menhir-20171013/src/cmly_read.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_write.mli -o menhir-20171013/src/cmly_write.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/cmly_write.ml -o menhir-20171013/src/cmly_write.cmx
- /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/back.mli -o menhir-20171013/src/back.cmi
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/back.ml -o menhir-20171013/src/back.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src -c menhir-20171013/src/menhir.ml -o menhir-20171013/src/menhir.cmx
- /usr/bin/ocamlopt.opt -I ../stdcompat -I menhir-20171013/src unix.cmxa stdcompat.cmx menhir-20171013/src/Fix.cmx menhir-20171013/src/IO.cmx menhir-20171013/src/installation.cmx menhir-20171013/src/keyword.cmx menhir-20171013/src/lineCount.cmx menhir-20171013/src/positions.cmx menhir-20171013/src/stringSet.cmx menhir-20171013/src/version.cmx menhir-20171013/src/settings.cmx menhir-20171013/src/printer.cmx menhir-20171013/src/action.cmx menhir-20171013/src/mark.cmx menhir-20171013/src/stringMap.cmx menhir-20171013/src/menhirLib.cmx menhir-20171013/src/misc.cmx menhir-20171013/src/codeBits.cmx menhir-20171013/src/gSet.cmx menhir-20171013/src/compressedBitSet.cmx menhir-20171013/src/option.cmx menhir-20171013/src/dot.cmx menhir-20171013/src/error.cmx menhir-20171013/src/parameters.cmx menhir-20171013/src/InputFile.cmx menhir-20171013/src/parserAux.cmx menhir-20171013/src/parser.cmx menhir-20171013/src/lexer.cmx menhir-20171013/src/tarjan.cmx menhir-20171013/src/unionFind.cmx menhir-20171013/src/parameterizedGrammar.cmx menhir-20171013/src/partialGrammar.cmx menhir-20171013/src/time.cmx menhir-20171013/src/unparameterizedSyntax.cmx menhir-20171013/src/tokenType.cmx menhir-20171013/src/nonterminalType.cmx menhir-20171013/src/interface.cmx menhir-20171013/src/lexdep.cmx menhir-20171013/src/lexmli.cmx menhir-20171013/src/infer.cmx menhir-20171013/src/listMonad.cmx menhir-20171013/src/nonTerminalDefinitionInlining.cmx menhir-20171013/src/reachability.cmx menhir-20171013/src/unparameterizedPrinter.cmx menhir-20171013/src/FixSolver.cmx menhir-20171013/src/Boolean.cmx menhir-20171013/src/Maps.cmx menhir-20171013/src/patricia.cmx menhir-20171013/src/grammarFunctor.cmx menhir-20171013/src/keywordExpansion.cmx menhir-20171013/src/anonymous.cmx menhir-20171013/src/Driver.cmx menhir-20171013/src/front.cmx menhir-20171013/src/gMap.cmx menhir-20171013/src/grammar.cmx menhir-20171013/src/codePieces.cmx menhir-20171013/src/item.cmx menhir-20171013/src/derivation.cmx menhir-20171013/src/lr0.cmx menhir-20171013/src/slr.cmx menhir-20171013/src/lr1.cmx menhir-20171013/src/lr1partial.cmx menhir-20171013/src/DependencyGraph.cmx menhir-20171013/src/conflict.cmx menhir-20171013/src/invariant.cmx menhir-20171013/src/default.cmx menhir-20171013/src/codeBackend.cmx menhir-20171013/src/coqBackend.cmx menhir-20171013/src/pprint.cmx menhir-20171013/src/cst.cmx menhir-20171013/src/traverse.cmx menhir-20171013/src/inliner.cmx menhir-20171013/src/referenceInterpreter.cmx menhir-20171013/src/sentenceParser.cmx menhir-20171013/src/sentenceLexer.cmx menhir-20171013/src/segment.cmx menhir-20171013/src/sentenceParserAux.cmx menhir-20171013/src/interpret.cmx menhir-20171013/src/tableBackend.cmx menhir-20171013/src/MySet.cmx menhir-20171013/src/resizableArray.cmx menhir-20171013/src/LowIntegerPriorityQueue.cmx menhir-20171013/src/astar.cmx menhir-20171013/src/LRijkstra.cmx menhir-20171013/src/cmly_api.cmx menhir-20171013/src/cmly_format.cmx menhir-20171013/src/cmly_read.cmx menhir-20171013/src/cmly_write.cmx menhir-20171013/src/back.cmx menhir-20171013/src/menhir.cmx -o menhir-20171013/src/menhir
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- cp menhir-20171013/src/standard.mly standard.mly
- rm menhir-20171013/src/segment.ml menhir-20171013/src/lineCount.ml
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make -C bundles/menhirLib all.opt
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- /usr/bin/menhir --ocamldep "/usr/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 /usr/lib/ocaml/pcre -I /home/himanshu/coccinelle/bundles/pyml/ -I /usr/lib/ocaml/parmap -I bundles/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 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/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/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/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/proc_pidpath.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
- 549 states, 26116 transitions, table size 107758 bytes
- 15973 additional bytes used for bindings
- OCAMLDEP parsing_c/lexer_c.ml
- OCAMLLEX parsing_cocci/lexer_script.mll
- 22 states, 272 transitions, table size 1220 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
- 376 states, 7064 transitions, table size 30512 bytes
- 3347 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 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/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/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/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/proc_pidpath.ml
- OCAMLDEP commons/ograph_extended.ml
- OCAMLDEP commons/ograph_simple.ml
- OCAMLDEP commons/common.ml
- OCAMLDEP commons/commands.ml
- OCAMLDEP commons/ocamlextra/dumper.ml
- rm parsing_cocci/lexer_cli.ml parsing_cocci/lexer_script.ml tools/spgen/source/spgen_lexer.ml parsing_c/lexer_c.ml parsing_cocci/lexer_cocci.ml
- make -C bundles/menhirLib all
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make -C bundles/menhirLib all.opt
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c
- mv proc_pidpath_stubs.o commons/proc_pidpath_stubs.o
- /usr/bin/ocamlmklib -o proc_pidpath_stubs commons/proc_pidpath_stubs.o
- 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
- OCAMLC commons/ograph_simple.mli
- OCAMLOPT commons/ograph_simple.ml
- OCAMLC commons/ograph_extended.mli
- OCAMLOPT commons/ograph_extended.ml
- OCAMLC commons/proc_pidpath.mli
- OCAMLOPT commons/proc_pidpath.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/disjdistr.mli
- OCAMLOPT parsing_cocci/disjdistr.ml
- MENHIR parsing_cocci/parser_cocci_menhir.mly
- OCAMLDEP parsing_cocci/parser_cocci_menhir.mli
- OCAMLC parsing_cocci/parser_cocci_menhir.mli
- OCAMLDEP parsing_cocci/parser_cocci_menhir.ml
- OCAMLOPT parsing_cocci/parser_cocci_menhir.ml
- File "parsing_cocci/parser_cocci_menhir.ml", line 1258, characters 21-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 1279, characters 21-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 1300, characters 21-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 1321, characters 21-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 8940, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9136, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9248, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9358, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9731, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9842, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9908, characters 26-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9933, characters 32-33:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9953, characters 26-27:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 9978, characters 26-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15691, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15724, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15782, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15812, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15840, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15875, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15909, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15943, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 15975, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16010, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16043, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16105, characters 31-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16137, characters 31-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16167, characters 17-18:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16195, characters 17-18:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16230, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16264, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16298, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16330, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16386, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16415, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16442, characters 19-20:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16476, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16509, characters 32-38:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16569, characters 31-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16600, characters 31-32:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16629, characters 17-18:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16656, characters 17-18:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16690, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 16723, characters 31-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 19097, characters 9-25:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 19192, characters 10-70:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 19199, characters 10-82:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 20370, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 20578, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 20702, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 20824, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 21334, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 21457, characters 28-34:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 22729, characters 36-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 22848, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 22980, characters 36-37:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 23098, characters 35-36:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28572, characters 139-145:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28572, characters 146-148:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 113-119:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 120-122:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 126-132:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 133-135:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 110-116:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 117-119:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 123-129:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 130-132:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 43277, characters 110-112:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 47758, characters 8-24:
- Warning 20: this argument will not be used by the function.
- File "parsing_cocci/parser_cocci_menhir.ml", line 60603, characters 59-73:
- Warning 20: this argument will not be used by the function.
- OCAMLC parsing_cocci/lexer_cocci.mli
- OCAMLLEX parsing_cocci/lexer_cocci.mll
- 376 states, 7064 transitions, table size 30512 bytes
- 3347 additional bytes used for bindings
- OCAMLOPT parsing_cocci/lexer_cocci.ml
- OCAMLC parsing_cocci/lexer_cli.mli
- OCAMLLEX parsing_cocci/lexer_cli.mll
- 14 states, 681 transitions, table size 2808 bytes
- OCAMLOPT parsing_cocci/lexer_cli.ml
- OCAMLC parsing_cocci/lexer_script.mli
- OCAMLLEX parsing_cocci/lexer_script.mll
- 22 states, 272 transitions, table size 1220 bytes
- 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
- 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
- File "parsing_c/includes.ml", line 159, characters 9-22:
- Error: Unbound module Parmap
- Makefile:400: recipe for target 'parsing_c/includes.cmx' failed
- make: *** [parsing_c/includes.cmx] Error 2
- rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml parsing_cocci/lexer_cocci.ml
- himanshu@himanshu-Vostro-3559:~/coccinelle$ make install
- make -C bundles/menhirLib all
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make -C bundles/menhirLib all.opt
- make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
- cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
- if [ -n "" ]; then \
- cp .; \
- fi
- make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
- OCAMLOPT parsing_c/includes.ml
- File "parsing_c/includes.ml", line 159, characters 9-22:
- Error: Unbound module Parmap
- Makefile:400: recipe for target 'parsing_c/includes.cmx' failed
- make: *** [parsing_c/includes.cmx] Error 2
- himanshu@himanshu-Vostro-3559:~/coccinelle$
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement