SHARE
TWEET

Untitled

a guest Jan 8th, 2018 32 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1.  
  2. himanshu@himanshu-Vostro-3559:~/coccinelle$ sudo apt-get build-dep coccinell
  3. Reading package lists... Done
  4. E: Unable to find a source package for coccinelle
  5.  
  6. himanshu@himanshu-Vostro-3559:~/coccinelle$ ./autogen
  7. ./autogen: 7: ./autogen: aclocal: not found
  8. ./autogen: 8: ./autogen: autoconf: not found
  9. himanshu@himanshu-Vostro-3559:~/coccinelle$ sudo apt-get install automake
  10. Reading package lists... Done
  11. Building dependency tree      
  12. Reading state information... Done
  13. The following packages were automatically installed and are no longer required:
  14.   libparmap-ocaml libpycaml-ocaml
  15. Use 'sudo apt autoremove' to remove them.
  16. The following additional packages will be installed:
  17.   autoconf autotools-dev
  18. Suggested packages:
  19.   autoconf-archive gnu-standards autoconf-doc libtool
  20. The following NEW packages will be installed:
  21.   autoconf automake autotools-dev
  22. 0 upgraded, 3 newly installed, 0 to remove and 22 not upgraded.
  23. Need to get 871 kB of archives.
  24. After this operation, 3,589 kB of additional disk space will be used.
  25. Do you want to continue? [Y/n]
  26. Get:1 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 autoconf all 2.69-9 [321 kB]
  27. Get:2 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 autotools-dev all 20150820.1 [39.8 kB]                                                                      
  28. Get:3 http://in.archive.ubuntu.com/ubuntu xenial/main amd64 automake all 1:1.15-4ubuntu1 [510 kB]                                                                      
  29. Fetched 871 kB in 18s (47.2 kB/s)                                                                                                                                      
  30. Selecting previously unselected package autoconf.
  31. (Reading database ... 313275 files and directories currently installed.)
  32. Preparing to unpack .../autoconf_2.69-9_all.deb ...
  33. Unpacking autoconf (2.69-9) ...
  34. Selecting previously unselected package autotools-dev.
  35. Preparing to unpack .../autotools-dev_20150820.1_all.deb ...
  36. Unpacking autotools-dev (20150820.1) ...
  37. Selecting previously unselected package automake.
  38. Preparing to unpack .../automake_1%3a1.15-4ubuntu1_all.deb ...
  39. Unpacking automake (1:1.15-4ubuntu1) ...
  40. Processing triggers for man-db (2.7.5-1) ...
  41. Processing triggers for install-info (6.1.0.dfsg.1-5) ...
  42. Processing triggers for doc-base (0.10.7) ...
  43. Processing 1 added doc-base file...
  44. Registering documents with scrollkeeper...
  45. Setting up autoconf (2.69-9) ...
  46. Setting up autotools-dev (20150820.1) ...
  47. Setting up automake (1:1.15-4ubuntu1) ...
  48. update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode
  49. himanshu@himanshu-Vostro-3559:~/coccinelle$ ./autogen
  50. himanshu@himanshu-Vostro-3559:~/coccinelle$ ./configure
  51. configure: configuring coccinelle 1.0.6-00389-g8436de9-dirty in /home/himanshu/coccinelle
  52. checking for a BSD-compatible install... /usr/bin/install -c
  53. checking whether build environment is sane... yes
  54. checking for a thread-safe mkdir -p... /bin/mkdir -p
  55. checking for gawk... gawk
  56. checking whether make sets $(MAKE)... yes
  57. checking whether make supports nested variables... yes
  58. configure: determining version suffix
  59. configure: building a version from a git repository
  60. checking for git... /usr/bin/git
  61. configure: version suffix set to Fri, 5 Jan 2018 12:19:59 +0100
  62. configure: this configure program uses pkg-config m4 macros
  63. configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4)
  64. configure: this configure program uses custom m4 macros (see setup/cocci.m4)
  65. configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*)
  66. configure: verifying basic tools
  67. checking for style of include used by make... GNU
  68. checking for gcc... gcc
  69. checking whether the C compiler works... yes
  70. checking for C compiler default output file name... a.out
  71. checking for suffix of executables...
  72. checking whether we are cross compiling... no
  73. checking for suffix of object files... o
  74. checking whether we are using the GNU C compiler... yes
  75. checking whether gcc accepts -g... yes
  76. checking for gcc option to accept ISO C89... none needed
  77. checking whether gcc understands -c and -o together... yes
  78. checking dependency style of gcc... none
  79. checking how to run the C preprocessor... gcc -E
  80. checking for bash... /bin/bash
  81. checking for tar... /bin/tar
  82. checking for patch... /usr/bin/patch
  83. checking for echo... /bin/echo
  84. checking for patchelf... no
  85. checking for pkg-config... /usr/bin/pkg-config
  86. checking pkg-config is at least version 0.9.0... yes
  87. checking for ocamlc... /usr/bin/ocamlc
  88. OCaml version is 4.02.3
  89. OCaml library path is /usr/lib/ocaml
  90. checking for ocamlopt... /usr/bin/ocamlopt
  91. checking for ocamlc.opt... /usr/bin/ocamlc.opt
  92. checking for ocamlopt.opt... /usr/bin/ocamlopt.opt
  93. checking for ocaml... /usr/bin/ocaml
  94. checking for ocamldep... /usr/bin/ocamldep
  95. checking for ocamlmktop... /usr/bin/ocamlmktop
  96. checking for ocamlmklib... /usr/bin/ocamlmklib
  97. checking for ocamldoc... /usr/bin/ocamldoc
  98. checking that the OCaml version is at least 3.12... yes
  99. checking that the OCaml version is at least 4.02... yes
  100. checking for ocamllex... /usr/bin/ocamllex
  101. checking for ocamllex.opt... /usr/bin/ocamllex.opt
  102. checking for ocamlyacc... /usr/bin/ocamlyacc
  103. checking for ocamlfind... /usr/bin/ocamlfind
  104. checking for ocamlprof... /usr/bin/ocamlprof
  105. configure: verifying basic ocaml modules
  106. configure: coccinelle may use external ocaml libraries in /home/himanshu/coccinelle/bundles
  107. configure: the following OCaml packages should be provided by your ocaml installation
  108. checking for OCaml findlib package unix... found
  109. checking for OCaml findlib package bigarray... found
  110. checking for OCaml findlib package num... found
  111. checking for OCaml findlib package str... found
  112. configure: configuring package dynlink
  113. checking for OCaml findlib package dynlink... found
  114. configure: configuring package parmap
  115. checking for OCaml findlib package parmap... found
  116. configure: verifying optional features
  117. checking for menhir... /usr/bin/menhir
  118. configure: system menhir will be used
  119. configure: system menhir will be used
  120. configure: configuring package pyml
  121. checking for OCaml findlib package pyml... not found
  122. configure: OCaml package pyml is not available
  123. checking for a bundled substitute of pyml... yes
  124. configure: using bundled substitute for pyml in /home/himanshu/coccinelle/bundles/pyml/
  125. checking for PCRE... yes
  126. configure: configuring package pcre
  127. checking for OCaml findlib package pcre... found
  128. checking if pcre depends on bytes... no
  129. configure: support for pcre syntax is enabled
  130. checking for pdflatex... /usr/bin/pdflatex
  131. checking that generated files are newer than configure... done
  132. configure: creating ./config.status
  133. config.status: creating Makefile.config
  134. config.status: creating version.ml
  135. config.status: creating commons/commands.ml
  136. config.status: creating globals/config.ml
  137. config.status: creating globals/regexp.ml
  138. config.status: creating python/pycocci.ml
  139. config.status: creating ocaml/prepare_ocamlcocci.ml
  140. config.status: creating scripts/spatch.sh
  141. config.status: creating tools/spgen/scripts/spgen.sh
  142. config.status: creating docs/spatch.1
  143. config.status: creating setup/Makefile
  144. config.status: executing depfiles commands
  145. configure: configuration completed
  146. ------------------------------------------------------------------------------
  147. Summary
  148.  
  149. configure flags:  
  150. findlib:          /usr/bin/ocamlfind    (an actual version is strongly recommended)
  151. menhir:           /usr/bin/menhir   (for local package use --without-menhir, install the menhir package otherwise)
  152.  
  153. ocaml scripting:  yes   (overridable with --enable-ocaml)
  154. python scripting: yes   (overridable with --enable-python)
  155.  
  156. pcre regexes:       (overridable with --enable-pcre-syntax)
  157. pcre module:      yes   (for local package use --disable-pcre)
  158. pcre library:     yes   (requires the libpcre-ocaml-dev package)
  159.  
  160. optimized spatch: yes   (overridable with --disable-opt)
  161.  
  162. ------------------------------------------------------------------------------
  163. Coccinelle can now be compiled and installed.
  164.  
  165.  
  166. If you compile coccinelle again after source code changes or
  167. configuration changes, you may need to run first:
  168.   $ make clean
  169.  
  170. To compile coccinelle, run:
  171.   $ make
  172.  
  173. To install coccinelle, run:
  174.   $ make install
  175.  
  176. Then, to test coccinelle, run for example:
  177.   $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c
  178.  
  179. Or when coccinelle is not installed yet:
  180.   $ COCCINELLE_HOME=/home/himanshu/coccinelle ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c
  181. ------------------------------------------------------------------------------
  182. You may need to set some environment variables so that the python
  183. libraries are found. The frontend 'spatch' sets the following variables:
  184.  
  185.   $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/local/lib
  186.   $ export PYTHONPATH=$PYTHONPATH:${exec_prefix}/lib/coccinelle/python
  187.  
  188. ------------------------------------------------------------------------------
  189. himanshu@himanshu-Vostro-3559:~/coccinelle$ make
  190. make -C bundles/stdcompat all
  191. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/stdcompat'
  192. cpp 2>/dev/null -DOCAMLVERSION=402 -undef stdcompat.mlip >stdcompat.mli || rm stdcompat.mli
  193. ocamlfind ocamlc -c stdcompat.mli
  194. ocamlfind ocamlc -pp "cpp 2>/dev/null -DOCAMLVERSION=402 -undef" -c -impl stdcompat.mlp
  195. ocamlfind ocamlc -a stdcompat.cmo -o stdcompat.cma
  196. ocamlfind ocamlopt -pp "cpp 2>/dev/null -DOCAMLVERSION=402 -undef -DOCAMLNATIVE" -c -impl stdcompat.mlp
  197. ocamlfind ocamlopt -a stdcompat.cmx -o stdcompat.cmxa
  198. ocamlfind ocamlopt -shared stdcompat.cmx -o stdcompat.cmxs
  199. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/stdcompat'
  200. make -C bundles/menhirLib all
  201. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  202. /bin/tar xfz menhir-20171013.tar.gz
  203. touch menhir-20171013/.marker
  204. echo "let libdir = \"/home/himanshu/coccinelle/bundles/menhirLib\"" > menhir-20171013/src/installation.ml
  205. echo "let ocamlfind = false" >> menhir-20171013/src/installation.ml
  206. patch -p0 <menhir-for-ocaml-3.12.patch
  207. patching file menhir-20171013/src/Engine.ml
  208. patching file menhir-20171013/src/IO.ml
  209. patching file menhir-20171013/src/IncrementalEngine.ml
  210. patching file menhir-20171013/src/InspectionTableInterpreter.ml
  211. patching file menhir-20171013/src/LRijkstra.ml
  212. patching file menhir-20171013/src/PackedIntArray.ml
  213. patching file menhir-20171013/src/cmly_read.ml
  214. patching file menhir-20171013/src/grammarFunctor.ml
  215. patching file menhir-20171013/src/grammarFunctor.mli
  216. Hunk #2 succeeded at 323 with fuzz 1.
  217. patching file menhir-20171013/src/interpret.ml
  218. patching file menhir-20171013/src/keyword.ml
  219. patching file menhir-20171013/src/keyword.mli
  220. patching file menhir-20171013/src/lexer.mll
  221. patching file menhir-20171013/src/lr1.ml
  222. patching file menhir-20171013/src/lr1.mli
  223. patching file menhir-20171013/src/misc.ml
  224. patching file menhir-20171013/src/nonTerminalDefinitionInlining.ml
  225. patching file menhir-20171013/src/parameterizedGrammar.ml
  226. patching file menhir-20171013/src/parserAux.ml
  227. patching file menhir-20171013/src/partialGrammar.ml
  228. patching file menhir-20171013/src/pprint.ml
  229. patching file menhir-20171013/src/printer.ml
  230. patching file menhir-20171013/src/referenceInterpreter.ml
  231. patching file menhir-20171013/src/stringMap.ml
  232. patching file menhir-20171013/src/stringMap.mli
  233. patching file menhir-20171013/src/unparameterizedPrinter.ml
  234. touch .prepare
  235. /usr/bin/ocamllex.opt menhir-20171013/src/lexer.mll -o menhir-20171013/src/lexer.ml
  236. 306 states, 1901 transitions, table size 9440 bytes
  237. 5860 additional bytes used for bindings
  238. /usr/bin/ocamllex.opt menhir-20171013/src/lexdep.mll -o menhir-20171013/src/lexdep.ml
  239. 28 states, 426 transitions, table size 1872 bytes
  240. 1447 additional bytes used for bindings
  241. /usr/bin/ocamllex.opt menhir-20171013/src/lexmli.mll -o menhir-20171013/src/lexmli.ml
  242. 80 states, 5444 transitions, table size 22256 bytes
  243. 18240 additional bytes used for bindings
  244. cp menhir-20171013/src/yacc-parser.mly menhir-20171013/src/parser.mly
  245. /usr/bin/ocamlyacc menhir-20171013/src/parser.mly
  246. /usr/bin/ocamllex.opt menhir-20171013/src/sentenceLexer.mll -o menhir-20171013/src/sentenceLexer.ml
  247. 16 states, 675 transitions, table size 2796 bytes
  248. /usr/bin/ocamlyacc menhir-20171013/src/sentenceParser.mly
  249. /usr/bin/ocamldep  -I ../stdcompat -I menhir-20171013/src menhir-20171013/src/*.ml menhir-20171013/src/*.mli >.depend
  250. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  251. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Fix.mli -o menhir-20171013/src/Fix.cmi
  252. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/Fix.ml -o menhir-20171013/src/Fix.cmx
  253. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/IO.mli -o menhir-20171013/src/IO.cmi
  254. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/IO.ml -o menhir-20171013/src/IO.cmx
  255. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/installation.mli -o menhir-20171013/src/installation.cmi
  256. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/installation.ml -o menhir-20171013/src/installation.cmx
  257. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/keyword.mli -o menhir-20171013/src/keyword.cmi
  258. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/keyword.ml -o menhir-20171013/src/keyword.cmx
  259. /usr/bin/ocamllex.opt menhir-20171013/src/lineCount.mll -o menhir-20171013/src/lineCount.ml
  260. 5 states, 259 transitions, table size 1066 bytes
  261. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lineCount.ml -o menhir-20171013/src/lineCount.cmx
  262. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/positions.mli -o menhir-20171013/src/positions.cmi
  263. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/positions.ml -o menhir-20171013/src/positions.cmx
  264. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/stringSet.mli -o menhir-20171013/src/stringSet.cmi
  265. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/stringSet.ml -o menhir-20171013/src/stringSet.cmx
  266. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/version.ml -o menhir-20171013/src/version.cmx
  267. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/settings.mli -o menhir-20171013/src/settings.cmi
  268. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/settings.ml -o menhir-20171013/src/settings.cmx
  269. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/stretch.mli -o menhir-20171013/src/stretch.cmi
  270. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/IL.mli -o menhir-20171013/src/IL.cmi
  271. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/printer.mli -o menhir-20171013/src/printer.cmi
  272. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/printer.ml -o menhir-20171013/src/printer.cmx
  273. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/action.mli -o menhir-20171013/src/action.cmi
  274. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/action.ml -o menhir-20171013/src/action.cmx
  275. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/mark.mli -o menhir-20171013/src/mark.cmi
  276. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/mark.ml -o menhir-20171013/src/mark.cmx
  277. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/stringMap.mli -o menhir-20171013/src/stringMap.cmi
  278. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/stringMap.ml -o menhir-20171013/src/stringMap.cmx
  279. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/General.mli -o menhir-20171013/src/General.cmi
  280. /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
  281. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/InfiniteArray.mli -o menhir-20171013/src/InfiniteArray.cmi
  282. /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
  283. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/PackedIntArray.mli -o menhir-20171013/src/PackedIntArray.cmi
  284. /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
  285. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/LinearizedArray.mli -o menhir-20171013/src/LinearizedArray.cmi
  286. /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
  287. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/RowDisplacement.mli -o menhir-20171013/src/RowDisplacement.cmi
  288. /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
  289. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/IncrementalEngine.ml -o menhir-20171013/src/IncrementalEngine.cmx
  290. /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
  291. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/IncrementalEngine.ml -o menhir-20171013/src/IncrementalEngine.cmo
  292. /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
  293. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Engine.mli -o menhir-20171013/src/Engine.cmi
  294. /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
  295. /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
  296. /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
  297. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/TableInterpreter.mli -o menhir-20171013/src/TableInterpreter.cmi
  298. /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
  299. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Convert.mli -o menhir-20171013/src/Convert.cmi
  300. /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
  301. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src   -pack \
  302.     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 \
  303.     -o menhir-20171013/src/menhirLib.cmx
  304. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/misc.mli -o menhir-20171013/src/misc.cmi
  305. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/misc.ml -o menhir-20171013/src/misc.cmx
  306. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/codeBits.mli -o menhir-20171013/src/codeBits.cmi
  307. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/codeBits.ml -o menhir-20171013/src/codeBits.cmx
  308. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/gSet.ml -o menhir-20171013/src/gSet.cmx
  309. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/gSet.ml -o menhir-20171013/src/gSet.cmo
  310. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/compressedBitSet.mli -o menhir-20171013/src/compressedBitSet.cmi
  311. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/compressedBitSet.ml -o menhir-20171013/src/compressedBitSet.cmx
  312. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/option.mli -o menhir-20171013/src/option.cmi
  313. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/option.ml -o menhir-20171013/src/option.cmx
  314. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/dot.mli -o menhir-20171013/src/dot.cmi
  315. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/dot.ml -o menhir-20171013/src/dot.cmx
  316. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/error.mli -o menhir-20171013/src/error.cmi
  317. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/error.ml -o menhir-20171013/src/error.cmx
  318. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/InputFile.mli -o menhir-20171013/src/InputFile.cmi
  319. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/syntax.mli -o menhir-20171013/src/syntax.cmi
  320. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/parameters.ml -o menhir-20171013/src/parameters.cmx
  321. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/InputFile.ml -o menhir-20171013/src/InputFile.cmx
  322. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/parserAux.mli -o menhir-20171013/src/parserAux.cmi
  323. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/parserAux.ml -o menhir-20171013/src/parserAux.cmx
  324. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/parser.mli -o menhir-20171013/src/parser.cmi
  325. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/parser.ml -o menhir-20171013/src/parser.cmx
  326. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lexer.ml -o menhir-20171013/src/lexer.cmx
  327. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/tarjan.mli -o menhir-20171013/src/tarjan.cmi
  328. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/tarjan.ml -o menhir-20171013/src/tarjan.cmx
  329. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/unionFind.mli -o menhir-20171013/src/unionFind.cmi
  330. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/unionFind.ml -o menhir-20171013/src/unionFind.cmx
  331. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/unparameterizedSyntax.ml -o menhir-20171013/src/unparameterizedSyntax.cmx
  332. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/unparameterizedSyntax.ml -o menhir-20171013/src/unparameterizedSyntax.cmo
  333. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/parameterizedGrammar.mli -o menhir-20171013/src/parameterizedGrammar.cmi
  334. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/parameterizedGrammar.ml -o menhir-20171013/src/parameterizedGrammar.cmx
  335. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/partialGrammar.mli -o menhir-20171013/src/partialGrammar.cmi
  336. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/partialGrammar.ml -o menhir-20171013/src/partialGrammar.cmx
  337. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/time.mli -o menhir-20171013/src/time.cmi
  338. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/time.ml -o menhir-20171013/src/time.cmx
  339. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/tokenType.mli -o menhir-20171013/src/tokenType.cmi
  340. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/tokenType.ml -o menhir-20171013/src/tokenType.cmx
  341. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/nonterminalType.mli -o menhir-20171013/src/nonterminalType.cmi
  342. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/nonterminalType.ml -o menhir-20171013/src/nonterminalType.cmx
  343. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/interface.mli -o menhir-20171013/src/interface.cmi
  344. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/interface.ml -o menhir-20171013/src/interface.cmx
  345. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lexdep.ml -o menhir-20171013/src/lexdep.cmx
  346. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lexmli.ml -o menhir-20171013/src/lexmli.cmx
  347. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/infer.mli -o menhir-20171013/src/infer.cmi
  348. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/infer.ml -o menhir-20171013/src/infer.cmx
  349. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/listMonad.mli -o menhir-20171013/src/listMonad.cmi
  350. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/listMonad.ml -o menhir-20171013/src/listMonad.cmx
  351. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/nonTerminalDefinitionInlining.mli -o menhir-20171013/src/nonTerminalDefinitionInlining.cmi
  352. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/nonTerminalDefinitionInlining.ml -o menhir-20171013/src/nonTerminalDefinitionInlining.cmx
  353. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/reachability.mli -o menhir-20171013/src/reachability.cmi
  354. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/reachability.ml -o menhir-20171013/src/reachability.cmx
  355. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/unparameterizedPrinter.mli -o menhir-20171013/src/unparameterizedPrinter.cmi
  356. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/unparameterizedPrinter.ml -o menhir-20171013/src/unparameterizedPrinter.cmx
  357. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/FixSolver.mli -o menhir-20171013/src/FixSolver.cmi
  358. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/FixSolver.ml -o menhir-20171013/src/FixSolver.cmx
  359. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Boolean.mli -o menhir-20171013/src/Boolean.cmi
  360. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/Boolean.ml -o menhir-20171013/src/Boolean.cmx
  361. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Maps.mli -o menhir-20171013/src/Maps.cmi
  362. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/Maps.ml -o menhir-20171013/src/Maps.cmx
  363. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/gMap.ml -o menhir-20171013/src/gMap.cmx
  364. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/gMap.ml -o menhir-20171013/src/gMap.cmo
  365. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/patricia.mli -o menhir-20171013/src/patricia.cmi
  366. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/patricia.ml -o menhir-20171013/src/patricia.cmx
  367. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/grammarFunctor.mli -o menhir-20171013/src/grammarFunctor.cmi
  368. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/grammarFunctor.ml -o menhir-20171013/src/grammarFunctor.cmx
  369. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/keywordExpansion.mli -o menhir-20171013/src/keywordExpansion.cmi
  370. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/keywordExpansion.ml -o menhir-20171013/src/keywordExpansion.cmx
  371. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/anonymous.mli -o menhir-20171013/src/anonymous.cmi
  372. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/anonymous.ml -o menhir-20171013/src/anonymous.cmx
  373. cp menhir-20171013/src/yaccDriver.ml menhir-20171013/src/Driver.ml
  374. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/Driver.mli -o menhir-20171013/src/Driver.cmi
  375. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/Driver.ml -o menhir-20171013/src/Driver.cmx
  376. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/front.mli -o menhir-20171013/src/front.cmi
  377. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/front.ml -o menhir-20171013/src/front.cmx
  378. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/grammar.ml -o menhir-20171013/src/grammar.cmx
  379. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/grammar.ml -o menhir-20171013/src/grammar.cmo
  380. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/codePieces.mli -o menhir-20171013/src/codePieces.cmi
  381. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/codePieces.ml -o menhir-20171013/src/codePieces.cmx
  382. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/lookahead.mli -o menhir-20171013/src/lookahead.cmi
  383. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/item.mli -o menhir-20171013/src/item.cmi
  384. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/item.ml -o menhir-20171013/src/item.cmx
  385. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/derivation.mli -o menhir-20171013/src/derivation.cmi
  386. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/derivation.ml -o menhir-20171013/src/derivation.cmx
  387. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/lr0.mli -o menhir-20171013/src/lr0.cmi
  388. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lr0.ml -o menhir-20171013/src/lr0.cmx
  389. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/slr.mli -o menhir-20171013/src/slr.cmi
  390. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/slr.ml -o menhir-20171013/src/slr.cmx
  391. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/lr1.mli -o menhir-20171013/src/lr1.cmi
  392. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lr1.ml -o menhir-20171013/src/lr1.cmx
  393. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/lr1partial.mli -o menhir-20171013/src/lr1partial.cmi
  394. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/lr1partial.ml -o menhir-20171013/src/lr1partial.cmx
  395. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/DependencyGraph.mli -o menhir-20171013/src/DependencyGraph.cmi
  396. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/DependencyGraph.ml -o menhir-20171013/src/DependencyGraph.cmx
  397. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/conflict.mli -o menhir-20171013/src/conflict.cmi
  398. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/conflict.ml -o menhir-20171013/src/conflict.cmx
  399. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/invariant.mli -o menhir-20171013/src/invariant.cmi
  400. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/invariant.ml -o menhir-20171013/src/invariant.cmx
  401. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/default.mli -o menhir-20171013/src/default.cmi
  402. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/default.ml -o menhir-20171013/src/default.cmx
  403. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/codeBackend.mli -o menhir-20171013/src/codeBackend.cmi
  404. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/codeBackend.ml -o menhir-20171013/src/codeBackend.cmx
  405. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/coqBackend.mli -o menhir-20171013/src/coqBackend.cmi
  406. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/coqBackend.ml -o menhir-20171013/src/coqBackend.cmx
  407. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/pprint.mli -o menhir-20171013/src/pprint.cmi
  408. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/pprint.ml -o menhir-20171013/src/pprint.cmx
  409. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/cst.mli -o menhir-20171013/src/cst.cmi
  410. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/cst.ml -o menhir-20171013/src/cst.cmx
  411. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/traverse.ml -o menhir-20171013/src/traverse.cmx
  412. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/inliner.mli -o menhir-20171013/src/inliner.cmi
  413. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/inliner.ml -o menhir-20171013/src/inliner.cmx
  414. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/referenceInterpreter.mli -o menhir-20171013/src/referenceInterpreter.cmi
  415. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/referenceInterpreter.ml -o menhir-20171013/src/referenceInterpreter.cmx
  416. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/sentenceParserAux.ml -o menhir-20171013/src/sentenceParserAux.cmx
  417. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/sentenceParserAux.ml -o menhir-20171013/src/sentenceParserAux.cmo
  418. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/sentenceParser.mli -o menhir-20171013/src/sentenceParser.cmi
  419. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/sentenceParser.ml -o menhir-20171013/src/sentenceParser.cmx
  420. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/sentenceLexer.ml -o menhir-20171013/src/sentenceLexer.cmx
  421. /usr/bin/ocamllex.opt menhir-20171013/src/segment.mll -o menhir-20171013/src/segment.ml
  422. 16 states, 267 transitions, table size 1164 bytes
  423. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/segment.ml -o menhir-20171013/src/segment.cmx
  424. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/interpret.mli -o menhir-20171013/src/interpret.cmi
  425. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/interpret.ml -o menhir-20171013/src/interpret.cmx
  426. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/tableBackend.mli -o menhir-20171013/src/tableBackend.cmi
  427. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/tableBackend.ml -o menhir-20171013/src/tableBackend.cmx
  428. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/MySet.mli -o menhir-20171013/src/MySet.cmi
  429. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/MySet.ml -o menhir-20171013/src/MySet.cmx
  430. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/resizableArray.mli -o menhir-20171013/src/resizableArray.cmi
  431. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/resizableArray.ml -o menhir-20171013/src/resizableArray.cmx
  432. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/LowIntegerPriorityQueue.mli -o menhir-20171013/src/LowIntegerPriorityQueue.cmi
  433. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/LowIntegerPriorityQueue.ml -o menhir-20171013/src/LowIntegerPriorityQueue.cmx
  434. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/astar.mli -o menhir-20171013/src/astar.cmi
  435. /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
  436. /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
  437. /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
  438. /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
  439. /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
  440. /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
  441. /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
  442. /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
  443. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -pack \
  444.     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 \
  445.     -o menhir-20171013/src/menhirLib.cmo
  446. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/astar.ml -o menhir-20171013/src/astar.cmx
  447. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/LRijkstra.mli -o menhir-20171013/src/LRijkstra.cmi
  448. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/LRijkstra.ml -o menhir-20171013/src/LRijkstra.cmx
  449. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/cmly_api.ml -o menhir-20171013/src/cmly_api.cmx
  450. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/cmly_format.ml -o menhir-20171013/src/cmly_format.cmx
  451. /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
  452. /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
  453. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/cmly_read.ml -o menhir-20171013/src/cmly_read.cmx
  454. /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
  455. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/cmly_write.ml -o menhir-20171013/src/cmly_write.cmx
  456. /usr/bin/ocamlc.opt -unsafe -I ../stdcompat -I menhir-20171013/src   -c menhir-20171013/src/back.mli -o menhir-20171013/src/back.cmi
  457. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/back.ml -o menhir-20171013/src/back.cmx
  458. /usr/bin/ocamlopt.opt  -I ../stdcompat -I menhir-20171013/src    -c menhir-20171013/src/menhir.ml -o menhir-20171013/src/menhir.cmx
  459. /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
  460. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  461. if [ -n "" ]; then \
  462.   cp  .; \
  463. fi
  464. cp menhir-20171013/src/standard.mly standard.mly
  465. rm menhir-20171013/src/segment.ml menhir-20171013/src/lineCount.ml
  466. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  467. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  468. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  469. if [ -n "" ]; then \
  470.   cp  .; \
  471. fi
  472. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  473. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  474. make -C bundles/menhirLib all.opt
  475. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  476. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  477. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  478. if [ -n "" ]; then \
  479.   cp  .; \
  480. fi
  481. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  482. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  483. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
  484. if [ -n "" ]; then \
  485.   cp  .; \
  486. fi
  487. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  488. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  489. /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)
  490. OCAMLYACC parsing_c/parser_c.mly
  491. OCAMLDEP  parsing_c/parser_c.mli
  492. OCAMLDEP  tools/spgen/source/spgen_lexer.mli
  493. OCAMLDEP  parsing_c/lexer_c.mli
  494. OCAMLDEP  parsing_cocci/lexer_script.mli
  495. OCAMLDEP  parsing_cocci/lexer_cli.mli
  496. OCAMLDEP  parsing_cocci/lexer_cocci.mli
  497. OCAMLDEP  tools/spgen/source/main.mli
  498. OCAMLDEP  tools/spgen/source/spgen_test.mli
  499. OCAMLDEP  tools/spgen/source/spgen.mli
  500. OCAMLDEP  tools/spgen/source/spgen_config.mli
  501. OCAMLDEP  tools/spgen/source/spgen_interactive.mli
  502. OCAMLDEP  tools/spgen/source/file_transform.mli
  503. OCAMLDEP  tools/spgen/source/script_rule.mli
  504. OCAMLDEP  tools/spgen/source/context_rule.mli
  505. OCAMLDEP  tools/spgen/source/rule_header.mli
  506. OCAMLDEP  tools/spgen/source/rule_body.mli
  507. OCAMLDEP  tools/spgen/source/disj_generator.mli
  508. OCAMLDEP  tools/spgen/source/position_generator.mli
  509. OCAMLDEP  tools/spgen/source/user_input.mli
  510. OCAMLDEP  tools/spgen/source/snapshot.mli
  511. OCAMLDEP  tools/spgen/source/meta_variable.mli
  512. OCAMLDEP  tools/spgen/source/detect_patch.mli
  513. OCAMLDEP  tools/spgen/source/ast_tostring.mli
  514. OCAMLDEP  tools/spgen/source/globals.mli
  515. OCAMLDEP  main.mli
  516. OCAMLDEP  read_options.mli
  517. OCAMLDEP  testing.mli
  518. OCAMLDEP  cocci.mli
  519. OCAMLDEP  flag_cocci.mli
  520. OCAMLDEP  extra/maintainers.mli
  521. OCAMLDEP  extra/kbuild.mli
  522. OCAMLDEP  extra/classic_patch.mli
  523. OCAMLDEP  popl09/popl.mli
  524. OCAMLDEP  popl09/popltoctl.mli
  525. OCAMLDEP  popl09/flag_popl.mli
  526. OCAMLDEP  popl09/pretty_print_popl.mli
  527. OCAMLDEP  popl09/insert_quantifiers.mli
  528. OCAMLDEP  popl09/asttopopl.mli
  529. OCAMLDEP  popl09/ast_popl.mli
  530. OCAMLDEP  engine/ctlcocci_integration.mli
  531. OCAMLDEP  engine/postprocess_transinfo.mli
  532. OCAMLDEP  engine/ctltotex.mli
  533. OCAMLDEP  engine/asttoctl2.mli
  534. OCAMLDEP  engine/asttomember.mli
  535. OCAMLDEP  engine/transformation_c.mli
  536. OCAMLDEP  engine/pattern_c.mli
  537. OCAMLDEP  engine/cocci_vs_c.mli
  538. OCAMLDEP  engine/isomorphisms_c_c.mli
  539. OCAMLDEP  engine/c_vs_c.mli
  540. OCAMLDEP  engine/check_reachability.mli
  541. OCAMLDEP  engine/check_exhaustive_pattern.mli
  542. OCAMLDEP  engine/pretty_print_engine.mli
  543. OCAMLDEP  engine/lib_engine.mli
  544. OCAMLDEP  engine/flag_matcher.mli
  545. OCAMLDEP  python/pycocci.mli
  546. OCAMLDEP  python/yes_pycocci.mli
  547. OCAMLDEP  python/pycocci_aux.mli
  548. OCAMLDEP  ocaml/run_ocamlcocci.mli
  549. OCAMLDEP  ocaml/prepare_ocamlcocci.mli
  550. OCAMLDEP  ocaml/yes_prepare_ocamlcocci.mli
  551. OCAMLDEP  ocaml/ocamlcocci_aux.mli
  552. OCAMLDEP  ocaml/coccilib.mli
  553. OCAMLDEP  ocaml/exposed_modules.mli
  554. OCAMLDEP  ocaml/externalanalysis.mli
  555. OCAMLDEP  ctl/wrapper_ctl.mli
  556. OCAMLDEP  ctl/ctl_engine.mli
  557. OCAMLDEP  ctl/pretty_print_ctl.mli
  558. OCAMLDEP  ctl/ast_ctl.mli
  559. OCAMLDEP  ctl/flag_ctl.mli
  560. OCAMLDEP  parsing_c/test_parsing_c.mli
  561. OCAMLDEP  parsing_c/compare_c.mli
  562. OCAMLDEP  parsing_c/comment_annotater_c.mli
  563. OCAMLDEP  parsing_c/type_annoter_c.mli
  564. OCAMLDEP  parsing_c/cpp_ast_c.mli
  565. OCAMLDEP  parsing_c/type_c.mli
  566. OCAMLDEP  parsing_c/unparse_hrule.mli
  567. OCAMLDEP  parsing_c/unparse_c.mli
  568. OCAMLDEP  parsing_c/parse_c.mli
  569. OCAMLDEP  parsing_c/danger.mli
  570. OCAMLDEP  parsing_c/parsing_consistency_c.mli
  571. OCAMLDEP  parsing_c/parsing_recovery_c.mli
  572. OCAMLDEP  parsing_c/unparse_cocci.mli
  573. OCAMLDEP  parsing_c/cpp_analysis_c.mli
  574. OCAMLDEP  parsing_c/parsing_hacks.mli
  575. OCAMLDEP  parsing_c/cpp_token_c.mli
  576. OCAMLDEP  parsing_c/token_views_c.mli
  577. OCAMLDEP  parsing_c/token_helpers.mli
  578. OCAMLDEP  parsing_c/parse_string_c.mli
  579. OCAMLDEP  parsing_c/lexer_parser.mli
  580. OCAMLDEP  parsing_c/semantic_c.mli
  581. OCAMLDEP  parsing_c/pretty_print_c.mli
  582. OCAMLDEP  parsing_c/control_flow_c_build.mli
  583. OCAMLDEP  parsing_c/lib_parsing_c.mli
  584. OCAMLDEP  parsing_c/visitor_c.mli
  585. OCAMLDEP  parsing_c/control_flow_c.mli
  586. OCAMLDEP  parsing_c/includes.mli
  587. OCAMLDEP  parsing_c/ast_c.mli
  588. OCAMLDEP  parsing_c/token_c.mli
  589. OCAMLDEP  parsing_c/parsing_stat.mli
  590. OCAMLDEP  parsing_c/flag_parsing_c.mli
  591. OCAMLDEP  parsing_c/token_annot.mli
  592. OCAMLDEP  parsing_cocci/command_line.mli
  593. OCAMLDEP  parsing_cocci/parse_cocci.mli
  594. OCAMLDEP  parsing_cocci/re_constraints.mli
  595. OCAMLDEP  parsing_cocci/commas_on_lists.mli
  596. OCAMLDEP  parsing_cocci/adjacency.mli
  597. OCAMLDEP  parsing_cocci/git_grep.mli
  598. OCAMLDEP  parsing_cocci/id_utils.mli
  599. OCAMLDEP  parsing_cocci/get_constants2.mli
  600. OCAMLDEP  parsing_cocci/dpll.mli
  601. OCAMLDEP  parsing_cocci/cocci_grep.mli
  602. OCAMLDEP  parsing_cocci/disjdistr.mli
  603. OCAMLDEP  parsing_cocci/parse_aux.mli
  604. OCAMLDEP  parsing_cocci/parse_printf.mli
  605. OCAMLDEP  parsing_cocci/safe_for_multi_decls.mli
  606. OCAMLDEP  parsing_cocci/free_vars.mli
  607. OCAMLDEP  parsing_cocci/data.mli
  608. OCAMLDEP  parsing_cocci/semantic_cocci.mli
  609. OCAMLDEP  parsing_cocci/function_prototypes.mli
  610. OCAMLDEP  parsing_cocci/insert_plus.mli
  611. OCAMLDEP  parsing_cocci/adjust_pragmas.mli
  612. OCAMLDEP  parsing_cocci/context_neg.mli
  613. OCAMLDEP  parsing_cocci/index.mli
  614. OCAMLDEP  parsing_cocci/arity.mli
  615. OCAMLDEP  parsing_cocci/unitary_ast0.mli
  616. OCAMLDEP  parsing_cocci/test_exps.mli
  617. OCAMLDEP  parsing_cocci/type_infer.mli
  618. OCAMLDEP  parsing_cocci/top_level.mli
  619. OCAMLDEP  parsing_cocci/check_meta.mli
  620. OCAMLDEP  parsing_cocci/stmtlist.mli
  621. OCAMLDEP  parsing_cocci/get_metas.mli
  622. OCAMLDEP  parsing_cocci/simple_assignments.mli
  623. OCAMLDEP  parsing_cocci/single_statement.mli
  624. OCAMLDEP  parsing_cocci/iso_compile.mli
  625. OCAMLDEP  parsing_cocci/comm_assoc.mli
  626. OCAMLDEP  parsing_cocci/iso_pattern.mli
  627. OCAMLDEP  parsing_cocci/compute_lines.mli
  628. OCAMLDEP  parsing_cocci/unify_ast.mli
  629. OCAMLDEP  parsing_cocci/unparse_ast0.mli
  630. OCAMLDEP  parsing_cocci/ast0toast.mli
  631. OCAMLDEP  parsing_cocci/visitor_ast0.mli
  632. OCAMLDEP  parsing_cocci/visitor_ast.mli
  633. OCAMLDEP  parsing_cocci/visitor_ast0_types.mli
  634. OCAMLDEP  parsing_cocci/pretty_print_cocci.mli
  635. OCAMLDEP  parsing_cocci/ast0_cocci.mli
  636. OCAMLDEP  parsing_cocci/ast_cocci.mli
  637. OCAMLDEP  parsing_cocci/flag_parsing_cocci.mli
  638. OCAMLDEP  globals/regexp.mli
  639. OCAMLDEP  globals/regexp_pcre.mli
  640. OCAMLDEP  globals/iteration.mli
  641. OCAMLDEP  globals/flag.mli
  642. OCAMLDEP  globals/config.mli
  643. OCAMLDEP  commons/proc_pidpath.mli
  644. OCAMLDEP  commons/ograph_extended.mli
  645. OCAMLDEP  commons/ograph_simple.mli
  646. OCAMLDEP  commons/common.mli
  647. OCAMLDEP  commons/commands.mli
  648. OCAMLDEP  commons/ocamlextra/dumper.mli
  649. OCAMLDEP  parsing_c/parser_c.ml
  650. OCAMLLEX  tools/spgen/source/spgen_lexer.mll
  651. 143 states, 8123 transitions, table size 33350 bytes
  652. 23641 additional bytes used for bindings
  653. OCAMLDEP  tools/spgen/source/spgen_lexer.ml
  654. OCAMLLEX  parsing_c/lexer_c.mll
  655. 549 states, 26116 transitions, table size 107758 bytes
  656. 15973 additional bytes used for bindings
  657. OCAMLDEP  parsing_c/lexer_c.ml
  658. OCAMLLEX  parsing_cocci/lexer_script.mll
  659. 22 states, 272 transitions, table size 1220 bytes
  660. OCAMLDEP  parsing_cocci/lexer_script.ml
  661. OCAMLLEX  parsing_cocci/lexer_cli.mll
  662. 14 states, 681 transitions, table size 2808 bytes
  663. OCAMLDEP  parsing_cocci/lexer_cli.ml
  664. OCAMLLEX  parsing_cocci/lexer_cocci.mll
  665. 376 states, 7064 transitions, table size 30512 bytes
  666. 3347 additional bytes used for bindings
  667. OCAMLDEP  parsing_cocci/lexer_cocci.ml
  668. OCAMLDEP  tools/spgen/source/main.ml
  669. OCAMLDEP  tools/spgen/source/spgen_test.ml
  670. OCAMLDEP  tools/spgen/source/spgen.ml
  671. OCAMLDEP  tools/spgen/source/spgen_config.ml
  672. OCAMLDEP  tools/spgen/source/spgen_interactive.ml
  673. OCAMLDEP  tools/spgen/source/file_transform.ml
  674. OCAMLDEP  tools/spgen/source/script_rule.ml
  675. OCAMLDEP  tools/spgen/source/context_rule.ml
  676. OCAMLDEP  tools/spgen/source/rule_header.ml
  677. OCAMLDEP  tools/spgen/source/rule_body.ml
  678. OCAMLDEP  tools/spgen/source/disj_generator.ml
  679. OCAMLDEP  tools/spgen/source/position_generator.ml
  680. OCAMLDEP  tools/spgen/source/user_input.ml
  681. OCAMLDEP  tools/spgen/source/snapshot.ml
  682. OCAMLDEP  tools/spgen/source/meta_variable.ml
  683. OCAMLDEP  tools/spgen/source/detect_patch.ml
  684. OCAMLDEP  tools/spgen/source/ast_tostring.ml
  685. OCAMLDEP  tools/spgen/source/globals.ml
  686. OCAMLDEP  main.ml
  687. OCAMLDEP  read_options.ml
  688. OCAMLDEP  testing.ml
  689. OCAMLDEP  cocci.ml
  690. OCAMLDEP  flag_cocci.ml
  691. OCAMLDEP  extra/maintainers.ml
  692. OCAMLDEP  extra/kbuild.ml
  693. OCAMLDEP  extra/classic_patch.ml
  694. OCAMLDEP  popl09/popl.ml
  695. OCAMLDEP  popl09/popltoctl.ml
  696. OCAMLDEP  popl09/flag_popl.ml
  697. OCAMLDEP  popl09/pretty_print_popl.ml
  698. OCAMLDEP  popl09/insert_quantifiers.ml
  699. OCAMLDEP  popl09/asttopopl.ml
  700. OCAMLDEP  popl09/ast_popl.ml
  701. OCAMLDEP  engine/ctlcocci_integration.ml
  702. OCAMLDEP  engine/postprocess_transinfo.ml
  703. OCAMLDEP  engine/ctltotex.ml
  704. OCAMLDEP  engine/asttoctl2.ml
  705. OCAMLDEP  engine/asttomember.ml
  706. OCAMLDEP  engine/transformation_c.ml
  707. OCAMLDEP  engine/pattern_c.ml
  708. OCAMLDEP  engine/cocci_vs_c.ml
  709. OCAMLDEP  engine/isomorphisms_c_c.ml
  710. OCAMLDEP  engine/c_vs_c.ml
  711. OCAMLDEP  engine/check_reachability.ml
  712. OCAMLDEP  engine/check_exhaustive_pattern.ml
  713. OCAMLDEP  engine/pretty_print_engine.ml
  714. OCAMLDEP  engine/lib_engine.ml
  715. OCAMLDEP  engine/flag_matcher.ml
  716. OCAMLDEP  python/pycocci.ml
  717. OCAMLDEP  python/yes_pycocci.ml
  718. OCAMLDEP  python/pycocci_aux.ml
  719. OCAMLDEP  ocaml/run_ocamlcocci.ml
  720. OCAMLDEP  ocaml/prepare_ocamlcocci.ml
  721. OCAMLDEP  ocaml/yes_prepare_ocamlcocci.ml
  722. OCAMLDEP  ocaml/ocamlcocci_aux.ml
  723. OCAMLDEP  ocaml/coccilib.ml
  724. OCAMLDEP  ocaml/exposed_modules.ml
  725. OCAMLDEP  ocaml/externalanalysis.ml
  726. OCAMLDEP  ctl/wrapper_ctl.ml
  727. OCAMLDEP  ctl/ctl_engine.ml
  728. OCAMLDEP  ctl/pretty_print_ctl.ml
  729. OCAMLDEP  ctl/ast_ctl.ml
  730. OCAMLDEP  ctl/flag_ctl.ml
  731. OCAMLDEP  parsing_c/test_parsing_c.ml
  732. OCAMLDEP  parsing_c/compare_c.ml
  733. OCAMLDEP  parsing_c/comment_annotater_c.ml
  734. OCAMLDEP  parsing_c/type_annoter_c.ml
  735. OCAMLDEP  parsing_c/cpp_ast_c.ml
  736. OCAMLDEP  parsing_c/type_c.ml
  737. OCAMLDEP  parsing_c/unparse_hrule.ml
  738. OCAMLDEP  parsing_c/unparse_c.ml
  739. OCAMLDEP  parsing_c/parse_c.ml
  740. OCAMLDEP  parsing_c/danger.ml
  741. OCAMLDEP  parsing_c/parsing_consistency_c.ml
  742. OCAMLDEP  parsing_c/parsing_recovery_c.ml
  743. OCAMLDEP  parsing_c/unparse_cocci.ml
  744. OCAMLDEP  parsing_c/cpp_analysis_c.ml
  745. OCAMLDEP  parsing_c/parsing_hacks.ml
  746. OCAMLDEP  parsing_c/cpp_token_c.ml
  747. OCAMLDEP  parsing_c/token_views_c.ml
  748. OCAMLDEP  parsing_c/token_helpers.ml
  749. OCAMLDEP  parsing_c/parse_string_c.ml
  750. OCAMLDEP  parsing_c/lexer_parser.ml
  751. OCAMLDEP  parsing_c/semantic_c.ml
  752. OCAMLDEP  parsing_c/pretty_print_c.ml
  753. OCAMLDEP  parsing_c/control_flow_c_build.ml
  754. OCAMLDEP  parsing_c/lib_parsing_c.ml
  755. OCAMLDEP  parsing_c/visitor_c.ml
  756. OCAMLDEP  parsing_c/control_flow_c.ml
  757. OCAMLDEP  parsing_c/includes.ml
  758. OCAMLDEP  parsing_c/ast_c.ml
  759. OCAMLDEP  parsing_c/token_c.ml
  760. OCAMLDEP  parsing_c/parsing_stat.ml
  761. OCAMLDEP  parsing_c/flag_parsing_c.ml
  762. OCAMLDEP  parsing_c/token_annot.ml
  763. OCAMLDEP  parsing_cocci/command_line.ml
  764. OCAMLDEP  parsing_cocci/parse_cocci.ml
  765. OCAMLDEP  parsing_cocci/re_constraints.ml
  766. OCAMLDEP  parsing_cocci/commas_on_lists.ml
  767. OCAMLDEP  parsing_cocci/adjacency.ml
  768. OCAMLDEP  parsing_cocci/git_grep.ml
  769. OCAMLDEP  parsing_cocci/id_utils.ml
  770. OCAMLDEP  parsing_cocci/get_constants2.ml
  771. OCAMLDEP  parsing_cocci/dpll.ml
  772. OCAMLDEP  parsing_cocci/cocci_grep.ml
  773. OCAMLDEP  parsing_cocci/disjdistr.ml
  774. OCAMLDEP  parsing_cocci/parse_aux.ml
  775. OCAMLDEP  parsing_cocci/parse_printf.ml
  776. OCAMLDEP  parsing_cocci/safe_for_multi_decls.ml
  777. OCAMLDEP  parsing_cocci/free_vars.ml
  778. OCAMLDEP  parsing_cocci/data.ml
  779. OCAMLDEP  parsing_cocci/semantic_cocci.ml
  780. OCAMLDEP  parsing_cocci/function_prototypes.ml
  781. OCAMLDEP  parsing_cocci/insert_plus.ml
  782. OCAMLDEP  parsing_cocci/adjust_pragmas.ml
  783. OCAMLDEP  parsing_cocci/context_neg.ml
  784. OCAMLDEP  parsing_cocci/index.ml
  785. OCAMLDEP  parsing_cocci/arity.ml
  786. OCAMLDEP  parsing_cocci/unitary_ast0.ml
  787. OCAMLDEP  parsing_cocci/test_exps.ml
  788. OCAMLDEP  parsing_cocci/type_infer.ml
  789. OCAMLDEP  parsing_cocci/top_level.ml
  790. OCAMLDEP  parsing_cocci/check_meta.ml
  791. OCAMLDEP  parsing_cocci/stmtlist.ml
  792. OCAMLDEP  parsing_cocci/get_metas.ml
  793. OCAMLDEP  parsing_cocci/simple_assignments.ml
  794. OCAMLDEP  parsing_cocci/single_statement.ml
  795. OCAMLDEP  parsing_cocci/iso_compile.ml
  796. OCAMLDEP  parsing_cocci/comm_assoc.ml
  797. OCAMLDEP  parsing_cocci/iso_pattern.ml
  798. OCAMLDEP  parsing_cocci/compute_lines.ml
  799. OCAMLDEP  parsing_cocci/unify_ast.ml
  800. OCAMLDEP  parsing_cocci/unparse_ast0.ml
  801. OCAMLDEP  parsing_cocci/ast0toast.ml
  802. OCAMLDEP  parsing_cocci/visitor_ast0.ml
  803. OCAMLDEP  parsing_cocci/visitor_ast.ml
  804. OCAMLDEP  parsing_cocci/visitor_ast0_types.ml
  805. OCAMLDEP  parsing_cocci/pretty_print_cocci.ml
  806. OCAMLDEP  parsing_cocci/ast0_cocci.ml
  807. OCAMLDEP  parsing_cocci/ast_cocci.ml
  808. OCAMLDEP  parsing_cocci/flag_parsing_cocci.ml
  809. OCAMLDEP  globals/regexp.ml
  810. OCAMLDEP  globals/regexp_pcre.ml
  811. OCAMLDEP  globals/iteration.ml
  812. OCAMLDEP  globals/flag.ml
  813. OCAMLDEP  globals/config.ml
  814. OCAMLDEP  commons/proc_pidpath.ml
  815. OCAMLDEP  commons/ograph_extended.ml
  816. OCAMLDEP  commons/ograph_simple.ml
  817. OCAMLDEP  commons/common.ml
  818. OCAMLDEP  commons/commands.ml
  819. OCAMLDEP  commons/ocamlextra/dumper.ml
  820. 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
  821. make -C bundles/menhirLib all
  822. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  823. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  824. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  825. if [ -n "" ]; then \
  826.   cp  .; \
  827. fi
  828. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  829. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  830. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  831. if [ -n "" ]; then \
  832.   cp  .; \
  833. fi
  834. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  835. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  836. make -C bundles/menhirLib all.opt
  837. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  838. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  839. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  840. if [ -n "" ]; then \
  841.   cp  .; \
  842. fi
  843. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  844. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  845. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
  846. if [ -n "" ]; then \
  847.   cp  .; \
  848. fi
  849. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  850. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  851. /usr/bin/ocamlc.opt -c commons/proc_pidpath_stubs.c
  852. mv proc_pidpath_stubs.o commons/proc_pidpath_stubs.o
  853. /usr/bin/ocamlmklib -o proc_pidpath_stubs commons/proc_pidpath_stubs.o
  854. OCAMLC    commons/ocamlextra/dumper.mli
  855. OCAMLOPT  commons/ocamlextra/dumper.ml
  856. OCAMLC    commons/commands.mli
  857. OCAMLOPT  commons/commands.ml
  858. OCAMLC    commons/common.mli
  859. OCAMLOPT  commons/common.ml
  860. OCAMLC    commons/ograph_simple.mli
  861. OCAMLOPT  commons/ograph_simple.ml
  862. OCAMLC    commons/ograph_extended.mli
  863. OCAMLOPT  commons/ograph_extended.ml
  864. OCAMLC    commons/proc_pidpath.mli
  865. OCAMLOPT  commons/proc_pidpath.ml
  866. OCAMLOPT  -o commons/commons.cmxa
  867. OCAMLC    globals/config.mli
  868. OCAMLOPT  globals/config.ml
  869. OCAMLC    globals/flag.mli
  870. OCAMLOPT  globals/flag.ml
  871. OCAMLC    globals/iteration.mli
  872. OCAMLOPT  globals/iteration.ml
  873. OCAMLC    globals/regexp_pcre.mli
  874. OCAMLOPT  globals/regexp_pcre.ml
  875. OCAMLC    globals/regexp.mli
  876. OCAMLOPT  globals/regexp.ml
  877. OCAMLOPT  -o globals/globals.cmxa
  878. OCAMLC    parsing_cocci/flag_parsing_cocci.mli
  879. OCAMLOPT  parsing_cocci/flag_parsing_cocci.ml
  880. OCAMLC    parsing_cocci/ast_cocci.mli
  881. OCAMLOPT  parsing_cocci/ast_cocci.ml
  882. OCAMLC    parsing_cocci/ast0_cocci.mli
  883. OCAMLOPT  parsing_cocci/ast0_cocci.ml
  884. OCAMLC    parsing_cocci/pretty_print_cocci.mli
  885. OCAMLOPT  parsing_cocci/pretty_print_cocci.ml
  886. OCAMLC    parsing_cocci/visitor_ast0_types.mli
  887. OCAMLOPT  parsing_cocci/visitor_ast0_types.ml
  888. OCAMLC    parsing_cocci/visitor_ast.mli
  889. OCAMLOPT  parsing_cocci/visitor_ast.ml
  890. OCAMLC    parsing_cocci/visitor_ast0.mli
  891. OCAMLOPT  parsing_cocci/visitor_ast0.ml
  892. OCAMLC    parsing_cocci/ast0toast.mli
  893. OCAMLOPT  parsing_cocci/ast0toast.ml
  894. OCAMLC    parsing_cocci/unparse_ast0.mli
  895. OCAMLOPT  parsing_cocci/unparse_ast0.ml
  896. OCAMLC    parsing_cocci/unify_ast.mli
  897. OCAMLOPT  parsing_cocci/unify_ast.ml
  898. OCAMLC    parsing_cocci/compute_lines.mli
  899. OCAMLOPT  parsing_cocci/compute_lines.ml
  900. OCAMLC    parsing_cocci/iso_pattern.mli
  901. OCAMLOPT  parsing_cocci/iso_pattern.ml
  902. OCAMLC    parsing_cocci/comm_assoc.mli
  903. OCAMLOPT  parsing_cocci/comm_assoc.ml
  904. OCAMLC    parsing_cocci/iso_compile.mli
  905. OCAMLOPT  parsing_cocci/iso_compile.ml
  906. OCAMLC    parsing_cocci/single_statement.mli
  907. OCAMLOPT  parsing_cocci/single_statement.ml
  908. OCAMLC    parsing_cocci/simple_assignments.mli
  909. OCAMLOPT  parsing_cocci/simple_assignments.ml
  910. OCAMLC    parsing_cocci/get_metas.mli
  911. OCAMLOPT  parsing_cocci/get_metas.ml
  912. OCAMLC    parsing_cocci/stmtlist.mli
  913. OCAMLOPT  parsing_cocci/stmtlist.ml
  914. OCAMLC    parsing_cocci/check_meta.mli
  915. OCAMLOPT  parsing_cocci/check_meta.ml
  916. OCAMLC    parsing_cocci/top_level.mli
  917. OCAMLOPT  parsing_cocci/top_level.ml
  918. OCAMLC    parsing_cocci/type_infer.mli
  919. OCAMLOPT  parsing_cocci/type_infer.ml
  920. OCAMLC    parsing_cocci/test_exps.mli
  921. OCAMLOPT  parsing_cocci/test_exps.ml
  922. OCAMLC    parsing_cocci/unitary_ast0.mli
  923. OCAMLOPT  parsing_cocci/unitary_ast0.ml
  924. OCAMLC    parsing_cocci/arity.mli
  925. OCAMLOPT  parsing_cocci/arity.ml
  926. OCAMLC    parsing_cocci/index.mli
  927. OCAMLOPT  parsing_cocci/index.ml
  928. OCAMLC    parsing_cocci/context_neg.mli
  929. OCAMLOPT  parsing_cocci/context_neg.ml
  930. OCAMLC    parsing_cocci/adjust_pragmas.mli
  931. OCAMLOPT  parsing_cocci/adjust_pragmas.ml
  932. OCAMLC    parsing_cocci/insert_plus.mli
  933. OCAMLOPT  parsing_cocci/insert_plus.ml
  934. OCAMLC    parsing_cocci/function_prototypes.mli
  935. OCAMLOPT  parsing_cocci/function_prototypes.ml
  936. OCAMLC    parsing_cocci/semantic_cocci.mli
  937. OCAMLOPT  parsing_cocci/semantic_cocci.ml
  938. OCAMLC    parsing_cocci/data.mli
  939. OCAMLOPT  parsing_cocci/data.ml
  940. OCAMLC    parsing_cocci/free_vars.mli
  941. OCAMLOPT  parsing_cocci/free_vars.ml
  942. OCAMLC    parsing_cocci/safe_for_multi_decls.mli
  943. OCAMLOPT  parsing_cocci/safe_for_multi_decls.ml
  944. OCAMLC    parsing_cocci/parse_printf.mli
  945. OCAMLOPT  parsing_cocci/parse_printf.ml
  946. OCAMLC    parsing_cocci/parse_aux.mli
  947. OCAMLOPT  parsing_cocci/parse_aux.ml
  948. OCAMLC    parsing_cocci/disjdistr.mli
  949. OCAMLOPT  parsing_cocci/disjdistr.ml
  950. MENHIR    parsing_cocci/parser_cocci_menhir.mly
  951. OCAMLDEP  parsing_cocci/parser_cocci_menhir.mli
  952. OCAMLC    parsing_cocci/parser_cocci_menhir.mli
  953. OCAMLDEP  parsing_cocci/parser_cocci_menhir.ml
  954. OCAMLOPT  parsing_cocci/parser_cocci_menhir.ml
  955. File "parsing_cocci/parser_cocci_menhir.ml", line 1258, characters 21-38:
  956. Warning 20: this argument will not be used by the function.
  957. File "parsing_cocci/parser_cocci_menhir.ml", line 1279, characters 21-38:
  958. Warning 20: this argument will not be used by the function.
  959. File "parsing_cocci/parser_cocci_menhir.ml", line 1300, characters 21-38:
  960. Warning 20: this argument will not be used by the function.
  961. File "parsing_cocci/parser_cocci_menhir.ml", line 1321, characters 21-38:
  962. Warning 20: this argument will not be used by the function.
  963. File "parsing_cocci/parser_cocci_menhir.ml", line 8940, characters 28-34:
  964. Warning 20: this argument will not be used by the function.
  965. File "parsing_cocci/parser_cocci_menhir.ml", line 9136, characters 35-36:
  966. Warning 20: this argument will not be used by the function.
  967. File "parsing_cocci/parser_cocci_menhir.ml", line 9248, characters 28-34:
  968. Warning 20: this argument will not be used by the function.
  969. File "parsing_cocci/parser_cocci_menhir.ml", line 9358, characters 28-34:
  970. Warning 20: this argument will not be used by the function.
  971. File "parsing_cocci/parser_cocci_menhir.ml", line 9731, characters 35-36:
  972. Warning 20: this argument will not be used by the function.
  973. File "parsing_cocci/parser_cocci_menhir.ml", line 9842, characters 28-34:
  974. Warning 20: this argument will not be used by the function.
  975. File "parsing_cocci/parser_cocci_menhir.ml", line 9908, characters 26-32:
  976. Warning 20: this argument will not be used by the function.
  977. File "parsing_cocci/parser_cocci_menhir.ml", line 9933, characters 32-33:
  978. Warning 20: this argument will not be used by the function.
  979. File "parsing_cocci/parser_cocci_menhir.ml", line 9953, characters 26-27:
  980. Warning 20: this argument will not be used by the function.
  981. File "parsing_cocci/parser_cocci_menhir.ml", line 9978, characters 26-32:
  982. Warning 20: this argument will not be used by the function.
  983. File "parsing_cocci/parser_cocci_menhir.ml", line 15691, characters 32-38:
  984. Warning 20: this argument will not be used by the function.
  985. File "parsing_cocci/parser_cocci_menhir.ml", line 15724, characters 32-38:
  986. Warning 20: this argument will not be used by the function.
  987. File "parsing_cocci/parser_cocci_menhir.ml", line 15782, characters 19-20:
  988. Warning 20: this argument will not be used by the function.
  989. File "parsing_cocci/parser_cocci_menhir.ml", line 15812, characters 19-20:
  990. Warning 20: this argument will not be used by the function.
  991. File "parsing_cocci/parser_cocci_menhir.ml", line 15840, characters 19-20:
  992. Warning 20: this argument will not be used by the function.
  993. File "parsing_cocci/parser_cocci_menhir.ml", line 15875, characters 32-38:
  994. Warning 20: this argument will not be used by the function.
  995. File "parsing_cocci/parser_cocci_menhir.ml", line 15909, characters 32-38:
  996. Warning 20: this argument will not be used by the function.
  997. File "parsing_cocci/parser_cocci_menhir.ml", line 15943, characters 32-38:
  998. Warning 20: this argument will not be used by the function.
  999. File "parsing_cocci/parser_cocci_menhir.ml", line 15975, characters 32-38:
  1000. Warning 20: this argument will not be used by the function.
  1001. File "parsing_cocci/parser_cocci_menhir.ml", line 16010, characters 31-37:
  1002. Warning 20: this argument will not be used by the function.
  1003. File "parsing_cocci/parser_cocci_menhir.ml", line 16043, characters 31-37:
  1004. Warning 20: this argument will not be used by the function.
  1005. File "parsing_cocci/parser_cocci_menhir.ml", line 16105, characters 31-32:
  1006. Warning 20: this argument will not be used by the function.
  1007. File "parsing_cocci/parser_cocci_menhir.ml", line 16137, characters 31-32:
  1008. Warning 20: this argument will not be used by the function.
  1009. File "parsing_cocci/parser_cocci_menhir.ml", line 16167, characters 17-18:
  1010. Warning 20: this argument will not be used by the function.
  1011. File "parsing_cocci/parser_cocci_menhir.ml", line 16195, characters 17-18:
  1012. Warning 20: this argument will not be used by the function.
  1013. File "parsing_cocci/parser_cocci_menhir.ml", line 16230, characters 31-37:
  1014. Warning 20: this argument will not be used by the function.
  1015. File "parsing_cocci/parser_cocci_menhir.ml", line 16264, characters 31-37:
  1016. Warning 20: this argument will not be used by the function.
  1017. File "parsing_cocci/parser_cocci_menhir.ml", line 16298, characters 31-37:
  1018. Warning 20: this argument will not be used by the function.
  1019. File "parsing_cocci/parser_cocci_menhir.ml", line 16330, characters 31-37:
  1020. Warning 20: this argument will not be used by the function.
  1021. File "parsing_cocci/parser_cocci_menhir.ml", line 16386, characters 19-20:
  1022. Warning 20: this argument will not be used by the function.
  1023. File "parsing_cocci/parser_cocci_menhir.ml", line 16415, characters 19-20:
  1024. Warning 20: this argument will not be used by the function.
  1025. File "parsing_cocci/parser_cocci_menhir.ml", line 16442, characters 19-20:
  1026. Warning 20: this argument will not be used by the function.
  1027. File "parsing_cocci/parser_cocci_menhir.ml", line 16476, characters 32-38:
  1028. Warning 20: this argument will not be used by the function.
  1029. File "parsing_cocci/parser_cocci_menhir.ml", line 16509, characters 32-38:
  1030. Warning 20: this argument will not be used by the function.
  1031. File "parsing_cocci/parser_cocci_menhir.ml", line 16569, characters 31-32:
  1032. Warning 20: this argument will not be used by the function.
  1033. File "parsing_cocci/parser_cocci_menhir.ml", line 16600, characters 31-32:
  1034. Warning 20: this argument will not be used by the function.
  1035. File "parsing_cocci/parser_cocci_menhir.ml", line 16629, characters 17-18:
  1036. Warning 20: this argument will not be used by the function.
  1037. File "parsing_cocci/parser_cocci_menhir.ml", line 16656, characters 17-18:
  1038. Warning 20: this argument will not be used by the function.
  1039. File "parsing_cocci/parser_cocci_menhir.ml", line 16690, characters 31-37:
  1040. Warning 20: this argument will not be used by the function.
  1041. File "parsing_cocci/parser_cocci_menhir.ml", line 16723, characters 31-37:
  1042. Warning 20: this argument will not be used by the function.
  1043. File "parsing_cocci/parser_cocci_menhir.ml", line 19097, characters 9-25:
  1044. Warning 20: this argument will not be used by the function.
  1045. File "parsing_cocci/parser_cocci_menhir.ml", line 19192, characters 10-70:
  1046. Warning 20: this argument will not be used by the function.
  1047. File "parsing_cocci/parser_cocci_menhir.ml", line 19199, characters 10-82:
  1048. Warning 20: this argument will not be used by the function.
  1049. File "parsing_cocci/parser_cocci_menhir.ml", line 20370, characters 28-34:
  1050. Warning 20: this argument will not be used by the function.
  1051. File "parsing_cocci/parser_cocci_menhir.ml", line 20578, characters 35-36:
  1052. Warning 20: this argument will not be used by the function.
  1053. File "parsing_cocci/parser_cocci_menhir.ml", line 20702, characters 28-34:
  1054. Warning 20: this argument will not be used by the function.
  1055. File "parsing_cocci/parser_cocci_menhir.ml", line 20824, characters 28-34:
  1056. Warning 20: this argument will not be used by the function.
  1057. File "parsing_cocci/parser_cocci_menhir.ml", line 21334, characters 35-36:
  1058. Warning 20: this argument will not be used by the function.
  1059. File "parsing_cocci/parser_cocci_menhir.ml", line 21457, characters 28-34:
  1060. Warning 20: this argument will not be used by the function.
  1061. File "parsing_cocci/parser_cocci_menhir.ml", line 22729, characters 36-37:
  1062. Warning 20: this argument will not be used by the function.
  1063. File "parsing_cocci/parser_cocci_menhir.ml", line 22848, characters 35-36:
  1064. Warning 20: this argument will not be used by the function.
  1065. File "parsing_cocci/parser_cocci_menhir.ml", line 22980, characters 36-37:
  1066. Warning 20: this argument will not be used by the function.
  1067. File "parsing_cocci/parser_cocci_menhir.ml", line 23098, characters 35-36:
  1068. Warning 20: this argument will not be used by the function.
  1069. File "parsing_cocci/parser_cocci_menhir.ml", line 28572, characters 139-145:
  1070. Warning 20: this argument will not be used by the function.
  1071. File "parsing_cocci/parser_cocci_menhir.ml", line 28572, characters 146-148:
  1072. Warning 20: this argument will not be used by the function.
  1073. File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 113-119:
  1074. Warning 20: this argument will not be used by the function.
  1075. File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 120-122:
  1076. Warning 20: this argument will not be used by the function.
  1077. File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 126-132:
  1078. Warning 20: this argument will not be used by the function.
  1079. File "parsing_cocci/parser_cocci_menhir.ml", line 28607, characters 133-135:
  1080. Warning 20: this argument will not be used by the function.
  1081. File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 110-116:
  1082. Warning 20: this argument will not be used by the function.
  1083. File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 117-119:
  1084. Warning 20: this argument will not be used by the function.
  1085. File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 123-129:
  1086. Warning 20: this argument will not be used by the function.
  1087. File "parsing_cocci/parser_cocci_menhir.ml", line 28619, characters 130-132:
  1088. Warning 20: this argument will not be used by the function.
  1089. File "parsing_cocci/parser_cocci_menhir.ml", line 43277, characters 110-112:
  1090. Warning 20: this argument will not be used by the function.
  1091. File "parsing_cocci/parser_cocci_menhir.ml", line 47758, characters 8-24:
  1092. Warning 20: this argument will not be used by the function.
  1093. File "parsing_cocci/parser_cocci_menhir.ml", line 60603, characters 59-73:
  1094. Warning 20: this argument will not be used by the function.
  1095. OCAMLC    parsing_cocci/lexer_cocci.mli
  1096. OCAMLLEX  parsing_cocci/lexer_cocci.mll
  1097. 376 states, 7064 transitions, table size 30512 bytes
  1098. 3347 additional bytes used for bindings
  1099. OCAMLOPT  parsing_cocci/lexer_cocci.ml
  1100. OCAMLC    parsing_cocci/lexer_cli.mli
  1101. OCAMLLEX  parsing_cocci/lexer_cli.mll
  1102. 14 states, 681 transitions, table size 2808 bytes
  1103. OCAMLOPT  parsing_cocci/lexer_cli.ml
  1104. OCAMLC    parsing_cocci/lexer_script.mli
  1105. OCAMLLEX  parsing_cocci/lexer_script.mll
  1106. 22 states, 272 transitions, table size 1220 bytes
  1107. OCAMLOPT  parsing_cocci/lexer_script.ml
  1108. OCAMLC    parsing_cocci/cocci_grep.mli
  1109. OCAMLOPT  parsing_cocci/cocci_grep.ml
  1110. OCAMLC    parsing_cocci/dpll.mli
  1111. OCAMLOPT  parsing_cocci/dpll.ml
  1112. OCAMLC    parsing_cocci/get_constants2.mli
  1113. OCAMLOPT  parsing_cocci/get_constants2.ml
  1114. OCAMLC    parsing_cocci/id_utils.mli
  1115. OCAMLOPT  parsing_cocci/id_utils.ml
  1116. OCAMLC    parsing_cocci/git_grep.mli
  1117. OCAMLOPT  parsing_cocci/git_grep.ml
  1118. OCAMLC    parsing_cocci/adjacency.mli
  1119. OCAMLOPT  parsing_cocci/adjacency.ml
  1120. OCAMLC    parsing_cocci/commas_on_lists.mli
  1121. OCAMLOPT  parsing_cocci/commas_on_lists.ml
  1122. OCAMLC    parsing_cocci/re_constraints.mli
  1123. OCAMLOPT  parsing_cocci/re_constraints.ml
  1124. OCAMLC    parsing_cocci/parse_cocci.mli
  1125. OCAMLOPT  parsing_cocci/parse_cocci.ml
  1126. OCAMLC    parsing_cocci/command_line.mli
  1127. OCAMLOPT  parsing_cocci/command_line.ml
  1128. OCAMLOPT  -o parsing_cocci/parsing_cocci.cmxa
  1129. OCAMLC    parsing_c/token_annot.mli
  1130. OCAMLOPT  parsing_c/token_annot.ml
  1131. OCAMLC    parsing_c/flag_parsing_c.mli
  1132. OCAMLOPT  parsing_c/flag_parsing_c.ml
  1133. OCAMLC    parsing_c/parsing_stat.mli
  1134. OCAMLOPT  parsing_c/parsing_stat.ml
  1135. OCAMLC    parsing_c/token_c.mli
  1136. OCAMLOPT  parsing_c/token_c.ml
  1137. OCAMLC    parsing_c/ast_c.mli
  1138. OCAMLOPT  parsing_c/ast_c.ml
  1139. OCAMLC    parsing_c/includes.mli
  1140. OCAMLOPT  parsing_c/includes.ml
  1141. File "parsing_c/includes.ml", line 159, characters 9-22:
  1142. Error: Unbound module Parmap
  1143. Makefile:400: recipe for target 'parsing_c/includes.cmx' failed
  1144. make: *** [parsing_c/includes.cmx] Error 2
  1145. 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
  1146. himanshu@himanshu-Vostro-3559:~/coccinelle$ make install
  1147. make -C bundles/menhirLib all
  1148. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1149. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1150. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  1151. if [ -n "" ]; then \
  1152.   cp  .; \
  1153. fi
  1154. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1155. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1156. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  1157. if [ -n "" ]; then \
  1158.   cp  .; \
  1159. fi
  1160. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1161. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1162. make -C bundles/menhirLib all.opt
  1163. make[1]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1164. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1165. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmo .
  1166. if [ -n "" ]; then \
  1167.   cp  .; \
  1168. fi
  1169. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1170. make[2]: Entering directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1171. cp menhir-20171013/src/menhir menhir-20171013/src/menhirLib.cmi menhir-20171013/src/menhirLib.cmx menhir-20171013/src/menhirLib.o .
  1172. if [ -n "" ]; then \
  1173.   cp  .; \
  1174. fi
  1175. make[2]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1176. make[1]: Leaving directory '/home/himanshu/coccinelle/bundles/menhirLib'
  1177. OCAMLOPT  parsing_c/includes.ml
  1178. File "parsing_c/includes.ml", line 159, characters 9-22:
  1179. Error: Unbound module Parmap
  1180. Makefile:400: recipe for target 'parsing_c/includes.cmx' failed
  1181. make: *** [parsing_c/includes.cmx] Error 2
  1182. himanshu@himanshu-Vostro-3559:~/coccinelle$
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top