Building on pima.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:286b1a07f166d69599599e77d36ff670e397cb189a08f108911b5151b4668ce1)
2022-06-03 09:41.06 ---> 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:41.06 ---> 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:41.06 ---> 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:41.06 ---> using "fe4ab29b581b2ba4fc496c6fcd5cd0653b4902fb6da880b540dae71463661523" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.03' '4.03.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.03.0"} | "ocaml-system" {= "4.03.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.03.0 (cached)
-> installed ocaml-base-compiler.4.03.0
-> installed ocaml-config.1
-> installed ocaml.4.03.0
Done.
# Run eval $(opam env --switch=4.03) to update the current shell environment
2022-06-03 09:41.06 ---> using "57824e9447f3a456004efb33012d21a4c33808ce7d307b2071f7841ebd96b705" 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 (178 kB/s)
- Reading package lists...
-
2022-06-03 09:41.06 ---> using "429001158965050688a30dfbd19845cce7c3021974dab2891fb695b9ba8edfc8" 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:41.06 ---> using "87c553ec27fb8a5e4d93e6236fd4854db27b78e283aa6b6f380dc1a0cca2764d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"menhir.20150921\"\
\nopam install -vy \"menhir.20150921\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"menhir.20150921\" | 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.20150921 is not installed.
Nothing to do.
The following actions will be performed:
=== install 3 packages
- install menhir 20150921
- install ocamlbuild 0.9.0 [required by menhir]
- install ocamlfind 1.9.3 [required by menhir]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/9: [menhir.20150921: http]
Processing 2/9: [menhir.20150921: http]
Processing 3/9: [menhir.20150921: http]
-> retrieved ocamlfind.1.9.3 (cached)
Processing 4/9: [menhir.20150921: http] [ocamlfind: ./configure]
-> retrieved ocamlbuild.0.9.0 (cached)
Processing 5/9: [menhir.20150921: http] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
Processing 5/9: [ocamlbuild: make configure.make] [ocamlfind: ./configure]
-> retrieved menhir.20150921 (http://gallium.inria.fr/~fpottier/menhir/menhir-20150921.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "Makefile.config" "src/ocamlbuild_config.ml" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.03" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.03/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.03/lib" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX=/home/opam/.opam/4.03"; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.03/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.03/lib/ocaml"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/4.03"; \
- echo "BINDIR=/home/opam/.opam/4.03/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.03/lib"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.03/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.03/lib"'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.9.0"'; \
- ) > src/ocamlbuild_config.ml
Processing 5/9: [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.03/bin" "-sitelib" "/home/opam/.opam/4.03/lib" "-mandir" "/home/opam/.opam/4.03/man" "-config" "/home/opam/.opam/4.03/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.03/.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: not present (normal since 4.03)
- 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 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.03/lib/ocaml
- Binaries: /home/opam/.opam/4.03/bin
- Manual pages: /home/opam/.opam/4.03/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.03/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.03/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.03/bin
- Manual pages: /home/opam/.opam/4.03/man
- topfind script: /home/opam/.opam/4.03/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 5/9: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.03/.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.03/.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.03/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.03/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 -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque -c findlib.mli
- ocamlc -I +compiler-libs -opaque -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -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 -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -g -c frontend.ml
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -c topfind.mli
- ocamlc -I +compiler-libs -opaque -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.03/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -c num_top_printers.mli
- ocamlc -I +compiler-libs -opaque -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -opaque -c num_top.mli
- ocamlc -I +compiler-libs -opaque -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 -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -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.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.03/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.03/.opam-switch/build/ocamlfind.1.9.3'
Processing 5/9: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0)
- if test -d /home/opam/.opam/4.03/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/4.03/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/const.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/loc.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/loc.ml
- File "src/loc.ml", line 23, characters 5-22:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/discard_printf.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/discard_printf.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/signatures.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/my_std.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/my_std.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/my_unix.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/my_unix.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/display.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/display.ml
- File "src/display.ml", line 301, characters 31-45:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/display.ml", line 304, characters 33-47:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/log.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/log.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/shell.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/shell.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/bool.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/bool.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_ast.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_lexer.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_lexer.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/lexers.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/lexers.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/param_tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/param_tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/command.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/command.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_config.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_where.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_where.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/slurp.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/slurp.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/options.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/options.ml
- File "src/options.ml", line 79, characters 45-61:
- Warning 3: deprecated: My_std.String.uppercase
- Use String.uppercase_ascii instead.
- File "src/options.ml", line 362, characters 26-43:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/pathname.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/pathname.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/configuration.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/configuration.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/flags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/flags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/hygiene.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/hygiene.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/digest_cache.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/digest_cache.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/resource.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/resource.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/rule.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/rule.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/solver.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/solver.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/report.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/report.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/fda.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/fda.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/findlib.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/findlib.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_arch.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_arch.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_utils.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_utils.ml
- File "src/ocaml_utils.ml", line 37, characters 32-49:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- File "src/ocaml_utils.ml", line 44, characters 28-47:
- Warning 3: deprecated: My_std.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/ocaml_utils.ml", line 66, characters 35-52:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- File "src/ocaml_utils.ml", line 67, characters 37-56:
- Warning 3: deprecated: My_std.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_dependencies.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_dependencies.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_compiler.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_compiler.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_specific.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_specific.ml
- File "src/ocaml_specific.ml", line 837, characters 44-58:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 838, characters 31-45:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 840, characters 50-64:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 841, characters 40-54:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 843, characters 44-58:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 844, characters 31-45:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 846, characters 50-64:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 847, characters 40-54:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/exit_codes.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/exit_codes.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/hooks.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/hooks.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/main.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/main.ml
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/plugin.cmo src/exit_codes.cmo src/hooks.cmo src/main.cmo -o ocamlbuild_pack.cmo
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_executor.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_executor.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte \
- unix.cma ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o ocamlbuildlib.cma \
- ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/loc.ml
- File "src/loc.ml", line 23, characters 5-22:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/display.ml
- File "src/display.ml", line 301, characters 31-45:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/display.ml", line 304, characters 33-47:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/options.ml
- File "src/options.ml", line 79, characters 45-61:
- Warning 3: deprecated: My_std.String.uppercase
- Use String.uppercase_ascii instead.
- File "src/options.ml", line 362, characters 26-43:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_utils.ml
- File "src/ocaml_utils.ml", line 37, characters 32-49:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- File "src/ocaml_utils.ml", line 44, characters 28-47:
- Warning 3: deprecated: My_std.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/ocaml_utils.ml", line 66, characters 35-52:
- Warning 3: deprecated: My_std.String.capitalize
- Use String.capitalize_ascii instead.
- File "src/ocaml_utils.ml", line 67, characters 37-56:
- Warning 3: deprecated: My_std.String.uncapitalize
- Use String.uncapitalize_ascii instead.
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocaml_specific.ml
- File "src/ocaml_specific.ml", line 837, characters 44-58:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 838, characters 31-45:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 840, characters 50-64:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 841, characters 40-54:
- Warning 3: deprecated: Char.uppercase
- Use Char.uppercase_ascii instead.
- File "src/ocaml_specific.ml", line 843, characters 44-58:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 844, characters 31-45:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 846, characters 50-64:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- File "src/ocaml_specific.ml", line 847, characters 40-54:
- Warning 3: deprecated: Char.lowercase
- Use Char.lowercase_ascii instead.
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/main.ml
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/plugin.cmx src/exit_codes.cmx src/hooks.cmx src/main.cmx -o ocamlbuild_pack.cmx
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_executor.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native \
- unix.cmxa ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o ocamlbuildlib.cmxa \
- ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- echo ' "META"' >> ocamlbuild.install
- echo ' "src/signatures.mli" {"signatures.mli"}' >> ocamlbuild.install
- make[3]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- for lib in ocamlbuildlib.cma src/ocamlbuild.cmo ocamlbuild_pack.cmi src/ocamlbuild_plugin.cmi src/ocamlbuild_executor.cmi src/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- for lib in ocamlbuildlib.cmxa ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild_plugin.o src/ocamlbuild_executor.o src/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlbuild.0.9.0'
-> compiled ocamlbuild.0.9.0
Processing 5/9: [ocamlfind: make opt]
-> installed ocamlbuild.0.9.0
Processing 6/9: [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.03/.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.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -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 -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -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 -opaque -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 -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.03/.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.03/.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.03/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.03/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.03/bin"
- mkdir -p "/home/opam/.opam/4.03/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "`dirname \"/home/opam/.opam/4.03/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.03/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.03/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.03/.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.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/4.03/lib/findlib"
- mkdir -p "/home/opam/.opam/4.03/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.03/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.03/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.03/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.03/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.03/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.03/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamldoc stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.03/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.03/lib/$x/META.tmp" && mv "/home/opam/.opam/4.03/lib/$x/META.tmp" "/home/opam/.opam/4.03/lib/$x/META"; done
- mkdir -p "/home/opam/.opam/4.03/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.03/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.03/.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.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/4.03/lib/num-top"
- cp num_top.cma num_top.cmi num_top_printers.cmi \
- "/home/opam/.opam/4.03/lib/num-top"
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.03/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "/home/opam/.opam/4.03/man/man1" "/home/opam/.opam/4.03/man/man3" "/home/opam/.opam/4.03/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.03/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.03/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.3'
-> installed ocamlfind.1.9.3
Processing 8/9: [menhir: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PREFIX=/home/opam/.opam/4.03" "docdir=/home/opam/.opam/4.03/doc/menhir" "libdir=/home/opam/.opam/4.03/lib/menhir" "mandir=/home/opam/.opam/4.03/man/man1" (CWD=/home/opam/.opam/4.03/.opam-switch/build/menhir.20150921)
- rm -f src/installation.ml
- echo "let libdir = \"/home/opam/.opam/4.03/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.03/.opam-switch/build/menhir.20150921/src'
- ocamlbuild -classic-display -j 0 -cflags "-safe-string -bin-annot" menhirLib.cmo menhirLib.cmx
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.03/lib/ocamlbuild /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o convert.cmi convert.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.ml > convert.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.mli > general.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o general.cmi general.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o engine.cmi engine.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.ml > engine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o ErrorReporting.cmi ErrorReporting.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.ml > general.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o infiniteArray.cmi infiniteArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableFormat.cmo inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o rowDisplacement.cmi rowDisplacement.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tableInterpreter.cmi tableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o convert.cmo convert.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o ErrorReporting.cmo ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o general.cmo general.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o general.cmx general.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- touch menhirLib.mli ; if /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- # Parallel statistics: { count(total): 3(55), max: 11, min: 2, average(total): 6.000(1.273) }
- Checking that Objective Caml is recent enough...
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.03/lib/ocamlbuild /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o checkOCamlVersion.cmo checkOCamlVersion.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt str.cma -g checkOCamlVersion.cmo -o checkOCamlVersion.byte
- # No parallelism done
- Version 4.03.0 is OK.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules back.mli > back.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o back.cmi back.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules back.ml > back.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules action.ml > action.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules action.mli > action.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o printer.cmi printer.mli
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lineCount.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o settings.cmi settings.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o installation.cmi installation.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o version.cmo version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o installation.cmx installation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o stringSet.cmx stringSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o version.cmx version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lineCount.cmx lineCount.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
- File "settings.ml", line 32, characters 5-22:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o keyword.cmx keyword.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o positions.cmx positions.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o printer.cmx printer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules grammar.mli > grammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o grammar.cmi grammar.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o action.cmx action.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codeBits.cmx codeBits.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Fix.cmi Fix.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Fix.cmx Fix.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o CompletedNatWitness.cmi CompletedNatWitness.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o gSet.cmx gSet.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o dot.cmi dot.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules option.ml > option.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules option.mli > option.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o option.cmi option.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o option.cmx option.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules error.ml > error.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules error.mli > error.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o mark.cmx mark.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules front.ml > front.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules front.mli > front.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o front.cmi front.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o error.cmx error.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o IO.cmi IO.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o infer.cmi infer.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o IO.cmx IO.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o interface.cmi interface.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o misc.cmx misc.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o nonterminalType.cmx nonterminalType.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tokenType.cmx tokenType.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexdep.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexmli.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o interface.cmx interface.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexdep.cmx lexdep.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexmli.cmx lexmli.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexer.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
- cp yacc-parser.mly parser.mly
- /home/opam/.opam/4.03/bin/ocamlyacc parser.mly
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parser.cmi parser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parserAux.cmx parserAux.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parser.cmx parser.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o listMonad.cmx listMonad.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules internalSyntax.mli > internalSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o internalSyntax.cmi internalSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tarjan.cmx tarjan.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unionFind.cmx unionFind.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o reachability.cmi reachability.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules time.ml > time.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules time.mli > time.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o time.cmi time.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o infer.cmx infer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexer.cmx lexer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o reachability.cmx reachability.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o time.cmx time.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Maps.cmi Maps.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o patricia.cmi patricia.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o gMap.cmx gMap.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Boolean.cmx Boolean.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o CompletedNatWitness.cmx CompletedNatWitness.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o dot.cmx dot.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o front.cmx front.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Maps.cmx Maps.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o patricia.cmx patricia.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o grammar.cmx grammar.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules item.mli > item.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o item.cmi item.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr0.cmi lr0.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1.cmi lr1.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o invariant.cmi invariant.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o conflict.cmi conflict.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o derivation.cmi derivation.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules item.ml > item.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o item.cmx item.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o convert.cmi convert.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.ml > convert.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.mli > general.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o general.cmi general.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o engine.cmi engine.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.ml > engine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o ErrorReporting.cmi ErrorReporting.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.ml > general.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o infiniteArray.cmi infiniteArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableFormat.cmo inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o rowDisplacement.cmi rowDisplacement.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tableInterpreter.cmi tableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o convert.cmo convert.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o ErrorReporting.cmo ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o general.cmo general.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o general.cmx general.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- touch menhirLib.mli ; if /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr0.cmx lr0.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o slr.cmi slr.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o slr.cmx slr.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr1.cmx lr1.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o derivation.cmx derivation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o conflict.cmx conflict.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codePieces.cmx codePieces.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o invariant.cmx invariant.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o inliner.cmi inliner.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o traverse.cmx traverse.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o interpret.cmi interpret.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o cst.cmi cst.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o pprint.cmi pprint.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o pprint.cmx pprint.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o cst.cmx cst.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q sentenceLexer.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
- /home/opam/.opam/4.03/bin/ocamlyacc sentenceParser.mly
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o inliner.cmx inliner.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o interpret.cmx interpret.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o back.cmx back.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o menhir.cmx menhir.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx CompletedNatWitness.cmx IO.cmx Maps.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx mark.cmx error.cmx stringMap.cmx misc.cmx unparameterizedSyntax.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx time.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): 17(310), max: 11, min: 2, average(total): 3.647(1.145) }
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.03/lib/ocamlbuild /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules back.mli > back.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o back.cmi back.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o menhir.cmo menhir.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules back.ml > back.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBackend.cmi codeBackend.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules action.ml > action.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules action.mli > action.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o printer.cmi printer.mli
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lineCount.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lineCount.cmo lineCount.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o settings.cmi settings.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o installation.cmi installation.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o version.cmo version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o installation.cmx installation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o stringSet.cmx stringSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o version.cmx version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lineCount.cmx lineCount.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o settings.cmx settings.ml
- File "settings.ml", line 32, characters 5-22:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o keyword.cmx keyword.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o positions.cmx positions.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o printer.cmx printer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codeBits.cmi codeBits.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules grammar.mli > grammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gSet.cmo gSet.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o gMap.cmo gMap.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o grammar.cmi grammar.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o codePieces.cmi codePieces.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o action.cmx action.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codeBits.cmx codeBits.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Fix.cmi Fix.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Boolean.cmi Boolean.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Fix.cmx Fix.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o CompletedNatWitness.cmi CompletedNatWitness.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o compressedBitSet.cmi compressedBitSet.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o gSet.cmx gSet.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o dot.cmi dot.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules option.ml > option.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules option.mli > option.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o option.cmi option.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o option.cmx option.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules error.ml > error.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules error.mli > error.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o mark.cmx mark.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules front.ml > front.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules front.mli > front.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedSyntax.ml > unparameterizedSyntax.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o unparameterizedSyntax.cmo unparameterizedSyntax.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o front.cmi front.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o error.cmx error.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o IO.cmi IO.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o infer.cmi infer.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o IO.cmx IO.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o interface.cmi interface.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o nonterminalType.cmi nonterminalType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o misc.cmx misc.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedSyntax.cmx unparameterizedSyntax.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tokenType.cmi tokenType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o nonterminalType.cmx nonterminalType.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tokenType.cmx tokenType.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexdep.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexdep.cmo lexdep.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexmli.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexmli.cmo lexmli.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o interface.cmx interface.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexdep.cmx lexdep.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexmli.cmx lexmli.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q lexer.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
- cp fancy-parser.mly parser.mly
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --raw-depend --ocamldep '/home/opam/.opam/4.03/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly
- Grammar has 34 nonterminal symbols, among which 1 start symbols.
- Grammar has 26 terminal symbols.
- Grammar has 91 productions.
- Built an LR(0) automaton with 128 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- Built an LR(1) automaton with 151 states.
- 5 shift/reduce conflicts were silently solved.
- 47 out of 151 states are represented.
- 28 out of 63 symbols keep track of their start position.
- 25 out of 63 symbols keep track of their end position.
- 75 out of 151 states have a default reduction.
- 46 out of 92 productions exploit shiftreduce optimization.
- 22 out of 151 states can peek at an error.
- 434 functions before inlining, 109 functions after inlining.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parser.cmi parser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o lexer.cmo lexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parameters.cmx parameters.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parserAux.cmx parserAux.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parser.cmx parser.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.ml > nonTerminalDefinitionInlining.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules nonTerminalDefinitionInlining.mli > nonTerminalDefinitionInlining.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o nonTerminalDefinitionInlining.cmi nonTerminalDefinitionInlining.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o listMonad.cmi listMonad.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o listMonad.cmx listMonad.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameterizedGrammar.ml > parameterizedGrammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameterizedGrammar.mli > parameterizedGrammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules internalSyntax.mli > internalSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o internalSyntax.cmi internalSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parameterizedGrammar.cmi parameterizedGrammar.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tarjan.cmi tarjan.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o unionFind.cmi unionFind.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tarjan.cmx tarjan.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unionFind.cmx unionFind.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o partialGrammar.cmi partialGrammar.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o reachability.cmi reachability.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules time.ml > time.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules time.mli > time.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o time.cmi time.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedPrinter.ml > unparameterizedPrinter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules unparameterizedPrinter.mli > unparameterizedPrinter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o infer.cmx infer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lexer.cmx lexer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o reachability.cmx reachability.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o time.cmx time.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Maps.cmi Maps.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o patricia.cmi patricia.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o gMap.cmx gMap.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Boolean.cmx Boolean.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o CompletedNatWitness.cmx CompletedNatWitness.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o dot.cmx dot.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o front.cmx front.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o Maps.cmx Maps.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o patricia.cmx patricia.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o grammar.cmx grammar.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules item.mli > item.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lookahead.cmi lookahead.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o item.cmi item.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr0.cmi lr0.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1.cmi lr1.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o invariant.cmi invariant.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o conflict.cmi conflict.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o derivation.cmi derivation.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules item.ml > item.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o item.cmx item.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o convert.cmi convert.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules convert.ml > convert.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.mli > general.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o general.cmi general.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o IncrementalEngine.cmo IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o engine.cmi engine.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.ml > engine.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.mli > ErrorReporting.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o ErrorReporting.cmi ErrorReporting.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules ErrorReporting.ml > ErrorReporting.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules general.ml > general.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o infiniteArray.cmi infiniteArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.ml > infiniteArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableFormat.ml > inspectionTableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.mli > inspectionTableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableFormat.cmo inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableFormat.ml > tableFormat.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o inspectionTableInterpreter.cmi inspectionTableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inspectionTableInterpreter.ml > inspectionTableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o LinearizedArray.cmi LinearizedArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o Printers.cmi Printers.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.mli > rowDisplacement.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o rowDisplacement.cmi rowDisplacement.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules rowDisplacement.ml > rowDisplacement.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.mli > tableInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tableInterpreter.cmi tableInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableInterpreter.ml > tableInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o convert.cmo convert.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o ErrorReporting.cmo ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o general.cmo general.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o inspectionTableInterpreter.cmo inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o LinearizedArray.cmo LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o Printers.cmo Printers.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g convert.cmo general.cmo IncrementalEngine.cmo engineTypes.cmo engine.cmo ErrorReporting.cmo infiniteArray.cmo packedIntArray.cmo inspectionTableFormat.cmo LinearizedArray.cmo tableFormat.cmo inspectionTableInterpreter.cmo Printers.cmo rowDisplacement.cmo tableInterpreter.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o general.cmx general.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableFormat.cmx inspectionTableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o ErrorReporting.cmx ErrorReporting.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o inspectionTableInterpreter.cmx inspectionTableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o Printers.cmx Printers.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- touch menhirLib.mli ; if /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g convert.cmx general.cmx IncrementalEngine.cmx engineTypes.cmx engine.cmx ErrorReporting.cmx infiniteArray.cmx packedIntArray.cmx inspectionTableFormat.cmx LinearizedArray.cmx tableFormat.cmx inspectionTableInterpreter.cmx Printers.cmx rowDisplacement.cmx tableInterpreter.cmx -o menhirLib.cmx ; then rm -f menhirLib.mli ; else rm -f menhirLib.mli ; exit 1; fi
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr0.cmx lr0.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o slr.cmi slr.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o slr.cmx slr.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o lr1partial.cmi lr1partial.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr1.cmx lr1.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o derivation.cmx derivation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o conflict.cmx conflict.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codePieces.cmx codePieces.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o invariant.cmx invariant.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o coqBackend.cmi coqBackend.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inliner.ml > inliner.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules inliner.mli > inliner.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o inliner.cmi inliner.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o traverse.cmo traverse.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o traverse.cmx traverse.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o interpret.cmi interpret.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o cst.cmi cst.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o pprint.cmi pprint.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o pprint.cmx pprint.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o referenceInterpreter.cmi referenceInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o cst.cmx cst.ml
- /home/opam/.opam/4.03/bin/ocamllex.opt -q sentenceLexer.mll
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --raw-depend --ocamldep '/home/opam/.opam/4.03/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --infer sentenceParser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --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.
- 36 functions before inlining, 7 functions after inlining.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o sentenceParser.cmi sentenceParser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o sentenceLexer.cmo sentenceLexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o sentenceLexer.cmx sentenceLexer.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o tableBackend.cmi tableBackend.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o inliner.cmx inliner.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o interpret.cmx interpret.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o back.cmx back.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -safe-string -bin-annot -g -inline 1000 -o menhir.cmx menhir.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx CompletedNatWitness.cmx IO.cmx Maps.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx mark.cmx error.cmx stringMap.cmx misc.cmx unparameterizedSyntax.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx reachability.cmx time.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(311), max: 11, min: 2, average(total): 3.556(1.148) }
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -I /home/opam/.opam/4.03/lib/ocamlbuild /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/opam/.opam/4.03/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- cp fancy-parser.mly parser.mly
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --raw-depend --ocamldep '/home/opam/.opam/4.03/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules action.mli > action.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o IL.cmi IL.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules syntax.mli > syntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o action.cmi action.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o syntax.cmi syntax.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules error.mli > error.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o concreteSyntax.cmi concreteSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o error.cmi error.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o misc.cmi misc.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -g -o parameters.cmo parameters.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -safe-string -bin-annot -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --stdlib /home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src --strict --fixed-exception --ocamlc '/home/opam/.opam/4.03/bin/ocamlc.opt -safe-string -bin-annot' --infer parser.mly
- Grammar has 34 nonterminal symbols, among which 1 start symbols.
- Grammar has 26 terminal symbols.
- Grammar has 91 productions.
- Built an LR(0) automaton with 128 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- Built an LR(1) automaton with 151 states.
- 5 shift/reduce conflicts were silently solved.
- 47 out of 151 states are represented.
- 28 out of 63 symbols keep track of their start position.
- 25 out of 63 symbols keep track of their end position.
- 75 out of 151 states have a default reduction.
- 46 out of 92 productions exploit shiftreduce optimization.
- 22 out of 151 states can peek at an error.
- 434 functions before inlining, 109 functions after inlining.
- # Parallel statistics: { count(total): 2(27), max: 5, min: 2, average(total): 3.500(1.185) }
- Bootstrap successful.
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/menhir.20150921/src'
-> compiled menhir.20150921
Processing 9/9: [menhir: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "PREFIX=/home/opam/.opam/4.03" "docdir=/home/opam/.opam/4.03/doc/menhir" "libdir=/home/opam/.opam/4.03/lib/menhir" "mandir=/home/opam/.opam/4.03/man/man1" (CWD=/home/opam/.opam/4.03/.opam-switch/build/menhir.20150921)
- mkdir -p /home/opam/.opam/4.03/bin
- mkdir -p /home/opam/.opam/4.03/lib/menhir
- mkdir -p /home/opam/.opam/4.03/doc/menhir
- mkdir -p /home/opam/.opam/4.03/man/man1
- install src/_stage2/menhir.native /home/opam/.opam/4.03/bin/menhir
- install -m 644 src/standard.mly /home/opam/.opam/4.03/lib/menhir
- cp -r manual.pdf demos /home/opam/.opam/4.03/doc/menhir
- cp -r menhir.1 /home/opam/.opam/4.03/man/man1
- Installing MenhirLib via ocamlfind.
- Installed /home/opam/.opam/4.03/lib/menhirLib/menhirLib.o
- Installed /home/opam/.opam/4.03/lib/menhirLib/menhirLib.cmx
- Installed /home/opam/.opam/4.03/lib/menhirLib/menhirLib.cmo
- Installed /home/opam/.opam/4.03/lib/menhirLib/menhirLib.cmi
- Installed /home/opam/.opam/4.03/lib/menhirLib/META
-> installed menhir.20150921
Done.
# Run eval $(opam env) to update the current shell environment
2022-06-03 09:41.37 ---> saved as "17dcbddfbb8006fd9ef0d2f727cfb32cc8e065090386ce5e45da199b0e00ab29"
Job succeeded
Home|Differences with the last checks|Previous runs