Building on pima.ocamllabs.io (from ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a) Unable to find image 'ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a' locally docker.io/ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a: Pulling from ocaml/opam d94e46e039c4: Pulling fs layer d94e46e039c4: Verifying Checksum d94e46e039c4: Download complete d94e46e039c4: Pull complete Digest: sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a Status: Downloaded newer image for ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a 2022-11-03 21:00.17 ---> using "6615d3400d8dabf8928c82fbcb18e477501a38f64d3b1412a91a4e86499e265b" from cache /: (user (uid 1000) (gid 1000)) /: (env OPAMPRECISETRACKING 1) /: (env OPAMUTF8 never) /: (env OPAMEXTERNALSOLVER builtin-0install) /: (env OPAMCRITERIA +removed) /: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam")) 2022-11-03 21:00.17 ---> using "c909a0ff168e383d01aa2cb84f3e6cbc7a0c470ffe3d07946f43f83d47cc9bfa" from cache /: (run (network host) (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 94675aaefe68e1e4a4ad959d88dd65afa3a9ed3d")) 2022-11-03 21:00.17 ---> using "5315c90a66cfce3be1f8ac668b7f4445c317bfeb4b1de04fe278a4bdf33753ae" from cache /: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository")) Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults. Checking for available remotes: rsync and local, git. - you won't be able to use mercurial repositories unless you install the hg command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised User configuration: ~/.profile is already up-to-date. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc. 2022-11-03 21:00.17 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.05' '4.05.0'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.05.0"} | "ocaml-system" {= "4.05.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.05.0 (cached) -> installed ocaml-base-compiler.4.05.0 -> installed ocaml-config.1 -> installed ocaml.4.05.0 Done. # Run eval $(opam env --switch=4.05) to update the current shell environment 2022-11-03 21:00.17 ---> using "b36c182ca6d6a36a21f52b4b2ee19c57d6966b7bdf6cc890e2bf9b5e1441163b" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [161 kB] - Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB] - Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB] - Fetched 293 kB in 2s (150 kB/s) - Reading package lists... - 2022-11-03 21:00.17 ---> using "e6c31bdb405c9ddb8082367305d0124f99b55d44c684646a6d31dbf12bab0f1a" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install -y ocaml-secondary-compiler")) The following actions will be performed: === install 1 package - install ocaml-secondary-compiler 4.08.1-1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved ocaml-secondary-compiler.4.08.1-1 (cached) -> installed ocaml-secondary-compiler.4.08.1-1 Done. # Run eval $(opam env) to update the current shell environment 2022-11-03 21:00.17 ---> using "39f456ca9342c9f3e722c6853332e42123239bc7af2002252cf78c51251e4c47" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"spdiff.0.1\"\ \nopam install -vy \"spdiff.0.1\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"spdiff.0.1\" | grep -q '\"debian-unstable\"'; then\ \n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\ \n exit 69\ \n fi\ \nfi\ \n\ \n\ \nexit $res\ \n")) Nothing to do. [NOTE] spdiff.0.1 is not installed. The following actions will be performed: === install 3 packages - install menhir 20130116 [required by spdiff] - install ocamlfind 1.9.5 [required by menhir] - install spdiff 0.1 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/9: [menhir.20130116: http] Processing 2/9: [menhir.20130116: http] Processing 3/9: [menhir.20130116: http] [spdiff.0.1: http] -> retrieved ocamlfind.1.9.5 (cached) [ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch Processing 4/9: [menhir.20130116: http] [spdiff.0.1: http] [ocamlfind: patch] Processing 4/9: [menhir.20130116: http] [spdiff.0.1: http] [ocamlfind: ./configure] Processing 4/9: [spdiff.0.1: http] [ocamlfind: ./configure] -> retrieved menhir.20130116 (http://cristal.inria.fr/~fpottier/menhir/menhir-20130116.tar.gz) + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.05/bin" "-sitelib" "/home/opam/.opam/4.05/lib" "-mandir" "/home/opam/.opam/4.05/man" "-config" "/home/opam/.opam/4.05/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5) - Welcome to findlib version 1.9.5 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Querying installation: META list not found - make install will double-check installed META files - Configuring libraries... - unix: found - dynlink: found - bigarray: found - compiler-libs: found - dbm: not present (normal since 4.00) - graphics: found - num: found - ocamlbuild: not present (normal since 4.03) - ocamldoc: found (in +ocamldoc) - raw_spacetime: found - threads: found (in +threads) - runtime_events: not present - str: found - labltk: not present (normal since 4.02) - native dynlink: found - camlp4: disabled - bytes: found, installing fake library - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for unix written to site-lib-src/unix/META - Configuration for dynlink written to site-lib-src/dynlink/META - Configuration for bigarray written to site-lib-src/bigarray/META - Configuration for compiler-libs written to site-lib-src/compiler-libs/META - Configuration for graphics written to site-lib-src/graphics/META - Configuration for num written to site-lib-src/num/META - Configuration for num-top written to site-lib-src/num-top/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META - Configuration for threads written to site-lib-src/threads/META - Configuration for str written to site-lib-src/str/META - Configuration for bytes written to site-lib-src/bytes/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.05/lib/ocaml - Binaries: /home/opam/.opam/4.05/bin - Manual pages: /home/opam/.opam/4.05/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.05/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.05/lib/findlib.conf - Software will be installed: - Libraries: in <site-lib>/findlib - Binaries: /home/opam/.opam/4.05/bin - Manual pages: /home/opam/.opam/4.05/man - topfind script: /home/opam/.opam/4.05/lib/ocaml - Topfind ppxopt support: yes - Toolbox: no - Link custom runtime: no - Need bytes compatibility: no - - Configuration has been written to Makefile.config - - You can now do 'make all', and optionally 'make opt', to build ocamlfind. Processing 4/9: [spdiff.0.1: http] [ocamlfind: make all] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5) - for p in findlib; do ( cd src/$p; make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - ocamllex fl_meta.mll - 22 states, 392 transitions, table size 1700 bytes - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib_config.mlp | \ - ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.05/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.05/lib/ocaml' | \ - sed -e 's;@AUTOLINK@;true;g' \ - -e 's;@SYSTEM@;linux;g' \ - >findlib_config.ml - if [ "true" = "true" ]; then \ - cp topfind.ml.in topfind.ml; \ - else \ - sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \ - > topfind.ml ; \ - fi - ocamldep *.ml *.mli >depend - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml - ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml - ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \ - -I +unix -I +dynlink ocaml_args.cmo frontend.cmo - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml - ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat topfind_rd1.p | \ - ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.05/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top_printers.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top_printers.ml - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top.ml - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli - ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml - ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - make all-config - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.05/lib' >findlib.conf - if ./tools/cmd_from_same_dir ocamlc; then \ - echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamlopt; then \ - echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldep; then \ - echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \ - fi - if ./tools/cmd_from_same_dir ocamldoc; then \ - echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' Processing 4/9: [spdiff.0.1: http] [ocamlfind: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5) - for p in findlib; do ( cd src/$p; make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml - ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \ - fi - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml - ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \ - -I +unix -I +dynlink ocaml_args.cmx frontend.cmx - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml - File "_none_", line 1: - Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque - File "_none_", line 1: - Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque - ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \ - fi - ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml - ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx - if [ 1 -gt 0 ]; then \ - ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' -> compiled ocamlfind.1.9.5 Processing 4/9: [spdiff.0.1: http] Processing 5/9: [spdiff.0.1: http] [ocamlfind: make install] Processing 5/9: [ocamlfind: make install] + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5) - if [ "1" -eq 1 ]; then \ - for x in camlp4 dbm graphics labltk num ocamlbuild; do \ - if [ -f "/home/opam/.opam/4.05/lib/$x/META" ]; then \ - if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.05/lib/$x/META"; then \ - rm -f site-lib-src/$x/META; \ - fi; \ - fi; \ - done; \ - test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \ - fi - echo 'SITELIB_META =' > Makefile.packages.in - for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done - tr '\n' ' ' < Makefile.packages.in > Makefile.packages - rm Makefile.packages.in - install -d "/home/opam/.opam/4.05/bin" - install -d "/home/opam/.opam/4.05/man" - make install-config - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - install -d "`dirname \"/home/opam/.opam/4.05/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.05/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.05/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - for p in findlib; do ( cd src/$p; make install ); done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - install -d "/home/opam/.opam/4.05/lib/findlib" - install -d "/home/opam/.opam/4.05/bin" - test 1 -eq 0 || install -d "/home/opam/.opam/4.05/lib/ocaml" - test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.05/lib/ocaml/" - files=` ../../tools/collect_files ../../Makefile.config \ - findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \ - findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \ - fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \ - fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \ - fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \ - findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \ - META` && \ - install -c $files "/home/opam/.opam/4.05/lib/findlib/" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - install -c $f "/home/opam/.opam/4.05/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.05/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.05/lib/ocaml/compiler-libs/"; \ - install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.05/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - make install-meta - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamldoc raw_spacetime stdlib str threads unix ; do install -d "/home/opam/.opam/4.05/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.05/lib/$x/META.tmp" && mv "/home/opam/.opam/4.05/lib/$x/META.tmp" "/home/opam/.opam/4.05/lib/$x/META"; done - install -d "/home/opam/.opam/4.05/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.05/lib/findlib/Makefile.packages" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; } - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - install -d "/home/opam/.opam/4.05/lib/num-top" - install -c num_top.cma num_top.cmi num_top_printers.cmi \ - "/home/opam/.opam/4.05/lib/num-top/" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5/src/findlib' - test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.05/bin" - make install-doc - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' - install -d "/home/opam/.opam/4.05/man/man1" "/home/opam/.opam/4.05/man/man3" "/home/opam/.opam/4.05/man/man5" - install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.05/man/man1" - install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.05/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/ocamlfind.1.9.5' -> installed ocamlfind.1.9.5 Processing 5/9: Processing 6/9: Processing 7/9: [menhir: make install] -> retrieved spdiff.0.1 (https://github.com/jespera/spdiff/archive/0.1.tar.gz) + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "PREFIX=/home/opam/.opam/4.05" "docdir=/home/opam/.opam/4.05/doc/menhir" "libdir=/home/opam/.opam/4.05/lib/menhir" "mandir=/home/opam/.opam/4.05/man/man1" (CWD=/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116) - rm -f src/installation.ml - echo "let libdir = \"/home/opam/.opam/4.05/lib/menhir\"" > src/installation.ml - if ocamlfind ocamlc -v >/dev/null 2>&1 ; then \ - echo "let ocamlfind = true" >> src/installation.ml ; \ - else \ - echo "let ocamlfind = false" >> src/installation.ml ; \ - fi - make -C src -f Makefile - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - ocamllex lexmli.mll - 80 states, 5444 transitions, table size 22256 bytes - 18240 additional bytes used for bindings - ocamllex lexer.mll - 295 states, 3079 transitions, table size 14086 bytes - 10473 additional bytes used for bindings - ocamlyacc -v -b parser parser.mly - ocamllex lineCount.mll - 5 states, 259 transitions, table size 1066 bytes - ocamllex lexdep.mll - 28 states, 426 transitions, table size 1872 bytes - 1447 additional bytes used for bindings - ocamlyacc -v -b sentenceParser sentenceParser.mly - ocamllex sentenceLexer.mll - 9 states, 674 transitions, table size 2750 bytes - for i in *.ml *.mli; do \ - ../demos/ocamldep.wrapper menhirLib.ml menhirLib.mli - ocamlfind ocamldep $i \ - >> .depend; \ - done - Checking that Objective Caml is recent enough... - Version 4.05.0 is OK. - make -s PGEN="ocamlyacc -v" PARSER=parser menhir.opt - make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - File "packedIntArray.ml", line 91, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 115, characters 6-26: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "packedIntArray.ml", line 137, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 145, characters 1-46: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "tarjan.ml", line 84, characters 16-28: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "tarjan.ml", line 168, characters 29-30: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 389, characters 14-15: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 398, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 407, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 517, characters 22-23: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 747, characters 12-13: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 756, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 765, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 818, characters 12-13: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 824, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 833, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 859, characters 12-13: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 865, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 871, characters 25-26: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 905, characters 14-15: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 909, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 911, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 1062, characters 14-15: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 1068, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 1177, characters 14-15: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 1181, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "patricia.ml", line 1188, characters 27-28: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "misc.ml", line 53, characters 10-22: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "misc.ml", line 121, characters 10-22: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "misc.ml", line 245, characters 10-21: - Warning 3: deprecated: String.copy - File "misc.ml", line 252, characters 1-13: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "settings.ml", line 32, characters 5-22: - Warning 3: deprecated: String.capitalize - Use String.capitalize_ascii instead. - File "lexer.mll", line 60, characters 4-26: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "lexer.mll", line 68, characters 18-29: - Warning 3: deprecated: String.copy - File "partialGrammar.ml", line 259, characters 10-21: - Warning 3: deprecated: String.copy - File "partialGrammar.ml", line 262, characters 6-18: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "parameterizedGrammar.ml", line 340, characters 26-38: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "preFront.ml", line 38, characters 10-23: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "IO.ml", line 25, characters 14-27: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "grammar.ml", line 707, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 710, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 897, characters 6-18: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 900, characters 6-18: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "item.ml", line 163, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr0.ml", line 190, characters 1-13: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr1.ml", line 244, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr1partial.ml", line 77, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "invariant.ml", line 46, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - make -s PGEN="./menhir.opt -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict" PARSER=fancy-parser menhir.opt - make[2]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - Grammar has 31 nonterminal symbols, among which 1 start symbols. - Grammar has 26 terminal symbols. - Grammar has 83 productions. - Built an LR(0) automaton with 115 states. - The grammar is not SLR(1) -- 5 states have a conflict. - Built an LR(1) automaton with 129 states. - 5 shift/reduce conflicts were silently solved. - 38 out of 129 states are represented. - 25 out of 60 symbols keep track of their start position. - 20 out of 60 symbols keep track of their end position. - 56 out of 129 states have a default reduction. - 33 out of 84 productions exploit shiftreduce optimization. - 20 out of 129 states can peek at an error. - 13 out of 129 states can do error recovery. - 452 functions before inlining, 116 functions after inlining. - File "lexer.mll", line 60, characters 4-26: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "lexer.mll", line 68, characters 18-29: - Warning 3: deprecated: String.copy - File "preFront.ml", line 38, characters 10-23: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "grammar.ml", line 707, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 710, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 897, characters 6-18: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "grammar.ml", line 900, characters 6-18: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "item.ml", line 163, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr0.ml", line 190, characters 1-13: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr1.ml", line 244, characters 2-14: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "lr1partial.ml", line 77, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "invariant.ml", line 46, characters 4-16: - Warning 3: deprecated: Array.create - Use Array.make instead. - make[2]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - Bootstrap successful. - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - make -C src -f Makefile menhirLib.cmi menhirLib.cmo menhirLib.cmx menhirLib.o - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - ocamlfind ocamlc -g -c infiniteArray.ml - ocamlfind ocamlc -g -c packedIntArray.ml - File "packedIntArray.ml", line 91, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 115, characters 6-26: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "packedIntArray.ml", line 137, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 145, characters 1-46: - Warning 3: deprecated: String.set - Use Bytes.set instead. - ocamlfind ocamlc -g -c rowDisplacement.ml - ocamlfind ocamlc -g -c engine.ml - ocamlfind ocamlc -g -c tableInterpreter.ml - ocamlfind ocamlc -g -c convert.ml - ocamlfind ocamlc -g -pack -o menhirLib.cmo infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo - make[1]: 'menhirLib.cmo' is up to date. - make[1]: 'menhirLib.cmx' is up to date. - make[1]: 'menhirLib.o' is up to date. - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/menhir.20130116/src' - mkdir -p /home/opam/.opam/4.05/bin - mkdir -p /home/opam/.opam/4.05/lib/menhir - mkdir -p /home/opam/.opam/4.05/doc/menhir - mkdir -p /home/opam/.opam/4.05/man/man1 - install src/menhir /home/opam/.opam/4.05/bin - install -m 644 src/standard.mly /home/opam/.opam/4.05/lib/menhir - cp -r manual.pdf demos /home/opam/.opam/4.05/doc/menhir - cp -r menhir.1 /home/opam/.opam/4.05/man/man1 - Installing MenhirLib via ocamlfind. - Installed /home/opam/.opam/4.05/lib/menhirLib/menhirLib.o - Installed /home/opam/.opam/4.05/lib/menhirLib/menhirLib.cmx - Installed /home/opam/.opam/4.05/lib/menhirLib/menhirLib.cmo - Installed /home/opam/.opam/4.05/lib/menhirLib/menhirLib.cmi - Installed /home/opam/.opam/4.05/lib/menhirLib/META -> installed menhir.20130116 Processing 8/9: [spdiff: make depend] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "depend" (CWD=/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1) - echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \ - > test.ml - ocamldep *.mli *.ml > .depend - set -e; for i in localcocci/commons localcocci/globals localcocci/menhirlib localcocci/parsing_cocci localcocci/parsing_c; do make -C $i depend; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/commons' - ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend - for i in ocamlextra ocollection; do ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/commons' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/globals' - ocamldep *.mli *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/globals' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/menhirlib' - ocamldep *.mli *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/menhirlib' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_cocci' - ocamllex lexer_cocci.mll - 181 states, 1670 transitions, table size 7766 bytes - 2130 additional bytes used for bindings - ocamllex lexer_script.mll - 5 states, 259 transitions, table size 1066 bytes - menhir --table parser_cocci_menhir.mly - Warning: you are using the standard library and/or the %inline keyword. We - recommend switching on --infer in order to avoid obscure type error messages. - ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib *.mli *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_cocci' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_c' - ocamllex lexer_c.mll - 381 states, 13030 transitions, table size 54406 bytes - 3353 additional bytes used for bindings - ocamlyacc -v parser_c.mly - ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml > .depend - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_c' Processing 8/9: [spdiff: make opt] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1) - set -e; for i in localcocci/commons localcocci/globals localcocci/menhirlib localcocci/parsing_cocci localcocci/parsing_c; do make -C $i all.opt; done - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/commons' - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dumper.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/dumper.ml - File "ocamlextra/dumper.ml", line 81, characters 16-25: - Warning 3: deprecated: Obj.final_tag - Replaced by custom_tag. - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/setb.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/setb.ml - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/mapb.ml - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/setPt.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c common.mli - ocamlopt -I ocamlextra -I ocollection -c common.ml - File "common.ml", line 361, characters 16-25: - Warning 3: deprecated: Obj.final_tag - Replaced by custom_tag. - File "common.ml", line 2230, characters 16-32: - Warning 3: deprecated: String.lowercase - Use String.lowercase_ascii instead. - File "common.ml", line 3113, characters 12-25: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "common.ml", line 5226, characters 14-26: - Warning 3: deprecated: Array.create - Use Array.make instead. - ocamlopt -I ocamlextra -I ocollection -c common_extra.ml - ocamlopt -I ocamlextra -I ocollection -c interfaces.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c objet.mli - ocamlopt -I ocamlextra -I ocollection -c objet.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocollection.mli - ocamlopt -I ocamlextra -I ocollection -c ocollection.ml - ocamlopt -I ocamlextra -I ocollection -c seti.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c seti.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/setPt.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c oset.mli - ocamlopt -I ocamlextra -I ocollection -c oset.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c oassoc.mli - ocamlopt -I ocamlextra -I ocollection -c oassoc.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c osequence.mli - ocamlopt -I ocamlextra -I ocollection -c osequence.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ograph.mli - ocamlopt -I ocamlextra -I ocollection -c ograph.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/oseti.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/oseth.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/osetb.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/osetpt.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/oassocb.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/oassoch.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.mli - ocamlopt -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_cache.mli - ocamlopt -I ocamlextra -I ocollection -c ocollection/oassoc_cache.ml - ocamlopt -I ocamlextra -I ocollection -c ocollection/oassocid.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c oarray.mli - ocamlopt -I ocamlextra -I ocollection -c oarray.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocollection/ograph2way.mli - ocamlopt -I ocamlextra -I ocollection -c ocollection/ograph2way.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ograph_extended.mli - ocamlopt -I ocamlextra -I ocollection -c ograph_extended.ml - ocamlopt -I ocamlextra -I ocollection -c ofullcommon.ml - ocamlopt -I ocamlextra -I ocollection -c glimpse.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c parser_combinators.mli - ocamlopt -I ocamlextra -I ocollection -c parser_combinators.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/enum.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/enum.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml - File "ocamlextra/suffix_tree.ml", line 52, characters 13-14: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree.ml", line 83, characters 19-20: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree.ml", line 182, characters 30-32: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "ocamlextra/suffix_tree.ml", line 255, characters 15-16: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree.ml", line 255, characters 24-25: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - ocamlc -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli - ocamlopt -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml - File "ocamlextra/suffix_tree_ext.ml", line 52, characters 13-14: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree_ext.ml", line 83, characters 19-20: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree_ext.ml", line 182, characters 30-32: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "ocamlextra/suffix_tree_ext.ml", line 272, characters 15-16: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - File "ocamlextra/suffix_tree_ext.ml", line 272, characters 24-25: - Warning 3: deprecated: Pervasives.& - Use (&&) instead. - ocamlopt -I ocamlextra -I ocollection -a -o commons.cmxa ocamlextra/dumper.cmx ocamlextra/ANSITerminal.cmx ocamlextra/setb.cmx ocamlextra/mapb.cmx ocamlextra/setPt.cmx common.cmx common_extra.cmx interfaces.cmx objet.cmx ocollection.cmx seti.cmx oset.cmx oassoc.cmx osequence.cmx ograph.cmx ocollection/oseti.cmx ocollection/oseth.cmx ocollection/osetb.cmx ocollection/osetpt.cmx ocollection/oassocb.cmx ocollection/oassoch.cmx ocollection/oassoc_buffer.cmx ocollection/oassoc_cache.cmx ocollection/oassocid.cmx oarray.cmx ocollection/ograph2way.cmx ograph_extended.cmx ofullcommon.cmx glimpse.cmx parser_combinators.cmx ocamlextra/enum.cmx ocamlextra/dynArray.cmx ocamlextra/suffix_tree.cmx ocamlextra/suffix_tree_ext.cmx - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/commons' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/globals' - ocamlopt -c flag.ml - ocamlopt -c config.ml - ocamlopt -a -o globals.cmxa flag.cmx config.cmx - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/globals' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/menhirlib' - ocamlopt -for-pack MenhirLib -c infiniteArray.ml - ocamlopt -for-pack MenhirLib -c packedIntArray.ml - File "packedIntArray.ml", line 91, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 115, characters 6-26: - Warning 3: deprecated: String.set - Use Bytes.set instead. - File "packedIntArray.ml", line 137, characters 6-19: - Warning 3: deprecated: String.create - Use Bytes.create instead. - File "packedIntArray.ml", line 145, characters 1-46: - Warning 3: deprecated: String.set - Use Bytes.set instead. - ocamlopt -for-pack MenhirLib -c rowDisplacement.ml - ocamlopt -for-pack MenhirLib -c engineTypes.ml - ocamlopt -for-pack MenhirLib -c engine.ml - ocamlopt -for-pack MenhirLib -c tableFormat.ml - ocamlopt -for-pack MenhirLib -c tableInterpreter.ml - ocamlopt -for-pack MenhirLib -c convert.ml - ocamlopt -for-pack MenhirLib -a -o menhirLib.cmxa infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx - ocamlopt -pack -o menhirLib.cmx infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/menhirlib' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_cocci' - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c flag_parsing_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c type_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c type_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast0_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast0_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c pretty_print_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c pretty_print_cocci.ml - File "pretty_print_cocci.ml", line 45, characters 66-68: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unparse_ast0.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unparse_ast0.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c visitor_ast.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c visitor_ast.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c visitor_ast0.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c visitor_ast0.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c compute_lines.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c compute_lines.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c comm_assoc.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c comm_assoc.ml - File "comm_assoc.ml", line 18, characters 20-22: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c iso_pattern.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c iso_pattern.ml - File "iso_pattern.ml", line 238, characters 20-22: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 247, characters 20-22: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 454, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 454, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 579, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 579, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 700, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 700, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 772, characters 26-28: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 772, characters 51-53: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 836, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 836, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 905, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 905, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 935, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 935, characters 48-50: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 970, characters 28-30: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 970, characters 42-44: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 1129, characters 26-28: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 1129, characters 51-53: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 1870, characters 14-16: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 1870, characters 46-48: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "iso_pattern.ml", line 1871, characters 14-16: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c iso_compile.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c iso_compile.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c single_statement.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c single_statement.ml - File "single_statement.ml", line 88, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 101, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 136, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 161, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 176, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 192, characters 17-19: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "single_statement.ml", line 231, characters 16-18: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c simple_assignments.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c simple_assignments.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast0toast.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ast0toast.ml - File "ast0toast.ml", line 53, characters 8-10: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c check_meta.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c check_meta.ml - File "check_meta.ml", line 59, characters 28-44: - Warning 3: deprecated: String.uppercase - Use String.uppercase_ascii instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c top_level.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c top_level.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c type_infer.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c type_infer.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c test_exps.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c test_exps.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unitary_ast0.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unitary_ast0.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c arity.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c arity.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c index.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c index.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c context_neg.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c context_neg.ml - File "context_neg.ml", line 934, characters 23-25: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "context_neg.ml", line 973, characters 14-16: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "context_neg.ml", line 974, characters 22-24: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "context_neg.ml", line 974, characters 43-45: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "context_neg.ml", line 975, characters 41-43: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "context_neg.ml", line 995, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c adjust_pragmas.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c adjust_pragmas.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c insert_plus.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c insert_plus.ml - File "insert_plus.ml", line 811, characters 38-40: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "insert_plus.ml", line 833, characters 39-41: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "insert_plus.ml", line 833, characters 54-56: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c function_prototypes.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c function_prototypes.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unify_ast.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c unify_ast.ml - File "unify_ast.ml", line 56, characters 21-23: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c semantic_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c data.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c data.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c free_vars.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c free_vars.ml - File "free_vars.ml", line 354, characters 28-30: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parse_aux.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c disjdistr.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c disjdistr.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c semantic_cocci.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c ../globals/flag.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parse_aux.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parser_cocci_menhir.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parser_cocci_menhir.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c lexer_cocci.ml - File "lexer_cocci.mll", line 152, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "lexer_cocci.mll", line 414, characters 26-28: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c lexer_script.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c get_constants.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c get_constants.ml - File "get_constants.ml", line 157, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "get_constants.ml", line 244, characters 39-41: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "get_constants.ml", line 288, characters 28-30: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c get_constants2.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c get_constants2.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parse_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -c parse_cocci.ml - File "parse_cocci.ml", line 737, characters 37-39: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1076, characters 29-31: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1076, characters 41-43: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1076, characters 52-54: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1077, characters 28-30: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1077, characters 40-42: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1193, characters 19-21: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "parse_cocci.ml", line 1425, characters 28-30: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../menhirlib -I ../menhirlib -a -o cocci_parser.cmxa ../menhirlib/menhirLib.cmx flag_parsing_cocci.cmx type_cocci.cmx ast_cocci.cmx ast0_cocci.cmx pretty_print_cocci.cmx unparse_ast0.cmx visitor_ast.cmx visitor_ast0.cmx compute_lines.cmx comm_assoc.cmx iso_pattern.cmx iso_compile.cmx single_statement.cmx simple_assignments.cmx ast0toast.cmx check_meta.cmx top_level.cmx type_infer.cmx test_exps.cmx unitary_ast0.cmx arity.cmx index.cmx context_neg.cmx adjust_pragmas.cmx insert_plus.cmx function_prototypes.cmx unify_ast.cmx semantic_cocci.cmx data.cmx free_vars.cmx parse_aux.cmx disjdistr.cmx lexer_cocci.cmx parser_cocci_menhir.cmx lexer_script.cmx get_constants.cmx get_constants2.cmx parse_cocci.cmx - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_cocci' - make[1]: Entering directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_c' - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_stat.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_to_flow.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_to_flow.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c semantic_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml - File "unparse_cocci.ml", line 66, characters 66-68: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_stat.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.ml - File "unparse_c.ml", line 390, characters 32-34: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - File "unparse_c.ml", line 806, characters 20-22: - Warning 3: deprecated: Pervasives.or - Use (||) instead. - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.ml - ocamlc -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.mli - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.ml - ocamlopt -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -a -o parsing_c.cmxa flag_parsing_c.cmx parsing_stat.cmx token_c.cmx ast_c.cmx control_flow_c.cmx type_c.cmx visitor_c.cmx lib_parsing_c.cmx ast_to_flow.cmx pretty_print_c.cmx semantic_c.cmx lexer_parser.cmx parser_c.cmx lexer_c.cmx token_helpers.cmx parsing_hacks.cmx unparse_cocci.cmx unparse_c.cmx unparse_hrule.cmx parse_c.cmx cpp_ast_c.cmx type_annoter_c.cmx comment_annotater_c.cmx compare_c.cmx test_parsing_c.cmx - make[1]: Leaving directory '/home/opam/.opam/4.05/.opam-switch/build/spdiff.0.1/localcocci/parsing_c' - ocamlc.opt -g -dtypes -custom -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c ANSITerminal.mli - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c ANSITerminal.ml - ocamlc.opt -g -dtypes -custom -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c hashcons.mli - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c hashcons.ml - File "hashcons.ml", line 40, characters 12-24: - Warning 3: deprecated: Array.create - Use Array.make instead. - File "hashcons.ml", line 179, characters 14-26: - Warning 3: deprecated: Array.create - Use Array.make instead. - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c jconfig.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c gtree.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c env.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c gtree_util.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c util.ml - menhir genericparser.mly - ocamlc.opt -g -dtypes -custom -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c genericparser.mli - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c genericparser.ml - ocamllex genericlexer.mll - 16 states, 260 transitions, table size 1136 bytes - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c genericlexer.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c difftype.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c visitor_j.ml - ocamlc.opt -g -dtypes -custom -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c control_flow_c2.mli - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c control_flow_c2.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c ast_to_flow2.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c msa.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c diff.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c reader.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -c main.ml - ocamlopt.opt -g -dtypes -I localcocci/commons -I localcocci/commons/ocamlextra -I localcocci/globals -I localcocci/commons/ocollection -I localcocci/globals -I localcocci/parsing_c -o spdiff.opt str.cmxa unix.cmxa bigarray.cmxa localcocci/commons/commons.cmxa localcocci/globals/globals.cmxa localcocci/parsing_c/parsing_c.cmxa ANSITerminal.cmx hashcons.cmx jconfig.cmx gtree.cmx env.cmx gtree_util.cmx util.cmx genericparser.cmx genericlexer.cmx difftype.cmx visitor_j.cmx control_flow_c2.cmx ast_to_flow2.cmx msa.cmx diff.cmx reader.cmx main.cmx - rm genericparser.ml genericlexer.ml -> compiled spdiff.0.1 -> installed spdiff.0.1 Done. # Run eval $(opam env) to update the current shell environment 2022-11-03 21:01.15 ---> saved as "3572454af69cd001ea602d23dce97c4816d73eae9c438ce17c356f71f7e37241" Job succeeded