Building on apache.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:286b1a07f166d69599599e77d36ff670e397cb189a08f108911b5151b4668ce1)
2022-06-03 09:40.58 ---> using "47ed2e5e0feee1987ba23dd55270cc6ad201fc29c17004e34e901e030428f794" 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-06-03 09:40.58 ---> using "4a75653e8e13af1975fafc6190bea646f6c5227de6a31d9a10c263381aa24cc1" 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 acdf0fda43c6ad752dca7fbab614d7a45df50538"))
2022-06-03 09:40.58 ---> using "e017e24311b2d1facae68aa054d4808ac0fd85da474fe18b5feb752a484a7401" 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-06-03 09:40.58 ---> using "fe4ab29b581b2ba4fc496c6fcd5cd0653b4902fb6da880b540dae71463661523" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.02' '4.02.3'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.02.3"} | "ocaml-system" {= "4.02.3"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.02.3 (cached)
-> installed ocaml-base-compiler.4.02.3
-> installed ocaml-config.1
-> installed ocaml.4.02.3
-> installed base-ocamlbuild.base
Done.
# Run eval $(opam env --switch=4.02) to update the current shell environment
2022-06-03 09:40.58 ---> using "0e9292a7d2bdd2d0f831e0d924388c9fa8e1e9ca331331f0074d7467a0bbf700" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 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-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-06-02-2003.50-F-2022-06-01-1416.25.pdiff [73.9 kB]
- Fetched 303 kB in 2s (177 kB/s)
- Reading package lists...
-
2022-06-03 09:40.58 ---> using "b367b46c1512171e819433561dae4a57f0a24bd3c42efeea1e7dfd7f73997218" 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-06-03 09:40.58 ---> using "6754c9d5bc4723cf1d77b8b7f37cdab77a1ee2293fdd5d87a97131d48a57dee0" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"menhir.20130911\"\
\nopam install -vy \"menhir.20130911\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"menhir.20130911\" | 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"))
[NOTE] menhir.20130911 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install menhir 20130911
- install ocamlbuild 0 [required by menhir]
- install ocamlfind 1.9.3 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/9: [menhir.20130911: http]
Processing 2/9: [menhir.20130911: http]
Processing 3/9: [menhir.20130911: http]
Processing 4/9: [menhir.20130911: http]
-> installed ocamlbuild.0
Processing 5/9: [menhir.20130911: http]
-> retrieved ocamlfind.1.9.3 (cached)
Processing 6/9: [menhir.20130911: http] [ocamlfind: ./configure]
Processing 6/9: [ocamlfind: ./configure]
-> retrieved menhir.20130911 (http://cristal.inria.fr/~fpottier/menhir/menhir-20130911.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.02/bin" "-sitelib" "/home/opam/.opam/4.02/lib" "-mandir" "/home/opam/.opam/4.02/man" "-config" "/home/opam/.opam/4.02/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3)
- Welcome to findlib version 1.9.3
- 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
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: found
- ocamlbuild: found
- ocamldoc: found
- raw_spacetime: not present (normal since 4.12)
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/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 ocamlbuild written to site-lib-src/ocamlbuild/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/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.02/lib/ocaml
- Binaries: /home/opam/.opam/4.02/bin
- Manual pages: /home/opam/.opam/4.02/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.02/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.02/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.02/bin
- Manual pages: /home/opam/.opam/4.02/man
- topfind script: /home/opam/.opam/4.02/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 6/9: [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/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.02/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.02/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 -g -c findlib_config.ml
- ocamlc -I +compiler-libs -g -c fl_split.ml
- ocamlc -I +compiler-libs -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -g -c fl_meta.ml
- ocamlc -I +compiler-libs -c fl_metascanner.mli
- ocamlc -I +compiler-libs -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -c fl_topo.mli
- ocamlc -I +compiler-libs -g -c fl_topo.ml
- ocamlc -I +compiler-libs -c fl_package_base.mli
- ocamlc -I +compiler-libs -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -c findlib.mli
- ocamlc -I +compiler-libs -g -c findlib.ml
- ocamlc -I +compiler-libs -g -c fl_args.ml
- ocamlc -I +compiler-libs -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 -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -g -c frontend.ml
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -c topfind.mli
- ocamlc -I +compiler-libs -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.02/lib' \
- >topfind
- ocamlc -I +compiler-libs -c num_top_printers.mli
- ocamlc -I +compiler-libs -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -c num_top.mli
- ocamlc -I +compiler-libs -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 -c fl_dynload.mli
- ocamlc -I +compiler-libs -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.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.02/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.02/.opam-switch/build/ocamlfind.1.9.3'
Processing 6/9: [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- ocamlopt -I +compiler-libs -g -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -c fl_split.ml
- ocamlopt -I +compiler-libs -g -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -c findlib.ml
- ocamlopt -I +compiler-libs -g -c fl_args.ml
- ocamlopt -I +compiler-libs -g -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 -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -c topfind.ml
- 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 -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.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
-> compiled ocamlfind.1.9.3
Processing 7/9: [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.02/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.02/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
- mkdir -p "/home/opam/.opam/4.02/bin"
- mkdir -p "/home/opam/.opam/4.02/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "`dirname \"/home/opam/.opam/4.02/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.02/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.02/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/4.02/lib/findlib"
- mkdir -p "/home/opam/.opam/4.02/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.02/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` && \
- cp $files "/home/opam/.opam/4.02/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.02/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.02/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.02/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.02/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamlbuild ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.02/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.02/lib/$x/META.tmp" && mv "/home/opam/.opam/4.02/lib/$x/META.tmp" "/home/opam/.opam/4.02/lib/$x/META"; done
- mkdir -p "/home/opam/.opam/4.02/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.02/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/4.02/lib/num-top"
- cp num_top.cma num_top.cmi num_top_printers.cmi \
- "/home/opam/.opam/4.02/lib/num-top"
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.02/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "/home/opam/.opam/4.02/man/man1" "/home/opam/.opam/4.02/man/man3" "/home/opam/.opam/4.02/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.02/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.02/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/ocamlfind.1.9.3'
-> installed ocamlfind.1.9.3
Processing 9/9: [menhir: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "PREFIX=/home/opam/.opam/4.02" "docdir=/home/opam/.opam/4.02/doc/menhir" "libdir=/home/opam/.opam/4.02/lib/menhir" "mandir=/home/opam/.opam/4.02/man/man1" (CWD=/home/opam/.opam/4.02/.opam-switch/build/menhir.20130911)
- rm -f src/installation.ml
- echo "let libdir = \"/home/opam/.opam/4.02/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 library bootstrap
- make[1]: Entering directory '/home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src'
- ocamlbuild -classic-display -use-ocamlfind -j 0 menhirLib.cmo menhirLib.cmx
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- ocamlfind ocamldep -modules infiniteArray.mli > infiniteArray.mli.depends
- ocamlfind ocamlc -c -o infiniteArray.cmi infiniteArray.mli
- ocamlfind ocamldep -modules infiniteArray.ml > infiniteArray.ml.depends
- ocamlfind ocamldep -modules packedIntArray.mli > packedIntArray.mli.depends
- ocamlfind ocamlc -c -o packedIntArray.cmi packedIntArray.mli
- ocamlfind ocamldep -modules packedIntArray.ml > packedIntArray.ml.depends
- ocamlfind ocamldep -modules rowDisplacement.mli > rowDisplacement.mli.depends
- ocamlfind ocamlc -c -o rowDisplacement.cmi rowDisplacement.mli
- ocamlfind ocamldep -modules rowDisplacement.ml > rowDisplacement.ml.depends
- ocamlfind ocamldep -modules engineTypes.ml > engineTypes.ml.depends
- ocamlfind ocamldep -modules engine.mli > engine.mli.depends
- ocamlfind ocamlc -c -g -o engineTypes.cmo engineTypes.ml
- ocamlfind ocamlc -c -o engine.cmi engine.mli
- ocamlfind ocamldep -modules engine.ml > engine.ml.depends
- ocamlfind ocamldep -modules tableFormat.ml > tableFormat.ml.depends
- ocamlfind ocamldep -modules tableInterpreter.mli > tableInterpreter.mli.depends
- ocamlfind ocamlc -c -g -o tableFormat.cmo tableFormat.ml
- ocamlfind ocamlc -c -o tableInterpreter.cmi tableInterpreter.mli
- ocamlfind ocamldep -modules tableInterpreter.ml > tableInterpreter.ml.depends
- ocamlfind ocamldep -modules convert.mli > convert.mli.depends
- ocamlfind ocamlc -c -o convert.cmi convert.mli
- ocamlfind ocamldep -modules convert.ml > convert.ml.depends
- ocamlfind ocamlc -c -g -o infiniteArray.cmo infiniteArray.ml
- ocamlfind ocamlc -c -g -o packedIntArray.cmo packedIntArray.ml
- ocamlfind ocamlc -c -g -o rowDisplacement.cmo rowDisplacement.ml
- ocamlfind ocamlc -c -g -o engine.cmo engine.ml
- ocamlfind ocamlc -c -g -o tableInterpreter.cmo tableInterpreter.ml
- ocamlfind ocamlc -c -g -o convert.cmo convert.ml
- + ocamlfind ocamlc -c -g -o packedIntArray.cmo 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 -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx 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 ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli ; if ocamlfind ocamlopt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- # Parallel statistics: { count(total): 2(33), max: 6, min: 2, average(total): 4.000(1.182) }
- Checking that Objective Caml is recent enough...
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- ocamlfind ocamldep -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends
- ocamlfind ocamlc -c -g -o checkOCamlVersion.cmo checkOCamlVersion.ml
- ocamlfind ocamlc -linkpkg str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte
- # No parallelism done
- Version 4.02.3 is OK.
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- ocamlfind ocamldep -modules menhir.ml > menhir.ml.depends
- ocamlfind ocamldep -modules back.mli > back.mli.depends
- ocamlfind ocamlc -c -o back.cmi back.mli
- ocamlfind ocamlc -c -g -o menhir.cmo menhir.ml
- ocamlfind ocamldep -modules back.ml > back.ml.depends
- ocamlfind ocamldep -modules codeBackend.ml > codeBackend.ml.depends
- ocamlfind ocamldep -modules codeBackend.mli > codeBackend.mli.depends
- ocamlfind ocamldep -modules IL.mli > IL.mli.depends
- ocamlfind ocamldep -modules stretch.mli > stretch.mli.depends
- ocamlfind ocamldep -modules keyword.mli > keyword.mli.depends
- ocamlfind ocamldep -modules positions.mli > positions.mli.depends
- ocamlfind ocamlc -c -o keyword.cmi keyword.mli
- ocamlfind ocamlc -c -o positions.cmi positions.mli
- ocamlfind ocamlc -c -o stretch.cmi stretch.mli
- ocamlfind ocamlc -c -o IL.cmi IL.mli
- ocamlfind ocamlc -c -o codeBackend.cmi codeBackend.mli
- ocamlfind ocamldep -modules action.ml > action.ml.depends
- ocamlfind ocamldep -modules action.mli > action.mli.depends
- ocamlfind ocamlc -c -o action.cmi action.mli
- ocamlfind ocamldep -modules keyword.ml > keyword.ml.depends
- ocamlfind ocamldep -modules positions.ml > positions.ml.depends
- ocamlfind ocamldep -modules printer.ml > printer.ml.depends
- ocamlfind ocamldep -modules printer.mli > printer.mli.depends
- ocamlfind ocamlc -c -o printer.cmi printer.mli
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lineCount.mll
- ocamlfind ocamldep -modules lineCount.ml > lineCount.ml.depends
- ocamlfind ocamlc -c -g -o lineCount.cmo lineCount.ml
- ocamlfind ocamldep -modules settings.ml > settings.ml.depends
- ocamlfind ocamldep -modules settings.mli > settings.mli.depends
- ocamlfind ocamlc -c -o settings.cmi settings.mli
- ocamlfind ocamldep -modules installation.ml > installation.ml.depends
- ocamlfind ocamldep -modules installation.mli > installation.mli.depends
- ocamlfind ocamlc -c -o installation.cmi installation.mli
- ocamlfind ocamldep -modules stringSet.ml > stringSet.ml.depends
- ocamlfind ocamldep -modules stringSet.mli > stringSet.mli.depends
- ocamlfind ocamlc -c -o stringSet.cmi stringSet.mli
- ocamlfind ocamldep -modules version.ml > version.ml.depends
- ocamlfind ocamlc -c -g -o version.cmo version.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o installation.cmx installation.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o stringSet.cmx stringSet.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o version.cmx version.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lineCount.cmx lineCount.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o settings.cmx settings.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o keyword.cmx keyword.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o positions.cmx positions.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o printer.cmx printer.ml
- ocamlfind ocamldep -modules codeBits.ml > codeBits.ml.depends
- ocamlfind ocamldep -modules codeBits.mli > codeBits.mli.depends
- ocamlfind ocamlc -c -o codeBits.cmi codeBits.mli
- ocamlfind ocamldep -modules codePieces.ml > codePieces.ml.depends
- ocamlfind ocamldep -modules codePieces.mli > codePieces.mli.depends
- ocamlfind ocamldep -modules grammar.mli > grammar.mli.depends
- ocamlfind ocamldep -modules gMap.ml > gMap.ml.depends
- ocamlfind ocamldep -modules gSet.ml > gSet.ml.depends
- ocamlfind ocamlc -c -g -o gSet.cmo gSet.ml
- ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends
- ocamlfind ocamldep -modules mark.mli > mark.mli.depends
- ocamlfind ocamlc -c -o mark.cmi mark.mli
- ocamlfind ocamlc -c -g -o gMap.cmo gMap.ml
- ocamlfind ocamlc -c -o syntax.cmi syntax.mli
- ocamlfind ocamlc -c -o grammar.cmi grammar.mli
- ocamlfind ocamlc -c -o codePieces.cmi codePieces.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o action.cmx action.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o codeBits.cmx codeBits.ml
- ocamlfind ocamldep -modules grammar.ml > grammar.ml.depends
- ocamlfind ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
- ocamlfind ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
- ocamlfind ocamlc -c -o compressedBitSet.cmi compressedBitSet.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o gSet.cmx gSet.ml
- ocamlfind ocamldep -modules dot.ml > dot.ml.depends
- ocamlfind ocamldep -modules dot.mli > dot.mli.depends
- ocamlfind ocamlc -c -o dot.cmi dot.mli
- ocamlfind ocamldep -modules option.ml > option.ml.depends
- ocamlfind ocamldep -modules option.mli > option.mli.depends
- ocamlfind ocamlc -c -o option.cmi option.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o option.cmx option.ml
- ocamlfind ocamldep -modules error.ml > error.ml.depends
- ocamlfind ocamldep -modules error.mli > error.mli.depends
- ocamlfind ocamlc -c -o error.cmi error.mli
- ocamlfind ocamldep -modules mark.ml > mark.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o mark.cmx mark.ml
- ocamlfind ocamldep -modules front.ml > front.ml.depends
- ocamlfind ocamldep -modules front.mli > front.mli.depends
- ocamlfind ocamldep -modules unparameterizedSyntax.mli > unparameterizedSyntax.mli.depends
- ocamlfind ocamldep -modules stringMap.mli > stringMap.mli.depends
- ocamlfind ocamlc -c -o stringMap.cmi stringMap.mli
- ocamlfind ocamlc -c -o unparameterizedSyntax.cmi unparameterizedSyntax.mli
- ocamlfind ocamlc -c -o front.cmi front.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o error.cmx error.ml
- ocamlfind ocamldep -modules infer.ml > infer.ml.depends
- ocamlfind ocamldep -modules infer.mli > infer.mli.depends
- ocamlfind ocamlc -c -o infer.cmi infer.mli
- ocamlfind ocamldep -modules IO.ml > IO.ml.depends
- ocamlfind ocamldep -modules IO.mli > IO.mli.depends
- ocamlfind ocamlc -c -o IO.cmi IO.mli
- ocamlfind ocamldep -modules interface.ml > interface.ml.depends
- ocamlfind ocamldep -modules interface.mli > interface.mli.depends
- ocamlfind ocamlc -c -o interface.cmi interface.mli
- ocamlfind ocamldep -modules misc.ml > misc.ml.depends
- ocamlfind ocamldep -modules misc.mli > misc.mli.depends
- ocamlfind ocamlc -c -o misc.cmi misc.mli
- ocamlfind ocamldep -modules stringMap.ml > stringMap.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o stringMap.cmx stringMap.ml
- ocamlfind ocamldep -modules preFront.ml > preFront.ml.depends
- ocamlfind ocamldep -modules preFront.mli > preFront.mli.depends
- ocamlfind ocamlc -c -o preFront.cmi preFront.mli
- ocamlfind ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexer.mll
- ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends
- cp yacc-parser.mly parser.mly
- /home/opam/.opam/4.02/bin/ocamlyacc parser.mly
- ocamlfind ocamldep -modules parser.mli > parser.mli.depends
- ocamlfind ocamlc -c -o concreteSyntax.cmi concreteSyntax.mli
- ocamlfind ocamlc -c -o parser.cmi parser.mli
- ocamlfind ocamlc -c -g -o lexer.cmo lexer.ml
- + ocamlfind ocamlc -c -g -o lexer.cmo lexer.ml
- 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
- ocamlfind ocamldep -modules parser.ml > parser.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o misc.cmx misc.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o misc.cmx misc.ml
- 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.
- ocamlfind ocamldep -modules parameters.ml > parameters.ml.depends
- ocamlfind ocamlc -c -g -o parameters.cmo parameters.ml
- ocamlfind ocamldep -modules parserAux.ml > parserAux.ml.depends
- ocamlfind ocamldep -modules parserAux.mli > parserAux.mli.depends
- ocamlfind ocamlc -c -o parserAux.cmi parserAux.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o parameters.cmx parameters.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parserAux.cmx parserAux.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parser.cmx parser.ml
- ocamlfind ocamldep -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
- ocamlfind ocamldep -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
- ocamlfind ocamldep -modules internalSyntax.mli > internalSyntax.mli.depends
- ocamlfind ocamlc -c -o internalSyntax.cmi internalSyntax.mli
- ocamlfind ocamlc -c -o parameterizedGrammar.cmi parameterizedGrammar.mli
- ocamlfind ocamldep -modules tarjan.ml > tarjan.ml.depends
- ocamlfind ocamldep -modules tarjan.mli > tarjan.mli.depends
- ocamlfind ocamlc -c -o tarjan.cmi tarjan.mli
- ocamlfind ocamldep -modules unionFind.ml > unionFind.ml.depends
- ocamlfind ocamldep -modules unionFind.mli > unionFind.mli.depends
- ocamlfind ocamlc -c -o unionFind.cmi unionFind.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o unionFind.cmx unionFind.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- 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.
- ocamlfind ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
- ocamlfind ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
- ocamlfind ocamlc -c -o partialGrammar.cmi partialGrammar.mli
- ocamlfind ocamldep -modules time.ml > time.ml.depends
- ocamlfind ocamldep -modules time.mli > time.mli.depends
- ocamlfind ocamlc -c -o time.cmi time.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lexer.cmx lexer.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o time.cmx time.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lexer.cmx lexer.ml
- 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
- + ocamlfind ocamlopt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- 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.
- + ocamlfind ocamlopt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- File "parameterizedGrammar.ml", line 340, characters 26-38:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules tokenType.ml > tokenType.ml.depends
- ocamlfind ocamldep -modules tokenType.mli > tokenType.mli.depends
- ocamlfind ocamlc -c -o tokenType.cmi tokenType.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o preFront.cmx preFront.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o preFront.cmx preFront.ml
- File "preFront.ml", line 38, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o tokenType.cmx tokenType.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexdep.mll
- ocamlfind ocamldep -modules lexdep.ml > lexdep.ml.depends
- ocamlfind ocamlc -c -g -o lexdep.cmo lexdep.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexmli.mll
- ocamlfind ocamldep -modules lexmli.ml > lexmli.ml.depends
- ocamlfind ocamlc -c -g -o lexmli.cmo lexmli.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o IO.cmx IO.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o interface.cmx interface.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lexdep.cmx lexdep.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lexmli.cmx lexmli.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o IO.cmx IO.ml
- File "IO.ml", line 25, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlfind ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
- ocamlfind ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
- ocamlfind ocamlc -c -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
- ocamlfind ocamldep -modules listMonad.ml > listMonad.ml.depends
- ocamlfind ocamldep -modules listMonad.mli > listMonad.mli.depends
- ocamlfind ocamlc -c -o listMonad.cmi listMonad.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o listMonad.cmx listMonad.ml
- ocamlfind ocamldep -modules reachability.ml > reachability.ml.depends
- ocamlfind ocamldep -modules reachability.mli > reachability.mli.depends
- ocamlfind ocamlc -c -o reachability.cmi reachability.mli
- ocamlfind ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
- ocamlfind ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
- ocamlfind ocamlc -c -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o infer.cmx infer.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o reachability.cmx reachability.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- ocamlfind ocamldep -modules patricia.ml > patricia.ml.depends
- ocamlfind ocamldep -modules patricia.mli > patricia.mli.depends
- ocamlfind ocamlc -c -o patricia.cmi patricia.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o gMap.cmx gMap.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o dot.cmx dot.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o front.cmx front.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o patricia.cmx patricia.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o grammar.cmx grammar.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o grammar.cmx grammar.ml
- File "grammar.ml", line 708, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 711, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 898, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 901, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules invariant.ml > invariant.ml.depends
- ocamlfind ocamldep -modules invariant.mli > invariant.mli.depends
- ocamlfind ocamldep -modules lr1.mli > lr1.mli.depends
- ocamlfind ocamldep -modules Fix.mli > Fix.mli.depends
- ocamlfind ocamldep -modules item.mli > item.mli.depends
- ocamlfind ocamldep -modules lookahead.mli > lookahead.mli.depends
- ocamlfind ocamlc -c -o lookahead.cmi lookahead.mli
- ocamlfind ocamldep -modules lr0.mli > lr0.mli.depends
- ocamlfind ocamlc -c -o item.cmi item.mli
- ocamlfind ocamlc -c -o Fix.cmi Fix.mli
- ocamlfind ocamlc -c -o lr0.cmi lr0.mli
- ocamlfind ocamlc -c -o lr1.cmi lr1.mli
- ocamlfind ocamlc -c -o invariant.cmi invariant.mli
- ocamlfind ocamldep -modules conflict.ml > conflict.ml.depends
- ocamlfind ocamldep -modules conflict.mli > conflict.mli.depends
- ocamlfind ocamlc -c -o conflict.cmi conflict.mli
- ocamlfind ocamldep -modules derivation.ml > derivation.ml.depends
- ocamlfind ocamldep -modules derivation.mli > derivation.mli.depends
- ocamlfind ocamlc -c -o derivation.cmi derivation.mli
- ocamlfind ocamldep -modules item.ml > item.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o item.cmx item.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o item.cmx item.ml
- File "item.ml", line 163, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules lr0.ml > lr0.ml.depends
- ocamlfind ocamldep -modules infiniteArray.mli > infiniteArray.mli.depends
- ocamlfind ocamlc -c -o infiniteArray.cmi infiniteArray.mli
- ocamlfind ocamldep -modules infiniteArray.ml > infiniteArray.ml.depends
- ocamlfind ocamldep -modules packedIntArray.mli > packedIntArray.mli.depends
- ocamlfind ocamlc -c -o packedIntArray.cmi packedIntArray.mli
- ocamlfind ocamldep -modules packedIntArray.ml > packedIntArray.ml.depends
- ocamlfind ocamldep -modules rowDisplacement.mli > rowDisplacement.mli.depends
- ocamlfind ocamlc -c -o rowDisplacement.cmi rowDisplacement.mli
- ocamlfind ocamldep -modules rowDisplacement.ml > rowDisplacement.ml.depends
- ocamlfind ocamldep -modules engineTypes.ml > engineTypes.ml.depends
- ocamlfind ocamldep -modules engine.mli > engine.mli.depends
- ocamlfind ocamlc -c -g -o engineTypes.cmo engineTypes.ml
- ocamlfind ocamlc -c -o engine.cmi engine.mli
- ocamlfind ocamldep -modules engine.ml > engine.ml.depends
- ocamlfind ocamldep -modules tableFormat.ml > tableFormat.ml.depends
- ocamlfind ocamldep -modules tableInterpreter.mli > tableInterpreter.mli.depends
- ocamlfind ocamlc -c -g -o tableFormat.cmo tableFormat.ml
- ocamlfind ocamlc -c -o tableInterpreter.cmi tableInterpreter.mli
- ocamlfind ocamldep -modules tableInterpreter.ml > tableInterpreter.ml.depends
- ocamlfind ocamldep -modules convert.mli > convert.mli.depends
- ocamlfind ocamlc -c -o convert.cmi convert.mli
- ocamlfind ocamldep -modules convert.ml > convert.ml.depends
- ocamlfind ocamlc -c -g -o infiniteArray.cmo infiniteArray.ml
- ocamlfind ocamlc -c -g -o packedIntArray.cmo packedIntArray.ml
- ocamlfind ocamlc -c -g -o rowDisplacement.cmo rowDisplacement.ml
- ocamlfind ocamlc -c -g -o engine.cmo engine.ml
- ocamlfind ocamlc -c -g -o tableInterpreter.cmo tableInterpreter.ml
- ocamlfind ocamlc -c -g -o convert.cmo convert.ml
- + ocamlfind ocamlc -c -g -o packedIntArray.cmo 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 -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx 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 ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli ; if ocamlfind ocamlopt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- ocamlfind ocamldep -modules lr1.ml > lr1.ml.depends
- ocamlfind ocamldep -modules breadth.ml > breadth.ml.depends
- ocamlfind ocamldep -modules breadth.mli > breadth.mli.depends
- ocamlfind ocamlc -c -o breadth.cmi breadth.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lr0.cmx lr0.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr0.cmx lr0.ml
- File "lr0.ml", line 190, characters 1-13:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules slr.ml > slr.ml.depends
- ocamlfind ocamldep -modules slr.mli > slr.mli.depends
- ocamlfind ocamlc -c -o slr.cmi slr.mli
- ocamlfind ocamldep -modules Fix.ml > Fix.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o breadth.cmx breadth.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o slr.cmx slr.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o Fix.cmx Fix.ml
- ocamlfind ocamldep -modules lr1partial.ml > lr1partial.ml.depends
- ocamlfind ocamldep -modules lr1partial.mli > lr1partial.mli.depends
- ocamlfind ocamlc -c -o lr1partial.cmi lr1partial.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lr1.cmx lr1.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr1.cmx lr1.ml
- File "lr1.ml", line 244, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o derivation.cmx derivation.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- File "lr1partial.ml", line 77, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o conflict.cmx conflict.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o codePieces.cmx codePieces.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o invariant.cmx invariant.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o invariant.cmx invariant.ml
- File "invariant.ml", line 46, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules coqBackend.ml > coqBackend.ml.depends
- ocamlfind ocamldep -modules coqBackend.mli > coqBackend.mli.depends
- ocamlfind ocamlc -c -o coqBackend.cmi coqBackend.mli
- ocamlfind ocamldep -modules inliner.ml > inliner.ml.depends
- ocamlfind ocamldep -modules inliner.mli > inliner.mli.depends
- ocamlfind ocamlc -c -o inliner.cmi inliner.mli
- ocamlfind ocamldep -modules traverse.ml > traverse.ml.depends
- ocamlfind ocamlc -c -g -o traverse.cmo traverse.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o traverse.cmx traverse.ml
- ocamlfind ocamldep -modules interpret.ml > interpret.ml.depends
- ocamlfind ocamldep -modules interpret.mli > interpret.mli.depends
- ocamlfind ocamlc -c -o interpret.cmi interpret.mli
- ocamlfind ocamldep -modules cst.ml > cst.ml.depends
- ocamlfind ocamldep -modules cst.mli > cst.mli.depends
- ocamlfind ocamlc -c -o cst.cmi cst.mli
- ocamlfind ocamldep -modules pprint.ml > pprint.ml.depends
- ocamlfind ocamldep -modules pprint.mli > pprint.mli.depends
- ocamlfind ocamlc -c -o pprint.cmi pprint.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o pprint.cmx pprint.ml
- ocamlfind ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
- ocamlfind ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
- ocamlfind ocamlc -c -o referenceInterpreter.cmi referenceInterpreter.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o cst.cmx cst.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q sentenceLexer.mll
- ocamlfind ocamldep -modules sentenceLexer.ml > sentenceLexer.ml.depends
- /home/opam/.opam/4.02/bin/ocamlyacc sentenceParser.mly
- ocamlfind ocamldep -modules sentenceParser.mli > sentenceParser.mli.depends
- ocamlfind ocamlc -c -o sentenceParser.cmi sentenceParser.mli
- ocamlfind ocamlc -c -g -o sentenceLexer.cmo sentenceLexer.ml
- ocamlfind ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
- ocamlfind ocamldep -modules tableBackend.ml > tableBackend.ml.depends
- ocamlfind ocamldep -modules tableBackend.mli > tableBackend.mli.depends
- ocamlfind ocamlc -c -o tableBackend.cmi tableBackend.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o inliner.cmx inliner.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o interpret.cmx interpret.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o back.cmx back.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o menhir.cmx menhir.ml
- ocamlfind ocamlopt -linkpkg unix.cmxa -g Fix.cmx IO.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx stringMap.cmx misc.cmx breadth.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx error.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx time.cmx preFront.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
- # Parallel statistics: { count(total): 18(280), max: 6, min: 2, average(total): 2.944(1.125) }
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- ocamlfind ocamldep -modules menhir.ml > menhir.ml.depends
- ocamlfind ocamldep -modules back.mli > back.mli.depends
- ocamlfind ocamlc -c -o back.cmi back.mli
- ocamlfind ocamlc -c -g -o menhir.cmo menhir.ml
- ocamlfind ocamldep -modules back.ml > back.ml.depends
- ocamlfind ocamldep -modules codeBackend.ml > codeBackend.ml.depends
- ocamlfind ocamldep -modules codeBackend.mli > codeBackend.mli.depends
- ocamlfind ocamldep -modules IL.mli > IL.mli.depends
- ocamlfind ocamldep -modules stretch.mli > stretch.mli.depends
- ocamlfind ocamldep -modules keyword.mli > keyword.mli.depends
- ocamlfind ocamldep -modules positions.mli > positions.mli.depends
- ocamlfind ocamlc -c -o keyword.cmi keyword.mli
- ocamlfind ocamlc -c -o positions.cmi positions.mli
- ocamlfind ocamlc -c -o stretch.cmi stretch.mli
- ocamlfind ocamlc -c -o IL.cmi IL.mli
- ocamlfind ocamlc -c -o codeBackend.cmi codeBackend.mli
- ocamlfind ocamldep -modules action.ml > action.ml.depends
- ocamlfind ocamldep -modules action.mli > action.mli.depends
- ocamlfind ocamlc -c -o action.cmi action.mli
- ocamlfind ocamldep -modules keyword.ml > keyword.ml.depends
- ocamlfind ocamldep -modules positions.ml > positions.ml.depends
- ocamlfind ocamldep -modules printer.ml > printer.ml.depends
- ocamlfind ocamldep -modules printer.mli > printer.mli.depends
- ocamlfind ocamlc -c -o printer.cmi printer.mli
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lineCount.mll
- ocamlfind ocamldep -modules lineCount.ml > lineCount.ml.depends
- ocamlfind ocamlc -c -g -o lineCount.cmo lineCount.ml
- ocamlfind ocamldep -modules settings.ml > settings.ml.depends
- ocamlfind ocamldep -modules settings.mli > settings.mli.depends
- ocamlfind ocamlc -c -o settings.cmi settings.mli
- ocamlfind ocamldep -modules installation.ml > installation.ml.depends
- ocamlfind ocamldep -modules installation.mli > installation.mli.depends
- ocamlfind ocamlc -c -o installation.cmi installation.mli
- ocamlfind ocamldep -modules stringSet.ml > stringSet.ml.depends
- ocamlfind ocamldep -modules stringSet.mli > stringSet.mli.depends
- ocamlfind ocamlc -c -o stringSet.cmi stringSet.mli
- ocamlfind ocamldep -modules version.ml > version.ml.depends
- ocamlfind ocamlc -c -g -o version.cmo version.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o installation.cmx installation.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o stringSet.cmx stringSet.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o version.cmx version.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lineCount.cmx lineCount.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o settings.cmx settings.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o keyword.cmx keyword.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o positions.cmx positions.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o printer.cmx printer.ml
- ocamlfind ocamldep -modules codeBits.ml > codeBits.ml.depends
- ocamlfind ocamldep -modules codeBits.mli > codeBits.mli.depends
- ocamlfind ocamlc -c -o codeBits.cmi codeBits.mli
- ocamlfind ocamldep -modules codePieces.ml > codePieces.ml.depends
- ocamlfind ocamldep -modules codePieces.mli > codePieces.mli.depends
- ocamlfind ocamldep -modules grammar.mli > grammar.mli.depends
- ocamlfind ocamldep -modules gMap.ml > gMap.ml.depends
- ocamlfind ocamldep -modules gSet.ml > gSet.ml.depends
- ocamlfind ocamlc -c -g -o gSet.cmo gSet.ml
- ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends
- ocamlfind ocamldep -modules mark.mli > mark.mli.depends
- ocamlfind ocamlc -c -o mark.cmi mark.mli
- ocamlfind ocamlc -c -g -o gMap.cmo gMap.ml
- ocamlfind ocamlc -c -o syntax.cmi syntax.mli
- ocamlfind ocamlc -c -o grammar.cmi grammar.mli
- ocamlfind ocamlc -c -o codePieces.cmi codePieces.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o action.cmx action.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o codeBits.cmx codeBits.ml
- ocamlfind ocamldep -modules grammar.ml > grammar.ml.depends
- ocamlfind ocamldep -modules compressedBitSet.ml > compressedBitSet.ml.depends
- ocamlfind ocamldep -modules compressedBitSet.mli > compressedBitSet.mli.depends
- ocamlfind ocamlc -c -o compressedBitSet.cmi compressedBitSet.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o gSet.cmx gSet.ml
- ocamlfind ocamldep -modules dot.ml > dot.ml.depends
- ocamlfind ocamldep -modules dot.mli > dot.mli.depends
- ocamlfind ocamlc -c -o dot.cmi dot.mli
- ocamlfind ocamldep -modules option.ml > option.ml.depends
- ocamlfind ocamldep -modules option.mli > option.mli.depends
- ocamlfind ocamlc -c -o option.cmi option.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o option.cmx option.ml
- ocamlfind ocamldep -modules error.ml > error.ml.depends
- ocamlfind ocamldep -modules error.mli > error.mli.depends
- ocamlfind ocamlc -c -o error.cmi error.mli
- ocamlfind ocamldep -modules mark.ml > mark.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o mark.cmx mark.ml
- ocamlfind ocamldep -modules front.ml > front.ml.depends
- ocamlfind ocamldep -modules front.mli > front.mli.depends
- ocamlfind ocamldep -modules unparameterizedSyntax.mli > unparameterizedSyntax.mli.depends
- ocamlfind ocamldep -modules stringMap.mli > stringMap.mli.depends
- ocamlfind ocamlc -c -o stringMap.cmi stringMap.mli
- ocamlfind ocamlc -c -o unparameterizedSyntax.cmi unparameterizedSyntax.mli
- ocamlfind ocamlc -c -o front.cmi front.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o error.cmx error.ml
- ocamlfind ocamldep -modules infer.ml > infer.ml.depends
- ocamlfind ocamldep -modules infer.mli > infer.mli.depends
- ocamlfind ocamlc -c -o infer.cmi infer.mli
- ocamlfind ocamldep -modules IO.ml > IO.ml.depends
- ocamlfind ocamldep -modules IO.mli > IO.mli.depends
- ocamlfind ocamlc -c -o IO.cmi IO.mli
- ocamlfind ocamldep -modules interface.ml > interface.ml.depends
- ocamlfind ocamldep -modules interface.mli > interface.mli.depends
- ocamlfind ocamlc -c -o interface.cmi interface.mli
- ocamlfind ocamldep -modules misc.ml > misc.ml.depends
- ocamlfind ocamldep -modules misc.mli > misc.mli.depends
- ocamlfind ocamlc -c -o misc.cmi misc.mli
- ocamlfind ocamldep -modules stringMap.ml > stringMap.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o stringMap.cmx stringMap.ml
- ocamlfind ocamldep -modules preFront.ml > preFront.ml.depends
- ocamlfind ocamldep -modules preFront.mli > preFront.mli.depends
- ocamlfind ocamlc -c -o preFront.cmi preFront.mli
- ocamlfind ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexer.mll
- ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends
- cp fancy-parser.mly parser.mly
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --raw-depend --ocamldep 'ocamlfind ocamldep -modules' parser.mly > parser.mly.depends
- ocamlfind ocamlc -c -o concreteSyntax.cmi concreteSyntax.mli
- ocamlfind ocamldep -modules parameters.ml > parameters.ml.depends
- ocamlfind ocamldep -modules parserAux.mli > parserAux.mli.depends
- ocamlfind ocamlc -c -g -o parameters.cmo parameters.ml
- ocamlfind ocamlc -c -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer parser.mly
- + /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer parser.mly
- 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.
- ocamlfind ocamldep -modules parser.mli > parser.mli.depends
- ocamlfind ocamlc -c -o parser.cmi parser.mli
- ocamlfind ocamlc -c -g -o lexer.cmo lexer.ml
- + ocamlfind ocamlc -c -g -o lexer.cmo lexer.ml
- 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
- ocamlfind ocamldep -modules parser.ml > parser.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o misc.cmx misc.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o misc.cmx misc.ml
- 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.
- ocamlfind ocamldep -modules parserAux.ml > parserAux.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o parameters.cmx parameters.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parserAux.cmx parserAux.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parser.cmx parser.ml
- ocamlfind ocamldep -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
- ocamlfind ocamldep -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
- ocamlfind ocamldep -modules internalSyntax.mli > internalSyntax.mli.depends
- ocamlfind ocamlc -c -o internalSyntax.cmi internalSyntax.mli
- ocamlfind ocamlc -c -o parameterizedGrammar.cmi parameterizedGrammar.mli
- ocamlfind ocamldep -modules tarjan.ml > tarjan.ml.depends
- ocamlfind ocamldep -modules tarjan.mli > tarjan.mli.depends
- ocamlfind ocamlc -c -o tarjan.cmi tarjan.mli
- ocamlfind ocamldep -modules unionFind.ml > unionFind.ml.depends
- ocamlfind ocamldep -modules unionFind.mli > unionFind.mli.depends
- ocamlfind ocamlc -c -o unionFind.cmi unionFind.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o unionFind.cmx unionFind.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- 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.
- ocamlfind ocamldep -modules partialGrammar.ml > partialGrammar.ml.depends
- ocamlfind ocamldep -modules partialGrammar.mli > partialGrammar.mli.depends
- ocamlfind ocamlc -c -o partialGrammar.cmi partialGrammar.mli
- ocamlfind ocamldep -modules time.ml > time.ml.depends
- ocamlfind ocamldep -modules time.mli > time.mli.depends
- ocamlfind ocamlc -c -o time.cmi time.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lexer.cmx lexer.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o time.cmx time.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lexer.cmx lexer.ml
- 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
- + ocamlfind ocamlopt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- 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.
- + ocamlfind ocamlopt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- File "parameterizedGrammar.ml", line 340, characters 26-38:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules tokenType.ml > tokenType.ml.depends
- ocamlfind ocamldep -modules tokenType.mli > tokenType.mli.depends
- ocamlfind ocamlc -c -o tokenType.cmi tokenType.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o preFront.cmx preFront.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o preFront.cmx preFront.ml
- File "preFront.ml", line 38, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o tokenType.cmx tokenType.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexdep.mll
- ocamlfind ocamldep -modules lexdep.ml > lexdep.ml.depends
- ocamlfind ocamlc -c -g -o lexdep.cmo lexdep.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q lexmli.mll
- ocamlfind ocamldep -modules lexmli.ml > lexmli.ml.depends
- ocamlfind ocamlc -c -g -o lexmli.cmo lexmli.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o IO.cmx IO.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o interface.cmx interface.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lexdep.cmx lexdep.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lexmli.cmx lexmli.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o IO.cmx IO.ml
- File "IO.ml", line 25, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- ocamlfind ocamldep -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
- ocamlfind ocamldep -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
- ocamlfind ocamlc -c -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
- ocamlfind ocamldep -modules listMonad.ml > listMonad.ml.depends
- ocamlfind ocamldep -modules listMonad.mli > listMonad.mli.depends
- ocamlfind ocamlc -c -o listMonad.cmi listMonad.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o listMonad.cmx listMonad.ml
- ocamlfind ocamldep -modules reachability.ml > reachability.ml.depends
- ocamlfind ocamldep -modules reachability.mli > reachability.mli.depends
- ocamlfind ocamlc -c -o reachability.cmi reachability.mli
- ocamlfind ocamldep -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
- ocamlfind ocamldep -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
- ocamlfind ocamlc -c -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o infer.cmx infer.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o reachability.cmx reachability.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- ocamlfind ocamldep -modules patricia.ml > patricia.ml.depends
- ocamlfind ocamldep -modules patricia.mli > patricia.mli.depends
- ocamlfind ocamlc -c -o patricia.cmi patricia.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o gMap.cmx gMap.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o dot.cmx dot.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o front.cmx front.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o patricia.cmx patricia.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o grammar.cmx grammar.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o grammar.cmx grammar.ml
- File "grammar.ml", line 708, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 711, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 898, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 901, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules invariant.ml > invariant.ml.depends
- ocamlfind ocamldep -modules invariant.mli > invariant.mli.depends
- ocamlfind ocamldep -modules lr1.mli > lr1.mli.depends
- ocamlfind ocamldep -modules Fix.mli > Fix.mli.depends
- ocamlfind ocamldep -modules item.mli > item.mli.depends
- ocamlfind ocamldep -modules lookahead.mli > lookahead.mli.depends
- ocamlfind ocamlc -c -o lookahead.cmi lookahead.mli
- ocamlfind ocamldep -modules lr0.mli > lr0.mli.depends
- ocamlfind ocamlc -c -o item.cmi item.mli
- ocamlfind ocamlc -c -o Fix.cmi Fix.mli
- ocamlfind ocamlc -c -o lr0.cmi lr0.mli
- ocamlfind ocamlc -c -o lr1.cmi lr1.mli
- ocamlfind ocamlc -c -o invariant.cmi invariant.mli
- ocamlfind ocamldep -modules conflict.ml > conflict.ml.depends
- ocamlfind ocamldep -modules conflict.mli > conflict.mli.depends
- ocamlfind ocamlc -c -o conflict.cmi conflict.mli
- ocamlfind ocamldep -modules derivation.ml > derivation.ml.depends
- ocamlfind ocamldep -modules derivation.mli > derivation.mli.depends
- ocamlfind ocamlc -c -o derivation.cmi derivation.mli
- ocamlfind ocamldep -modules item.ml > item.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o item.cmx item.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o item.cmx item.ml
- File "item.ml", line 163, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules lr0.ml > lr0.ml.depends
- ocamlfind ocamldep -modules infiniteArray.mli > infiniteArray.mli.depends
- ocamlfind ocamlc -c -o infiniteArray.cmi infiniteArray.mli
- ocamlfind ocamldep -modules infiniteArray.ml > infiniteArray.ml.depends
- ocamlfind ocamldep -modules packedIntArray.mli > packedIntArray.mli.depends
- ocamlfind ocamlc -c -o packedIntArray.cmi packedIntArray.mli
- ocamlfind ocamldep -modules packedIntArray.ml > packedIntArray.ml.depends
- ocamlfind ocamldep -modules rowDisplacement.mli > rowDisplacement.mli.depends
- ocamlfind ocamlc -c -o rowDisplacement.cmi rowDisplacement.mli
- ocamlfind ocamldep -modules rowDisplacement.ml > rowDisplacement.ml.depends
- ocamlfind ocamldep -modules engineTypes.ml > engineTypes.ml.depends
- ocamlfind ocamldep -modules engine.mli > engine.mli.depends
- ocamlfind ocamlc -c -g -o engineTypes.cmo engineTypes.ml
- ocamlfind ocamlc -c -o engine.cmi engine.mli
- ocamlfind ocamldep -modules engine.ml > engine.ml.depends
- ocamlfind ocamldep -modules tableFormat.ml > tableFormat.ml.depends
- ocamlfind ocamldep -modules tableInterpreter.mli > tableInterpreter.mli.depends
- ocamlfind ocamlc -c -g -o tableFormat.cmo tableFormat.ml
- ocamlfind ocamlc -c -o tableInterpreter.cmi tableInterpreter.mli
- ocamlfind ocamldep -modules tableInterpreter.ml > tableInterpreter.ml.depends
- ocamlfind ocamldep -modules convert.mli > convert.mli.depends
- ocamlfind ocamlc -c -o convert.cmi convert.mli
- ocamlfind ocamldep -modules convert.ml > convert.ml.depends
- ocamlfind ocamlc -c -g -o infiniteArray.cmo infiniteArray.ml
- ocamlfind ocamlc -c -g -o packedIntArray.cmo packedIntArray.ml
- ocamlfind ocamlc -c -g -o rowDisplacement.cmo rowDisplacement.ml
- ocamlfind ocamlc -c -g -o engine.cmo engine.ml
- ocamlfind ocamlc -c -g -o tableInterpreter.cmo tableInterpreter.ml
- ocamlfind ocamlc -c -g -o convert.cmo convert.ml
- + ocamlfind ocamlc -c -g -o packedIntArray.cmo 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 -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx 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 ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- ocamlfind ocamlopt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli ; if ocamlfind ocamlopt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- ocamlfind ocamldep -modules lr1.ml > lr1.ml.depends
- ocamlfind ocamldep -modules breadth.ml > breadth.ml.depends
- ocamlfind ocamldep -modules breadth.mli > breadth.mli.depends
- ocamlfind ocamlc -c -o breadth.cmi breadth.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lr0.cmx lr0.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr0.cmx lr0.ml
- File "lr0.ml", line 190, characters 1-13:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules slr.ml > slr.ml.depends
- ocamlfind ocamldep -modules slr.mli > slr.mli.depends
- ocamlfind ocamlc -c -o slr.cmi slr.mli
- ocamlfind ocamldep -modules Fix.ml > Fix.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o breadth.cmx breadth.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o slr.cmx slr.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o Fix.cmx Fix.ml
- ocamlfind ocamldep -modules lr1partial.ml > lr1partial.ml.depends
- ocamlfind ocamldep -modules lr1partial.mli > lr1partial.mli.depends
- ocamlfind ocamlc -c -o lr1partial.cmi lr1partial.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o lr1.cmx lr1.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr1.cmx lr1.ml
- File "lr1.ml", line 244, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o derivation.cmx derivation.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- File "lr1partial.ml", line 77, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamlopt -c -g -inline 1000 -o conflict.cmx conflict.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o codePieces.cmx codePieces.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o invariant.cmx invariant.ml
- + ocamlfind ocamlopt -c -g -inline 1000 -o invariant.cmx invariant.ml
- File "invariant.ml", line 46, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- ocamlfind ocamldep -modules coqBackend.ml > coqBackend.ml.depends
- ocamlfind ocamldep -modules coqBackend.mli > coqBackend.mli.depends
- ocamlfind ocamlc -c -o coqBackend.cmi coqBackend.mli
- ocamlfind ocamldep -modules inliner.ml > inliner.ml.depends
- ocamlfind ocamldep -modules inliner.mli > inliner.mli.depends
- ocamlfind ocamlc -c -o inliner.cmi inliner.mli
- ocamlfind ocamldep -modules traverse.ml > traverse.ml.depends
- ocamlfind ocamlc -c -g -o traverse.cmo traverse.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o traverse.cmx traverse.ml
- ocamlfind ocamldep -modules interpret.ml > interpret.ml.depends
- ocamlfind ocamldep -modules interpret.mli > interpret.mli.depends
- ocamlfind ocamlc -c -o interpret.cmi interpret.mli
- ocamlfind ocamldep -modules cst.ml > cst.ml.depends
- ocamlfind ocamldep -modules cst.mli > cst.mli.depends
- ocamlfind ocamlc -c -o cst.cmi cst.mli
- ocamlfind ocamldep -modules pprint.ml > pprint.ml.depends
- ocamlfind ocamldep -modules pprint.mli > pprint.mli.depends
- ocamlfind ocamlc -c -o pprint.cmi pprint.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o pprint.cmx pprint.ml
- ocamlfind ocamldep -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
- ocamlfind ocamldep -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
- ocamlfind ocamlc -c -o referenceInterpreter.cmi referenceInterpreter.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o cst.cmx cst.ml
- /home/opam/.opam/4.02/bin/ocamllex.opt -q sentenceLexer.mll
- ocamlfind ocamldep -modules sentenceLexer.ml > sentenceLexer.ml.depends
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --raw-depend --ocamldep 'ocamlfind ocamldep -modules' sentenceParser.mly > sentenceParser.mly.depends
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer sentenceParser.mly
- + /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer sentenceParser.mly
- Grammar has 2 nonterminal symbols, among which 1 start symbols.
- Grammar has 5 terminal symbols.
- Grammar has 5 productions.
- Built an LR(0) automaton with 11 states.
- The grammar is SLR(1).
- Built an LR(1) automaton with 11 states.
- 3 out of 11 states are represented.
- 0 out of 10 symbols keep track of their start position.
- 0 out of 10 symbols keep track of their end position.
- 5 out of 11 states have a default reduction.
- 4 out of 6 productions exploit shiftreduce optimization.
- 0 out of 11 states can peek at an error.
- 0 out of 11 states can do error recovery.
- 42 functions before inlining, 7 functions after inlining.
- ocamlfind ocamldep -modules sentenceParser.mli > sentenceParser.mli.depends
- ocamlfind ocamlc -c -o sentenceParser.cmi sentenceParser.mli
- ocamlfind ocamlc -c -g -o sentenceLexer.cmo sentenceLexer.ml
- ocamlfind ocamldep -modules sentenceParser.ml > sentenceParser.ml.depends
- ocamlfind ocamlopt -c -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
- ocamlfind ocamldep -modules tableBackend.ml > tableBackend.ml.depends
- ocamlfind ocamldep -modules tableBackend.mli > tableBackend.mli.depends
- ocamlfind ocamlc -c -o tableBackend.cmi tableBackend.mli
- ocamlfind ocamlopt -c -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o inliner.cmx inliner.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o interpret.cmx interpret.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o back.cmx back.ml
- ocamlfind ocamlopt -c -g -inline 1000 -o menhir.cmx menhir.ml
- ocamlfind ocamlopt -linkpkg unix.cmxa -g Fix.cmx IO.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx stringMap.cmx misc.cmx breadth.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx error.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx time.cmx preFront.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
- # Parallel statistics: { count(total): 19(281), max: 6, min: 2, average(total): 2.895(1.128) }
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.02/lib/ocaml/ocamlbuild /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.02/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- cp fancy-parser.mly parser.mly
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --raw-depend --ocamldep 'ocamlfind ocamldep -modules' parser.mly > parser.mly.depends
- ocamlfind ocamldep -modules action.mli > action.mli.depends
- ocamlfind ocamldep -modules IL.mli > IL.mli.depends
- ocamlfind ocamldep -modules stretch.mli > stretch.mli.depends
- ocamlfind ocamldep -modules keyword.mli > keyword.mli.depends
- ocamlfind ocamldep -modules positions.mli > positions.mli.depends
- ocamlfind ocamlc -c -o keyword.cmi keyword.mli
- ocamlfind ocamlc -c -o positions.cmi positions.mli
- ocamlfind ocamlc -c -o stretch.cmi stretch.mli
- ocamlfind ocamlc -c -o IL.cmi IL.mli
- ocamlfind ocamldep -modules concreteSyntax.mli > concreteSyntax.mli.depends
- ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends
- ocamlfind ocamlc -c -o action.cmi action.mli
- ocamlfind ocamldep -modules mark.mli > mark.mli.depends
- ocamlfind ocamlc -c -o mark.cmi mark.mli
- ocamlfind ocamlc -c -o syntax.cmi syntax.mli
- ocamlfind ocamldep -modules error.mli > error.mli.depends
- ocamlfind ocamldep -modules misc.mli > misc.mli.depends
- ocamlfind ocamldep -modules stringMap.mli > stringMap.mli.depends
- ocamlfind ocamldep -modules stringSet.mli > stringSet.mli.depends
- ocamlfind ocamlc -c -o stringSet.cmi stringSet.mli
- ocamlfind ocamlc -c -o stringMap.cmi stringMap.mli
- ocamlfind ocamldep -modules parameters.ml > parameters.ml.depends
- ocamlfind ocamlc -c -o misc.cmi misc.mli
- ocamlfind ocamldep -modules parserAux.mli > parserAux.mli.depends
- ocamlfind ocamlc -c -o concreteSyntax.cmi concreteSyntax.mli
- ocamlfind ocamlc -c -o error.cmi error.mli
- ocamlfind ocamlc -c -g -o parameters.cmo parameters.ml
- ocamlfind ocamlc -c -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer parser.mly
- + /home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc 'ocamlfind ocamlc' --infer parser.mly
- 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.
- # Parallel statistics: { count(total): 2(28), max: 4, min: 2, average(total): 3.000(1.143) }
- Bootstrap successful.
- make[1]: Leaving directory '/home/opam/.opam/4.02/.opam-switch/build/menhir.20130911/src'
- mkdir -p /home/opam/.opam/4.02/bin
- mkdir -p /home/opam/.opam/4.02/lib/menhir
- mkdir -p /home/opam/.opam/4.02/doc/menhir
- mkdir -p /home/opam/.opam/4.02/man/man1
- install src/_stage2/menhir.native /home/opam/.opam/4.02/bin/menhir
- install -m 644 src/standard.mly /home/opam/.opam/4.02/lib/menhir
- cp -r manual.pdf demos /home/opam/.opam/4.02/doc/menhir
- cp -r menhir.1 /home/opam/.opam/4.02/man/man1
- Installing MenhirLib via ocamlfind.
- Installed /home/opam/.opam/4.02/lib/menhirLib/menhirLib.o
- Installed /home/opam/.opam/4.02/lib/menhirLib/menhirLib.cmx
- Installed /home/opam/.opam/4.02/lib/menhirLib/menhirLib.cmo
- Installed /home/opam/.opam/4.02/lib/menhirLib/menhirLib.cmi
- Installed /home/opam/.opam/4.02/lib/menhirLib/META
-> installed menhir.20130911
Done.
# Run eval $(opam env) to update the current shell environment
2022-06-03 09:41.31 ---> saved as "6595fcbed074ab32aa8968f36f03b98e205bb8a8c3f2846533c7949311522021"
Job succeeded