Home|Differences with the last checks|Previous runs

Building on pima.ocamllabs.io

(from ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a)
Unable to find image 'ocaml/opam:debian-unstable@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a' locally
docker.io/ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a: Pulling from ocaml/opam
d94e46e039c4: Pulling fs layer
d94e46e039c4: Verifying Checksum
d94e46e039c4: Download complete
d94e46e039c4: Pull complete
Digest: sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
Status: Downloaded newer image for ocaml/opam@sha256:a59c08d2fe55bc0ee92a97b004206ab89a8dd5cacadd8528a0d0e9b978dcba1a
2022-11-04 03:50.42 ---> using "6615d3400d8dabf8928c82fbcb18e477501a38f64d3b1412a91a4e86499e265b" from cache

/: (user (uid 1000) (gid 1000))

/: (env OPAMPRECISETRACKING 1)

/: (env OPAMUTF8 never)

/: (env OPAMEXTERNALSOLVER builtin-0install)

/: (env OPAMCRITERIA +removed)

/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2022-11-04 03:50.42 ---> using "c909a0ff168e383d01aa2cb84f3e6cbc7a0c470ffe3d07946f43f83d47cc9bfa" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 94675aaefe68e1e4a4ad959d88dd65afa3a9ed3d"))
2022-11-04 03:50.42 ---> using "5315c90a66cfce3be1f8ac668b7f4445c317bfeb4b1de04fe278a4bdf33753ae" from cache

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2022-11-04 03:50.42 ---> using "f46d72ea67943cab7c832114e4ca486dbfd4f12ff8812515d1a06b3a229da8ee" 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-11-04 03:50.42 ---> using "801b46cc183e6832d509cc0e83841aeb00c06df3dd6285422e9fba1e90ded7d2" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-11-02-0803.40-F-2022-11-01-2004.36.pdiff [67.9 kB]
- Fetched 293 kB in 2s (120 kB/s)
- Reading package lists...
- 
2022-11-04 03:50.42 ---> using "8bbc8d1e58af00247097ccf64ff674d9e350e890c1165123f0c18cb3882a24c7" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam install -y ocaml-secondary-compiler"))
The following actions will be performed:
=== install 1 package
  - install ocaml-secondary-compiler 4.08.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1-1  (cached)
-> installed ocaml-secondary-compiler.4.08.1-1
Done.
# Run eval $(opam env) to update the current shell environment
2022-11-04 03:50.42 ---> using "0a5064aef594c5c09224ca68600cec5964b5fa2c8d00c4f0864fce382021bf46" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"why3-base.0.86.2\"\
               \nopam install -vy \"why3-base.0.86.2\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"why3-base.0.86.2\" | 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] why3-base.0.86.2 is not installed.

Nothing to do.
The following actions will be performed:
=== install 6 packages
  - install base-num   base     [required by num]
  - install menhir     20140422 [required by why3-base]
  - install num        0        [required by why3-base]
  - install ocamlbuild 0.9.0    [required by menhir]
  - install ocamlfind  1.9.5    [required by why3-base]
  - install why3-base  0.86.2

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/18: [menhir.20140422: http]
Processing  3/18: [menhir.20140422: http]
Processing  4/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
Processing  5/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
Processing  6/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
-> installed base-num.base
Processing  7/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
Processing  8/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
-> installed num.0
Processing  9/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http]
-> retrieved ocamlfind.1.9.5  (cached)
Processing 10/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http] [why3-base.0.86.2: http]
[ocamlfind: patch] applying 0001-Fix-bug-when-installing-with-a-system-compiler.patch
Processing 11/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http] [why3-base.0.86.2: http] [ocamlfind: patch]
Processing 11/18: [menhir.20140422: http] [ocamlbuild.0.9.0: http] [why3-base.0.86.2: http] [ocamlfind: ./configure]
Processing 11/18: [ocamlbuild.0.9.0: http] [why3-base.0.86.2: http] [ocamlfind: ./configure]
-> retrieved menhir.20140422  (http://cristal.inria.fr/~fpottier/menhir/menhir-20140422.tar.gz)
+ /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.5)
- Welcome to findlib version 1.9.5
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: found
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- runtime_events: not present
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for graphics written to site-lib-src/graphics/META
- Configuration for num written to site-lib-src/num/META
- Configuration for num-top written to site-lib-src/num-top/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for 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 11/18: [ocamlbuild.0.9.0: http] [why3-base.0.86.2: http] [ocamlfind: make all]
Processing 11/18: [why3-base.0.86.2: http] [ocamlfind: make all]
-> retrieved ocamlbuild.0.9.0  (https://github.com/ocaml/ocamlbuild/archive/0.9.0.tar.gz)
Processing 12/18: [why3-base.0.86.2: http] [ocamlbuild: make configure.make] [ocamlfind: make all]
+ /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 12/18: [why3-base.0.86.2: http] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
Processing 12/18: [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved why3-base.0.86.2  (https://why3.gitlabpages.inria.fr/releases/why3-0.86.2.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
-          ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.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   -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c frontend.ml
- ocamlc -I +compiler-libs  -o ocamlfind -g findlib.cma unix.cma \
-            -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c topfind.ml
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
-          ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.03/lib' \
-     	    >topfind
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c num_top_printers.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c num_top.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c num_top.ml
- ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque   -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5'
- 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.5'
Processing 12/18: [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 12/18: [ocamlfind: make opt]
-> installed ocamlbuild.0.9.0
Processing 13/18: [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.5)
- 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.5/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- 	   -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque  -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
-     ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5/src/findlib'
-> compiled  ocamlfind.1.9.5
Processing 14/18: [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.5)
- 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
- install -d "/home/opam/.opam/4.03/bin"
- install -d "/home/opam/.opam/4.03/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5'
- install -d "`dirname \"/home/opam/.opam/4.03/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.03/lib/findlib.conf" || install -c 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.5'
- 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.5/src/findlib'
- install -d "/home/opam/.opam/4.03/lib/findlib"
- install -d "/home/opam/.opam/4.03/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.03/lib/ocaml"
- test 1 -eq 0 || install -c 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` && \
- install -c $files "/home/opam/.opam/4.03/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $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/"; \
-     install -c 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.5/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5'
- for x in bigarray bytes compiler-libs dynlink graphics num num-top ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.03/lib/$x"; install -c 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
- install -d "/home/opam/.opam/4.03/lib/findlib"; install -c 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.5'
- 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.5/src/findlib'
- install -d "/home/opam/.opam/4.03/lib/num-top"
- install -c 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.5/src/findlib'
- test ! -f 'site-lib-src/camlp4/META' ||	install -c 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.5'
- install -d "/home/opam/.opam/4.03/man/man1" "/home/opam/.opam/4.03/man/man3" "/home/opam/.opam/4.03/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.03/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.03/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/ocamlfind.1.9.5'
-> installed ocamlfind.1.9.5
Processing 15/18: [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.20140422)
- 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.20140422/src'
- ocamlbuild -classic-display -j 0 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
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules infiniteArray.mli > infiniteArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.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 -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 engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 tableFormat.ml > tableFormat.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 -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamlc.opt -c -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o convert.cmo convert.ml
- + /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli  ; if  /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
- # Parallel statistics: { count(total): 2(33), max: 6, min: 2, average(total): 4.000(1.182) }
- Checking that Objective Caml is recent enough...
- /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
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules checkOCamlVersion.ml > checkOCamlVersion.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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.
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /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 -o back.cmi back.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o IL.cmi IL.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -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 -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/ocamlc.opt -c -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 -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 stringSet.mli > stringSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o version.cmo version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o installation.cmx installation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o stringSet.cmx stringSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o version.cmx version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lineCount.cmx lineCount.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o settings.cmx settings.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -g -inline 1000 -o keyword.cmx keyword.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o positions.cmx positions.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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 -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o gMap.cmo gMap.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o syntax.cmi syntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o grammar.cmi grammar.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o codePieces.cmi codePieces.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o action.cmx action.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 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 -o compressedBitSet.cmi compressedBitSet.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -o option.cmi option.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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.mli > unparameterizedSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o unparameterizedSyntax.cmi unparameterizedSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o front.cmi front.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o error.cmx error.ml
- /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 -o infer.cmi infer.mli
- /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 -o IO.cmi IO.mli
- /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 -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 -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 -g -inline 1000 -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules preFront.ml > preFront.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules preFront.mli > preFront.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o preFront.cmi preFront.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /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 -o concreteSyntax.cmi concreteSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o parser.cmi parser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o lexer.cmo lexer.ml
- + /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o lexer.cmo lexer.ml
- File "lexer.mll", line 60, characters 4-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "lexer.mll", line 68, characters 18-29:
- Warning 3: deprecated: String.copy
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o misc.cmx misc.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o misc.cmx misc.ml
- File "misc.ml", line 53, characters 10-22:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "misc.ml", line 121, characters 10-22:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "misc.ml", line 245, characters 10-21:
- Warning 3: deprecated: String.copy
- File "misc.ml", line 252, characters 1-13:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameters.cmx parameters.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parserAux.cmx parserAux.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parser.cmx parser.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 -o internalSyntax.cmi internalSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -o unionFind.cmi unionFind.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o unionFind.cmx unionFind.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- File "tarjan.ml", line 84, characters 16-28:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "tarjan.ml", line 168, characters 29-30:
- Warning 3: deprecated: Pervasives.&
- Use (&&) instead.
- /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 -o partialGrammar.cmi partialGrammar.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 -o time.cmi time.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexer.cmx lexer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o time.cmx time.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexer.cmx lexer.ml
- File "lexer.mll", line 60, characters 4-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "lexer.mll", line 68, characters 18-29:
- Warning 3: deprecated: String.copy
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- File "parameterizedGrammar.ml", line 340, characters 26-38:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- File "partialGrammar.ml", line 259, characters 10-21:
- Warning 3: deprecated: String.copy
- File "partialGrammar.ml", line 262, characters 6-18:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /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 -o tokenType.cmi tokenType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o preFront.cmx preFront.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o preFront.cmx preFront.ml
- File "preFront.ml", line 38, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -g -o lexmli.cmo lexmli.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o IO.cmx IO.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o interface.cmx interface.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexdep.cmx lexdep.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexmli.cmx lexmli.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o IO.cmx IO.ml
- File "IO.ml", line 25, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- /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 -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 -o listMonad.cmi listMonad.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o listMonad.cmx listMonad.ml
- /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 -o reachability.cmi reachability.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 -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o infer.cmx infer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o reachability.cmx reachability.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- /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 -o patricia.cmi patricia.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o gMap.cmx gMap.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o dot.cmx dot.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o front.cmx front.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o patricia.cmx patricia.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o grammar.cmx grammar.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o grammar.cmx grammar.ml
- File "grammar.ml", line 708, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 711, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 898, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 901, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 Fix.mli > Fix.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 -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 -o item.cmi item.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o Fix.cmi Fix.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o lr0.cmi lr0.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o lr1.cmi lr1.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -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 -g -inline 1000 -o item.cmx item.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o item.cmx item.ml
- File "item.ml", line 163, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.ml > lr0.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 -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 packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.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 -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 engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 tableFormat.ml > tableFormat.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 -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamlc.opt -c -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o convert.cmo convert.ml
- + /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli  ; if  /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules breadth.ml > breadth.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules breadth.mli > breadth.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o breadth.cmi breadth.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr0.cmx lr0.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr0.cmx lr0.ml
- File "lr0.ml", line 190, characters 1-13:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 -o slr.cmi slr.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o breadth.cmx breadth.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o slr.cmx slr.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o Fix.cmx Fix.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 -o lr1partial.cmi lr1partial.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1.cmx lr1.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1.cmx lr1.ml
- File "lr1.ml", line 244, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o derivation.cmx derivation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- File "lr1partial.ml", line 77, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o conflict.cmx conflict.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o codePieces.cmx codePieces.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o invariant.cmx invariant.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o invariant.cmx invariant.ml
- File "invariant.ml", line 46, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 -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 -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 -g -o traverse.cmo traverse.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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 -o pprint.cmi pprint.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -o referenceInterpreter.cmi referenceInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -o sentenceParser.cmi sentenceParser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -o tableBackend.cmi tableBackend.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o inliner.cmx inliner.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o interpret.cmx interpret.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o back.cmx back.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o menhir.cmx menhir.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -g Fix.cmx IO.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx stringMap.cmx misc.cmx breadth.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx error.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx time.cmx preFront.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
- # Parallel statistics: { count(total): 18(280), max: 6, min: 2, average(total): 2.944(1.125) }
- /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
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- /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 -o back.cmi back.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o IL.cmi IL.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -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 -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/ocamlc.opt -c -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 -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 stringSet.mli > stringSet.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules version.ml > version.ml.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o version.cmo version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o installation.cmx installation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o stringSet.cmx stringSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o version.cmx version.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lineCount.cmx lineCount.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o settings.cmx settings.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -g -inline 1000 -o keyword.cmx keyword.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o positions.cmx positions.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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 -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o gMap.cmo gMap.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o syntax.cmi syntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o grammar.cmi grammar.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o codePieces.cmi codePieces.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o action.cmx action.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 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 -o compressedBitSet.cmi compressedBitSet.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -o option.cmi option.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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.mli > unparameterizedSyntax.mli.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stringMap.cmi stringMap.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o unparameterizedSyntax.cmi unparameterizedSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o front.cmi front.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o error.cmx error.ml
- /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 -o infer.cmi infer.mli
- /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 -o IO.cmi IO.mli
- /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 -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 -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 -g -inline 1000 -o stringMap.cmx stringMap.ml
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules preFront.ml > preFront.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules preFront.mli > preFront.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o preFront.cmi preFront.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules concreteSyntax.mli > concreteSyntax.mli.depends
- /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.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --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 -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 -g -o parameters.cmo parameters.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer parser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer parser.mly
- Grammar has 31 nonterminal symbols, among which 1 start symbols.
- Grammar has 26 terminal symbols.
- Grammar has 83 productions.
- Built an LR(0) automaton with 115 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- Built an LR(1) automaton with 129 states.
- 5 shift/reduce conflicts were silently solved.
- 38 out of 129 states are represented.
- 25 out of 60 symbols keep track of their start position.
- 20 out of 60 symbols keep track of their end position.
- 56 out of 129 states have a default reduction.
- 33 out of 84 productions exploit shiftreduce optimization.
- 20 out of 129 states can peek at an error.
- 13 out of 129 states can do error recovery.
- 452 functions before inlining, 116 functions after inlining.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o parser.cmi parser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o lexer.cmo lexer.ml
- + /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o lexer.cmo lexer.ml
- File "lexer.mll", line 60, characters 4-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "lexer.mll", line 68, characters 18-29:
- Warning 3: deprecated: String.copy
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o misc.cmx misc.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o misc.cmx misc.ml
- File "misc.ml", line 53, characters 10-22:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "misc.ml", line 121, characters 10-22:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "misc.ml", line 245, characters 10-21:
- Warning 3: deprecated: String.copy
- File "misc.ml", line 252, characters 1-13:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameters.cmx parameters.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parserAux.cmx parserAux.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parser.cmx parser.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 -o internalSyntax.cmi internalSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -o unionFind.cmi unionFind.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o unionFind.cmx unionFind.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tarjan.cmx tarjan.ml
- File "tarjan.ml", line 84, characters 16-28:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "tarjan.ml", line 168, characters 29-30:
- Warning 3: deprecated: Pervasives.&
- Use (&&) instead.
- /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 -o partialGrammar.cmi partialGrammar.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 -o time.cmi time.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexer.cmx lexer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o time.cmx time.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexer.cmx lexer.ml
- File "lexer.mll", line 60, characters 4-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "lexer.mll", line 68, characters 18-29:
- Warning 3: deprecated: String.copy
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o partialGrammar.cmx partialGrammar.ml
- File "partialGrammar.ml", line 259, characters 10-21:
- Warning 3: deprecated: String.copy
- File "partialGrammar.ml", line 262, characters 6-18:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o parameterizedGrammar.cmx parameterizedGrammar.ml
- File "parameterizedGrammar.ml", line 340, characters 26-38:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 -o tokenType.cmi tokenType.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o preFront.cmx preFront.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o preFront.cmx preFront.ml
- File "preFront.ml", line 38, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -g -o lexmli.cmo lexmli.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o IO.cmx IO.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o interface.cmx interface.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexdep.cmx lexdep.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lexmli.cmx lexmli.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o IO.cmx IO.ml
- File "IO.ml", line 25, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- /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 -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 -o listMonad.cmi listMonad.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o listMonad.cmx listMonad.ml
- /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 -o reachability.cmi reachability.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 -o unparameterizedPrinter.cmi unparameterizedPrinter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o infer.cmx infer.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o nonTerminalDefinitionInlining.cmx nonTerminalDefinitionInlining.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o reachability.cmx reachability.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o unparameterizedPrinter.cmx unparameterizedPrinter.ml
- /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 -o patricia.cmi patricia.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o gMap.cmx gMap.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o compressedBitSet.cmx compressedBitSet.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o dot.cmx dot.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o front.cmx front.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o patricia.cmx patricia.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o grammar.cmx grammar.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o grammar.cmx grammar.ml
- File "grammar.ml", line 708, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 711, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 898, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- File "grammar.ml", line 901, characters 6-18:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 Fix.mli > Fix.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 -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 -o item.cmi item.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o Fix.cmi Fix.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o lr0.cmi lr0.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o lr1.cmi lr1.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -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 -g -inline 1000 -o item.cmx item.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o item.cmx item.ml
- File "item.ml", line 163, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr0.ml > lr0.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 -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 packedIntArray.mli > packedIntArray.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o packedIntArray.cmi packedIntArray.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules packedIntArray.ml > packedIntArray.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 -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 engineTypes.ml > engineTypes.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules engine.mli > engine.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engineTypes.cmo engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 tableFormat.ml > tableFormat.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 -g -o tableFormat.cmo tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamldep.opt -modules convert.mli > convert.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamlc.opt -c -g -o infiniteArray.cmo infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o rowDisplacement.cmo rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o engine.cmo engine.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o tableInterpreter.cmo tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o convert.cmo convert.ml
- + /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o packedIntArray.cmo packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlc.opt -pack -g infiniteArray.cmo packedIntArray.cmo rowDisplacement.cmo engineTypes.cmo engine.cmo tableFormat.cmo tableInterpreter.cmo convert.cmo -o menhirLib.cmo
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o infiniteArray.cmx infiniteArray.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engineTypes.cmx engineTypes.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o packedIntArray.cmx packedIntArray.ml
- File "packedIntArray.ml", line 91, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 115, characters 6-26:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- File "packedIntArray.ml", line 137, characters 6-19:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "packedIntArray.ml", line 145, characters 1-46:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o engine.cmx engine.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o rowDisplacement.cmx rowDisplacement.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableFormat.cmx tableFormat.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o tableInterpreter.cmx tableInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -for-pack MenhirLib -o convert.cmx convert.ml
- touch menhirLib.mli  ; if  /home/opam/.opam/4.03/bin/ocamlopt.opt -pack -g infiniteArray.cmx packedIntArray.cmx rowDisplacement.cmx engineTypes.cmx engine.cmx tableFormat.cmx tableInterpreter.cmx convert.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules breadth.ml > breadth.ml.depends
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules breadth.mli > breadth.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o breadth.cmi breadth.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr0.cmx lr0.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr0.cmx lr0.ml
- File "lr0.ml", line 190, characters 1-13:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 -o slr.cmi slr.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o breadth.cmx breadth.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o slr.cmx slr.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o Fix.cmx Fix.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 -o lr1partial.cmi lr1partial.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1.cmx lr1.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1.cmx lr1.ml
- File "lr1.ml", line 244, characters 2-14:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o derivation.cmx derivation.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o lr1partial.cmx lr1partial.ml
- File "lr1partial.ml", line 77, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o conflict.cmx conflict.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o codePieces.cmx codePieces.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o invariant.cmx invariant.ml
- + /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o invariant.cmx invariant.ml
- File "invariant.ml", line 46, characters 4-16:
- Warning 3: deprecated: Array.create
- Use Array.make instead.
- /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 -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 -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 -g -o traverse.cmo traverse.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -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 -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 -o pprint.cmi pprint.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -o referenceInterpreter.cmi referenceInterpreter.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --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.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer sentenceParser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage1/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer sentenceParser.mly
- Grammar has 2 nonterminal symbols, among which 1 start symbols.
- Grammar has 5 terminal symbols.
- Grammar has 5 productions.
- Built an LR(0) automaton with 11 states.
- The grammar is SLR(1).
- Built an LR(1) automaton with 11 states.
- 3 out of 11 states are represented.
- 0 out of 10 symbols keep track of their start position.
- 0 out of 10 symbols keep track of their end position.
- 5 out of 11 states have a default reduction.
- 4 out of 6 productions exploit shiftreduce optimization.
- 0 out of 11 states can peek at an error.
- 0 out of 11 states can do error recovery.
- 42 functions before inlining, 7 functions after inlining.
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o sentenceParser.cmi sentenceParser.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -g -inline 1000 -o sentenceParser.cmx sentenceParser.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o referenceInterpreter.cmx referenceInterpreter.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -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 -o tableBackend.cmi tableBackend.mli
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o codeBackend.cmx codeBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o coqBackend.cmx coqBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o inliner.cmx inliner.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o interpret.cmx interpret.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o tableBackend.cmx tableBackend.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o back.cmx back.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt -c -g -inline 1000 -o menhir.cmx menhir.ml
- /home/opam/.opam/4.03/bin/ocamlopt.opt unix.cmxa -g Fix.cmx IO.cmx installation.cmx keyword.cmx lineCount.cmx positions.cmx stringSet.cmx version.cmx settings.cmx printer.cmx action.cmx mark.cmx stringMap.cmx misc.cmx breadth.cmx codeBits.cmx gSet.cmx compressedBitSet.cmx option.cmx dot.cmx error.cmx parameters.cmx parserAux.cmx parser.cmx lexer.cmx tarjan.cmx unionFind.cmx parameterizedGrammar.cmx partialGrammar.cmx time.cmx preFront.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx nonTerminalDefinitionInlining.cmx reachability.cmx unparameterizedPrinter.cmx front.cmx gMap.cmx patricia.cmx grammar.cmx codePieces.cmx item.cmx derivation.cmx menhirLib.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx invariant.cmx codeBackend.cmx coqBackend.cmx pprint.cmx cst.cmx traverse.cmx inliner.cmx referenceInterpreter.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
- # Parallel statistics: { count(total): 19(281), max: 6, min: 2, average(total): 2.895(1.128) }
- /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
- File "_tags", line 10, characters 27-40:
- Warning: the tag "use_ocamlyacc" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo. Otherwise you can use `mark_tag_used` in your myocamlbuild.ml to disable this warning.
- cp fancy-parser.mly parser.mly
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --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 -o keyword.cmi keyword.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o positions.cmi positions.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o stretch.cmi stretch.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -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 -o mark.cmi mark.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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 -o stringSet.cmi stringSet.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -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/ocamlc.opt -c -o misc.cmi misc.mli
- /home/opam/.opam/4.03/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o concreteSyntax.cmi concreteSyntax.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o error.cmi error.mli
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -g -o parameters.cmo parameters.ml
- /home/opam/.opam/4.03/bin/ocamlc.opt -c -o parserAux.cmi parserAux.mli
- /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer parser.mly
- + /home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src/_stage2/menhir.native -v -lg 1 -la 1 -lc 1 --comment --infer --error-recovery --stdlib . --strict --fixed-exception --ocamlc /home/opam/.opam/4.03/bin/ocamlc.opt --infer parser.mly
- Grammar has 31 nonterminal symbols, among which 1 start symbols.
- Grammar has 26 terminal symbols.
- Grammar has 83 productions.
- Built an LR(0) automaton with 115 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- Built an LR(1) automaton with 129 states.
- 5 shift/reduce conflicts were silently solved.
- 38 out of 129 states are represented.
- 25 out of 60 symbols keep track of their start position.
- 20 out of 60 symbols keep track of their end position.
- 56 out of 129 states have a default reduction.
- 33 out of 84 productions exploit shiftreduce optimization.
- 20 out of 129 states can peek at an error.
- 13 out of 129 states can do error recovery.
- 452 functions before inlining, 116 functions after inlining.
- # Parallel statistics: { count(total): 2(28), max: 4, min: 2, average(total): 3.000(1.143) }
- Bootstrap successful.
- make[1]: Leaving directory '/home/opam/.opam/4.03/.opam-switch/build/menhir.20140422/src'
-> compiled  menhir.20140422
Processing 16/18: [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.20140422)
- 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.20140422
Processing 17/18: [why3-base: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.03" "--disable-frama-c" "--disable-ide" (CWD=/home/opam/.opam/4.03/.opam-switch/build/why3-base.0.86.2)
- checking executable suffix... <none>
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for ocamlc... ocamlc
- ocaml version is 4.03.0
- ocaml library path is /home/opam/.opam/4.03/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamldep.opt... ocamldep.opt
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamldoc... ocamldoc
- checking for ocamldoc.opt... ocamldoc.opt
- checking for menhir... menhir
- checking for ocamlfind... yes
- checking for rubber... no
- configure: WARNING: Cannot find rubber, documentation disabled.
- checking for emacs... no
- ocamlfind: Package `zarith' not found
- checking for /home/opam/.opam/4.03/lib/ocaml/zarith/zarith.cma... no
- configure: WARNING: Lib Zarith not found, using Nums instead.
- ocamlfind: Package `zip' not found
- checking for /home/opam/.opam/4.03/lib/ocaml/zip/zip.cma... no
- configure: WARNING: Lib camlzip not found, sessions files will not be compressed.
- ocamlfind found menhirLib in /home/opam/.opam/4.03/lib/menhirLib
- checking for coqc... no
- configure: WARNING: Cannot find coqc.
- checking for coqdep... no
- configure: WARNING: Cannot find coqdep.
- checking for pvs... no
- configure: WARNING: Cannot find pvs.
- checking for isabelle... no
- configure: WARNING: Cannot find isabelle.
- ocamlfind: Package `ocamlgraph' not found
- checking for /home/opam/.opam/4.03/lib/ocaml/ocamlgraph/... no
- configure: WARNING: Lib ocamlgraph not found, hypothesis selection disabled.
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/config.sh
- config.status: creating doc/version.tex
- config.status: creating lib/why3/META
- config.status: creating .merlin
- config.status: creating src/jessie/Makefile
- config.status: executing chmod commands
- 
-                  Summary
- -----------------------------------------
- Verbose make                : no
- OCaml compiler              : yes
-     Version                 : 4.03.0
-     Library path            : /home/opam/.opam/4.03/lib/ocaml
-     Native compilation      : yes
-     Profiling               : no
- Components
-     IDE command             : no
-     GMP arithmetic          : no (zarith not found)
-     Compressed sessions     : no (camlzip not found)
-     MenhirLib support       : yes
-     Hypothesis selection    : no (ocamlgraph not found)
-     Frama-C support         : no
- Documentation               : no (rubber not found)
- Support for interactive proof assistants
-     Coq                     : no (coqdep not found)
-     PVS                     : no (pvs not found)
-     Isabelle                : no (isabelle not found)
- Installable                 : yes
-     Binary path             : ${exec_prefix}/bin
-     Lib path                : ${exec_prefix}/lib/why3
-     Data path               : ${prefix}/share/why3
-     Ocaml Library           : /home/opam/.opam/4.03/lib/why3
-     Relocatable             : no
Processing 17/18: [why3-base: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" "byte" (CWD=/home/opam/.opam/4.03/.opam-switch/build/why3-base.0.86.2)
- Ocamllex src/why3doc/doc_lexer.mll
- 112 states, 1119 transitions, table size 5148 bytes
- 1707 additional bytes used for bindings
- Ocamldep src/why3doc/doc_main.ml
- Ocamldep src/why3doc/doc_lexer.ml
- Ocamldep src/why3doc/doc_def.ml
- Ocamldep src/why3doc/doc_html.ml
- cp lib/ocaml/why3__BigInt_num.ml lib/ocaml/why3__BigInt_compat.ml
- Ocamldep lib/ocaml/why3__Array.ml
- Ocamldep lib/ocaml/why3__IntAux.ml
- Ocamldep lib/ocaml/why3__BigInt.ml
- Ocamldep lib/ocaml/why3__BigInt_compat.ml
- Ocamldep src/why3session/why3session_main.ml
- Ocamldep src/why3session/why3session_csv.ml
- Ocamldep src/why3session/why3session_run.ml
- Ocamldep src/why3session/why3session_output.ml
- Ocamldep src/why3session/why3session_rm.ml
- Ocamldep src/why3session/why3session_html.ml
- Ocamldep src/why3session/why3session_latex.ml
- Ocamldep src/why3session/why3session_info.ml
- Ocamldep src/why3session/why3session_copy.ml
- Ocamldep src/why3session/why3session_lib.ml
- Ocamllex src/tools/why3wc.mll
- 298 states, 15365 transitions, table size 63248 bytes
- Ocamldep src/tools/why3wc.ml
- Ocamldep src/tools/why3replay.ml
- Ocamldep src/tools/why3realize.ml
- Ocamldep src/tools/why3prove.ml
- Ocamldep src/tools/why3extract.ml
- Ocamldep src/tools/why3execute.ml
- Ocamldep src/tools/why3config.ml
- Ocamldep src/tools/main.ml
- Ocamllex plugins/tptp/tptp_lexer.mll
- 101 states, 1563 transitions, table size 6858 bytes
- 3126 additional bytes used for bindings
- Menhir plugins/tptp/tptp_parser.mly
- Warning: you are using the standard library and/or the %inline keyword. We
- recommend switching on --infer in order to avoid obscure type error messages.
- Ocamllex plugins/parser/dimacs.mll
- 34 states, 434 transitions, table size 1940 bytes
- 1293 additional bytes used for bindings
- Ocamldep plugins/tptp/tptp_printer.ml
- Ocamldep plugins/tptp/tptp_lexer.ml
- Ocamldep plugins/tptp/tptp_typing.ml
- Ocamldep plugins/tptp/tptp_parser.ml
- Ocamldep plugins/tptp/tptp_ast.ml
- Ocamldep plugins/parser/dimacs.ml
- Ocamldep plugins/parser/genequlin.ml
- Generate src/util/config.ml
- Ocamllex src/util/rc.mll
- 48 states, 1889 transitions, table size 7844 bytes
- 3073 additional bytes used for bindings
- Ocamllex src/util/lexlib.mll
- 16 states, 260 transitions, table size 1136 bytes
- Ocamllex src/parser/lexer.mll
- 128 states, 3177 transitions, table size 13476 bytes
- 7458 additional bytes used for bindings
- Menhir src/parser/parser.mly
- Warning: you are using the standard library and/or the %inline keyword. We
- recommend switching on --infer in order to avoid obscure type error messages.
- Menhir src/driver/driver_parser.mly
- Ocamllex src/driver/driver_lexer.mll
- 29 states, 1101 transitions, table size 4578 bytes
- cp src/session/compress_none.ml src/session/compress.ml
- Ocamllex src/session/xml.mll
- 114 states, 1396 transitions, table size 6268 bytes
- 3538 additional bytes used for bindings
- Ocamllex src/session/strategy_parser.mll
- 39 states, 619 transitions, table size 2710 bytes
- 1755 additional bytes used for bindings
- Ocamldep src/session/session_scheduler.ml
- Ocamldep src/session/strategy_parser.ml
- Ocamldep src/session/strategy.ml
- Ocamldep src/session/session_tools.ml
- Ocamldep src/session/session.ml
- Ocamldep src/session/termcode.ml
- Ocamldep src/session/xml.ml
- Ocamldep src/session/compress.ml
- Ocamldep src/whyml/mlw_interp.ml
- Ocamldep src/whyml/mlw_main.ml
- Ocamldep src/whyml/mlw_ocaml.ml
- Ocamldep src/whyml/mlw_exec.ml
- Ocamldep src/whyml/mlw_driver.ml
- Ocamldep src/whyml/mlw_typing.ml
- Ocamldep src/whyml/mlw_dexpr.ml
- Ocamldep src/whyml/mlw_module.ml
- Ocamldep src/whyml/mlw_wp.ml
- Ocamldep src/whyml/mlw_pretty.ml
- Ocamldep src/whyml/mlw_decl.ml
- Ocamldep src/whyml/mlw_expr.ml
- Ocamldep src/whyml/mlw_ty.ml
- Ocamldep src/printer/mathematica.ml
- Ocamldep src/printer/yices.ml
- Ocamldep src/printer/cvc3.ml
- Ocamldep src/printer/gappa.ml
- Ocamldep src/printer/simplify.ml
- Ocamldep src/printer/isabelle.ml
- Ocamldep src/printer/pvs.ml
- Ocamldep src/printer/coq.ml
- Ocamldep src/printer/smtv2.ml
- Ocamldep src/printer/smtv1.ml
- Ocamldep src/printer/why3printer.ml
- Ocamldep src/printer/alt_ergo.ml
- Ocamldep src/transform/prop_curry.ml
- Ocamldep src/transform/induction_pr.ml
- Ocamldep src/transform/compute.ml
- Ocamldep src/transform/reduction_engine.ml
- Ocamldep src/transform/smoke_detector.ml
- Ocamldep src/transform/instantiate_predicate.ml
- Ocamldep src/transform/eval_match.ml
- Ocamldep src/transform/intro_projections_counterexmp.ml
- Ocamldep src/transform/eliminate_epsilon.ml
- Ocamldep src/transform/lift_epsilon.ml
- Ocamldep src/transform/close_epsilon.ml
- Ocamldep src/transform/abstraction.ml
- Ocamldep src/transform/introduction.ml
- Ocamldep src/transform/filter_trigger.ml
- Ocamldep src/transform/simplify_array.ml
- Ocamldep src/transform/encoding_sort.ml
- Ocamldep src/transform/encoding_twin.ml
- Ocamldep src/transform/encoding_tags.ml
- Ocamldep src/transform/encoding_guards.ml
- Ocamldep src/transform/encoding_tags_full.ml
- Ocamldep src/transform/encoding_guards_full.ml
- Ocamldep src/transform/encoding_select.ml
- Ocamldep src/transform/encoding.ml
- Ocamldep src/transform/discriminate.ml
- Ocamldep src/transform/libencoding.ml
- Ocamldep src/transform/eliminate_if.ml
- Ocamldep src/transform/eliminate_let.ml
- Ocamldep src/transform/eliminate_inductive.ml
- Ocamldep src/transform/eliminate_algebraic.ml
- Ocamldep src/transform/eliminate_definition.ml
- Ocamldep src/transform/detect_polymorphism.ml
- Ocamldep src/transform/induction.ml
- Ocamldep src/transform/split_goal.ml
- Ocamldep src/transform/inlining.ml
- Ocamldep src/transform/simplify_formula.ml
- Ocamldep src/parser/lexer.ml
- Ocamldep src/parser/typing.ml
- Ocamldep src/parser/parser.ml
- Ocamldep src/parser/glob.ml
- Ocamldep src/parser/ptree.ml
- Ocamldep src/mlw/dexpr.ml
- Ocamldep src/mlw/expr.ml
- Ocamldep src/mlw/ity.ml
- Ocamldep src/driver/parse_cvc4_z3_model.ml
- Ocamldep src/driver/autodetection.ml
- Ocamldep src/driver/whyconf.ml
- Ocamldep src/driver/driver.ml
- Ocamldep src/driver/driver_lexer.ml
- Ocamldep src/driver/driver_parser.ml
- Ocamldep src/driver/driver_ast.ml
- Ocamldep src/driver/call_provers.ml
- Ocamldep src/core/model_parser.ml
- Ocamldep src/core/printer.ml
- Ocamldep src/core/trans.ml
- Ocamldep src/core/env.ml
- Ocamldep src/core/dterm.ml
- Ocamldep src/core/pretty.ml
- Ocamldep src/core/task.ml
- Ocamldep src/core/theory.ml
- Ocamldep src/core/decl.ml
- Ocamldep src/core/pattern.ml
- Ocamldep src/core/term.ml
- Ocamldep src/core/ty.ml
- Ocamldep src/core/ident.ml
- Ocamldep src/util/pqueue.ml
- Ocamldep src/util/number.ml
- Ocamldep src/util/bigInt.ml
- Ocamldep src/util/plugin.ml
- Ocamldep src/util/rc.ml
- Ocamldep src/util/sysutil.ml
- Ocamldep src/util/warning.ml
- Ocamldep src/util/cmdline.ml
- Ocamldep src/util/print_tree.ml
- Ocamldep src/util/lexlib.ml
- Ocamldep src/util/loc.ml
- Ocamldep src/util/debug.ml
- Ocamldep src/util/pp.ml
- Ocamldep src/util/exn_printer.ml
- Ocamldep src/util/stdlib.ml
- Ocamldep src/util/hashcons.ml
- Ocamldep src/util/weakhtbl.ml
- Ocamldep src/util/exthtbl.ml
- Ocamldep src/util/extset.ml
- Ocamldep src/util/extmap.ml
- Ocamldep src/util/strings.ml
- Ocamldep src/util/lists.ml
- Ocamldep src/util/opt.ml
- Ocamldep src/util/util.ml
- Ocamldep src/util/config.ml
- Ocamlopt src/util/config.ml
- Ocamlc   src/util/bigInt.mli
- Ocamlopt src/util/bigInt.ml
- Ocamlc   src/util/util.mli
- Ocamlopt src/util/util.ml
- Ocamlc   src/util/opt.mli
- Ocamlopt src/util/opt.ml
- Ocamlc   src/util/lists.mli
- Ocamlopt src/util/lists.ml
- Ocamlc   src/util/strings.mli
- Ocamlopt src/util/strings.ml
- File "src/util/strings.ml", line 36, characters 12-25:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/strings.ml", line 38, characters 4-15:
- Warning 3: deprecated: String.fill
- Use Bytes.fill instead.
- Ocamlc   src/util/extmap.mli
- Ocamlopt src/util/extmap.ml
- Ocamlc   src/util/extset.mli
- Ocamlopt src/util/extset.ml
- Ocamlc   src/util/exthtbl.mli
- Ocamlopt src/util/exthtbl.ml
- Ocamlc   src/util/weakhtbl.mli
- Ocamlopt src/util/weakhtbl.ml
- File "src/util/weakhtbl.ml", line 172, characters 4-68:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/util/hashcons.mli
- Ocamlopt src/util/hashcons.ml
- Ocamlc   src/util/stdlib.mli
- Ocamlopt src/util/stdlib.ml
- Ocamlc   src/util/exn_printer.mli
- Ocamlopt src/util/exn_printer.ml
- Ocamlc   src/util/pp.mli
- Ocamlopt src/util/pp.ml
- Ocamlc   src/util/debug.mli
- Ocamlopt src/util/debug.ml
- File "src/util/debug.ml", line 67, characters 2-69:
- Warning 50: unattached documentation comment (ignored)
- File "src/util/debug.ml", line 181, characters 0-37:
- Warning 50: ambiguous documentation comment
- File "src/util/debug.ml", line 183, characters 2-69:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/util/loc.mli
- Ocamlopt src/util/loc.ml
- Ocamlc   src/util/lexlib.mli
- Ocamlopt src/util/lexlib.ml
- File "src/util/lexlib.mll", line 101, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/lexlib.mll", line 103, characters 46-56:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/print_tree.mli
- Ocamlopt src/util/print_tree.ml
- Ocamlc   src/util/cmdline.mli
- Ocamlopt src/util/cmdline.ml
- File "src/util/cmdline.ml", line 46, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/cmdline.ml", line 48, characters 10-20:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/warning.mli
- Ocamlopt src/util/warning.ml
- Ocamlc   src/util/sysutil.mli
- Ocamlopt src/util/sysutil.ml
- Ocamlc   src/util/rc.mli
- File "src/util/rc.mli", line 35, characters 0-91:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 39, characters 0-67:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 41, characters 0-68:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 43, characters 0-60:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 45, characters 0-49:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 49, characters 0-43:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 57, characters 7-28:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 58, characters 13-38:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 59, characters 38-65:
- Warning 50: ambiguous documentation comment
- File "src/util/rc.mli", line 62, characters 14-32:
- Warning 50: ambiguous documentation comment
- Ocamlopt src/util/rc.ml
- File "src/util/rc.mll", line 67, characters 13-26:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/rc.mll", line 73, characters 10-27:
- Warning 3: deprecated: String.unsafe_set
- File "src/util/rc.mll", line 76, characters 6-23:
- Warning 3: deprecated: String.unsafe_set
- Ocamlc   src/util/plugin.mli
- Ocamlopt src/util/plugin.ml
- Ocamlc   src/util/number.mli
- Ocamlopt src/util/number.ml
- File "src/util/number.ml", line 161, characters 14-25:
- Warning 3: deprecated: String.copy
- File "src/util/number.ml", line 161, characters 31-44:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/pqueue.mli
- Ocamlopt src/util/pqueue.ml
- Ocamlc   src/core/ident.mli
- Ocamlopt src/core/ident.ml
- File "src/core/ident.ml", line 186, characters 23-42:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/core/ident.ml", line 187, characters 23-40:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/core/ty.mli
- Ocamlopt src/core/ty.ml
- Ocamlc   src/core/term.mli
- Ocamlopt src/core/term.ml
- Ocamlc   src/core/pattern.mli
- Ocamlopt src/core/pattern.ml
- Ocamlc   src/core/decl.mli
- Ocamlopt src/core/decl.ml
- Ocamlc   src/core/theory.mli
- Ocamlopt src/core/theory.ml
- Ocamlc   src/core/task.mli
- Ocamlopt src/core/task.ml
- Ocamlc   src/core/pretty.mli
- Ocamlopt src/core/pretty.ml
- File "src/core/pretty.ml", line 71, characters 18-37:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/core/pretty.ml", line 97, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/core/pretty.ml", line 111, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/core/dterm.mli
- Ocamlopt src/core/dterm.ml
- Ocamlc   src/core/env.mli
- Ocamlopt src/core/env.ml
- Ocamlc   src/core/trans.mli
- Ocamlopt src/core/trans.ml
- Ocamlc   src/core/printer.mli
- Ocamlopt src/core/printer.ml
- Ocamlc   src/core/model_parser.mli
- Ocamlopt src/core/model_parser.ml
- Ocamlc   src/driver/call_provers.mli
- File "src/driver/call_provers.mli", line 46, characters 2-43:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/driver/call_provers.ml
- Ocamlopt src/driver/driver_ast.ml
- Ocamlc   src/driver/driver_parser.mli
- Ocamlopt src/driver/driver_parser.ml
- Ocamlc   src/driver/driver_lexer.mli
- Ocamlopt src/driver/driver_lexer.ml
- Ocamlc   src/driver/driver.mli
- Ocamlopt src/driver/driver.ml
- Ocamlc   src/driver/whyconf.mli
- File "src/driver/whyconf.mli", line 234, characters 0-93:
- Warning 50: ambiguous documentation comment
- File "src/driver/whyconf.mli", line 241, characters 0-93:
- Warning 50: ambiguous documentation comment
- Ocamlopt src/driver/whyconf.ml
- File "src/driver/whyconf.ml", line 37, characters 30-60:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 316, characters 2-33:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 321, characters 2-39:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 324, characters 2-24:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 656, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 665, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 670, characters 2-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 684, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 701, characters 2-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 711, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/driver/autodetection.mli
- Ocamlopt src/driver/autodetection.ml
- File "src/driver/autodetection.ml", line 151, characters 4-97:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 288, characters 4-142:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 294, characters 2-38:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 333, characters 2-109:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 367, characters 6-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 368, characters 32-63:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 377, characters 11-46:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 380, characters 4-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 428, characters 6-214:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 503, characters 4-40:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 187, characters 14-22:
- Warning 52: the argument of this constructor should not be matched against a
- constant pattern; the actual value of the argument could change
- in the future.
- File "src/driver/autodetection.ml", line 205, characters 14-22:
- Warning 52: the argument of this constructor should not be matched against a
- constant pattern; the actual value of the argument could change
- in the future.
- Ocamlopt src/driver/parse_cvc4_z3_model.ml
- Ocamlc   src/mlw/ity.mli
- File "src/mlw/ity.mli", line 185, characters 23-57:
- Warning 50: ambiguous documentation comment
- File "src/mlw/ity.mli", line 311, characters 18-47:
- Warning 50: ambiguous documentation comment
- Ocamlopt src/mlw/ity.ml
- Ocamlc   src/mlw/expr.mli
- Ocamlopt src/mlw/expr.ml
- File "src/mlw/expr.ml", line 440, characters 34-46:
- Warning 48: implicit elimination of optional argument ?loc
- Ocamlc   src/mlw/dexpr.mli
- Ocamlopt src/mlw/dexpr.ml
- Ocamlopt src/parser/ptree.ml
- Ocamlc   src/parser/glob.mli
- Ocamlopt src/parser/glob.ml
- Ocamlc   src/parser/parser.mli
- Ocamlopt src/parser/parser.ml
- Ocamlc   src/parser/typing.mli
- Ocamlopt src/parser/typing.ml
- Ocamlc   src/parser/lexer.mli
- Ocamlopt src/parser/lexer.ml
- Ocamlc   src/transform/simplify_formula.mli
- Ocamlopt src/transform/simplify_formula.ml
- File "src/transform/simplify_formula.ml", line 61, characters 6-85:
- Warning 57: Ambiguous or-pattern variables under guard;
- variables t,tv,vs may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/inlining.mli
- Ocamlopt src/transform/inlining.ml
- Ocamlc   src/transform/split_goal.mli
- Ocamlopt src/transform/split_goal.ml
- Ocamlc   src/transform/induction.mli
- Ocamlopt src/transform/induction.ml
- Ocamlc   src/transform/detect_polymorphism.mli
- Ocamlopt src/transform/detect_polymorphism.ml
- Ocamlc   src/transform/eliminate_definition.mli
- Ocamlopt src/transform/eliminate_definition.ml
- Ocamlc   src/transform/eliminate_algebraic.mli
- Ocamlopt src/transform/eliminate_algebraic.ml
- Ocamlc   src/transform/eliminate_inductive.mli
- Ocamlopt src/transform/eliminate_inductive.ml
- Ocamlc   src/transform/eliminate_let.mli
- Ocamlopt src/transform/eliminate_let.ml
- Ocamlc   src/transform/eliminate_if.mli
- Ocamlopt src/transform/eliminate_if.ml
- Ocamlc   src/transform/libencoding.mli
- Ocamlopt src/transform/libencoding.ml
- Ocamlc   src/transform/discriminate.mli
- Ocamlopt src/transform/discriminate.ml
- Ocamlc   src/transform/encoding.mli
- Ocamlopt src/transform/encoding.ml
- Ocamlc   src/transform/encoding_select.mli
- Ocamlopt src/transform/encoding_select.ml
- Ocamlc   src/transform/encoding_guards_full.mli
- Ocamlopt src/transform/encoding_guards_full.ml
- File "src/transform/encoding_guards_full.ml", line 62, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/transform/encoding_guards_full.ml", line 71, characters 2-15:
- Warning 50: unattached documentation comment (ignored)
- File "src/transform/encoding_guards_full.ml", line 145, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/transform/encoding_tags_full.mli
- Ocamlopt src/transform/encoding_tags_full.ml
- Ocamlc   src/transform/encoding_guards.mli
- Ocamlopt src/transform/encoding_guards.ml
- Ocamlc   src/transform/encoding_tags.mli
- Ocamlopt src/transform/encoding_tags.ml
- Ocamlc   src/transform/encoding_twin.mli
- Ocamlopt src/transform/encoding_twin.ml
- Ocamlc   src/transform/encoding_sort.mli
- Ocamlopt src/transform/encoding_sort.ml
- Ocamlc   src/transform/simplify_array.mli
- Ocamlopt src/transform/simplify_array.ml
- Ocamlc   src/transform/filter_trigger.mli
- Ocamlopt src/transform/filter_trigger.ml
- Ocamlc   src/transform/introduction.mli
- Ocamlopt src/transform/introduction.ml
- Ocamlc   src/transform/abstraction.mli
- Ocamlopt src/transform/abstraction.ml
- Ocamlc   src/transform/close_epsilon.mli
- Ocamlopt src/transform/close_epsilon.ml
- Ocamlc   src/transform/lift_epsilon.mli
- Ocamlopt src/transform/lift_epsilon.ml
- Ocamlc   src/transform/eliminate_epsilon.mli
- Ocamlopt src/transform/eliminate_epsilon.ml
- File "src/transform/eliminate_epsilon.ml", line 79, characters 4-93:
- Warning 57: Ambiguous or-pattern variables under guard;
- variable t2 may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/intro_projections_counterexmp.mli
- Ocamlopt src/transform/intro_projections_counterexmp.ml
- Ocamlc   src/transform/eval_match.mli
- Ocamlopt src/transform/eval_match.ml
- File "src/transform/eval_match.ml", line 99, characters 6-69:
- Warning 57: Ambiguous or-pattern variables under guard;
- variable cs may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/instantiate_predicate.mli
- Ocamlopt src/transform/instantiate_predicate.ml
- Ocamlc   src/transform/smoke_detector.mli
- Ocamlopt src/transform/smoke_detector.ml
- Ocamlc   src/transform/reduction_engine.mli
- Ocamlopt src/transform/reduction_engine.ml
- Ocamlc   src/transform/compute.mli
- Ocamlopt src/transform/compute.ml
- Ocamlc   src/transform/induction_pr.mli
- Ocamlopt src/transform/induction_pr.ml
- Ocamlopt src/transform/prop_curry.ml
- Ocamlc   src/printer/alt_ergo.mli
- Ocamlopt src/printer/alt_ergo.ml
- Ocamlc   src/printer/why3printer.mli
- Ocamlopt src/printer/why3printer.ml
- File "src/printer/why3printer.ml", line 51, characters 18-37:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/printer/why3printer.ml", line 58, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/printer/why3printer.ml", line 68, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/printer/smtv1.mli
- Ocamlopt src/printer/smtv1.ml
- Ocamlc   src/printer/smtv2.mli
- Ocamlopt src/printer/smtv2.ml
- File "src/printer/smtv2.ml", line 35, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 36, characters 5-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 43, characters 6-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 49, characters 6-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 51, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 65, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 73, characters 6-20:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/coq.mli
- Ocamlopt src/printer/coq.ml
- File "src/printer/coq.ml", line 422, characters 4-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 434, characters 4-34:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 811, characters 2-154:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 481, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- Ocamlopt src/printer/pvs.ml
- Ocamlopt src/printer/isabelle.ml
- File "src/printer/isabelle.ml", line 329, characters 2-159:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/simplify.mli
- Ocamlopt src/printer/simplify.ml
- Ocamlc   src/printer/gappa.mli
- Ocamlopt src/printer/gappa.ml
- Ocamlc   src/printer/cvc3.mli
- Ocamlopt src/printer/cvc3.ml
- File "src/printer/cvc3.ml", line 30, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 31, characters 5-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 34, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 39, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/printer/yices.ml
- File "src/printer/yices.ml", line 30, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 31, characters 5-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 34, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 39, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/printer/mathematica.ml
- Ocamlc   src/whyml/mlw_ty.mli
- File "src/whyml/mlw_ty.mli", line 147, characters 23-57:
- Warning 50: ambiguous documentation comment
- File "src/whyml/mlw_ty.mli", line 243, characters 25-54:
- Warning 50: ambiguous documentation comment
- File "src/whyml/mlw_ty.mli", line 244, characters 25-69:
- Warning 50: ambiguous documentation comment
- Ocamlopt src/whyml/mlw_ty.ml
- Ocamlc   src/whyml/mlw_expr.mli
- Ocamlopt src/whyml/mlw_expr.ml
- Ocamlc   src/whyml/mlw_decl.mli
- Ocamlopt src/whyml/mlw_decl.ml
- Ocamlc   src/whyml/mlw_pretty.mli
- Ocamlopt src/whyml/mlw_pretty.ml
- Ocamlc   src/whyml/mlw_wp.mli
- Ocamlopt src/whyml/mlw_wp.ml
- Ocamlc   src/whyml/mlw_module.mli
- Ocamlopt src/whyml/mlw_module.ml
- Ocamlc   src/whyml/mlw_dexpr.mli
- Ocamlopt src/whyml/mlw_dexpr.ml
- Ocamlc   src/whyml/mlw_typing.mli
- Ocamlopt src/whyml/mlw_typing.ml
- Ocamlc   src/whyml/mlw_driver.mli
- Ocamlopt src/whyml/mlw_driver.ml
- Ocamlc   src/whyml/mlw_exec.mli
- Ocamlopt src/whyml/mlw_exec.ml
- Ocamlc   src/whyml/mlw_ocaml.mli
- Ocamlopt src/whyml/mlw_ocaml.ml
- File "src/whyml/mlw_ocaml.ml", line 742, characters 16-33:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/whyml/mlw_ocaml.ml", line 748, characters 45-64:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/whyml/mlw_ocaml.ml", line 749, characters 45-62:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/whyml/mlw_main.mli
- Ocamlopt src/whyml/mlw_main.ml
- Ocamlc   src/whyml/mlw_interp.mli
- Ocamlopt src/whyml/mlw_interp.ml
- Ocamlc   src/session/compress.mli
- Ocamlopt src/session/compress.ml
- Ocamlc   src/session/xml.mli
- Ocamlopt src/session/xml.ml
- Ocamlc   src/session/termcode.mli
- Ocamlopt src/session/termcode.ml
- Ocamlc   src/session/session.mli
- File "src/session/session.mli", line 529, characters 2-72:
- Warning 50: ambiguous documentation comment
- Ocamlopt src/session/session.ml
- File "src/session/session.ml", line 92, characters 2-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 407, characters 6-191:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 667, characters 4-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1140, characters 4-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1309, characters 8-62:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1351, characters 12-34:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1429, characters 2-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1469, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1497, characters 6-51:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1621, characters 2-73:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1683, characters 8-76:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1852, characters 4-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1925, characters 2-49:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1930, characters 22-66:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1934, characters 8-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1945, characters 12-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2080, characters 2-55:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2081, characters 2-91:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2084, characters 2-49:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2139, characters 2-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2223, characters 2-164:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2243, characters 6-62:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2244, characters 6-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2597, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2604, characters 51-72:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1517, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/session/session.ml", line 1546, characters 16-27:
- Warning 3: deprecated: String.copy
- Ocamlc   src/session/session_tools.mli
- Ocamlopt src/session/session_tools.ml
- File "src/session/session_tools.ml", line 36, characters 4-76:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_tools.ml", line 42, characters 8-61:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/session/strategy.mli
- Ocamlopt src/session/strategy.ml
- Ocamlc   src/session/strategy_parser.mli
- Ocamlopt src/session/strategy_parser.ml
- Ocamlc   src/session/session_scheduler.mli
- File "src/session/session_scheduler.mli", line 265, characters 21-80:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/session/session_scheduler.ml
- File "src/session/session_scheduler.ml", line 91, characters 6-45:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 141, characters 2-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 156, characters 2-50:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 170, characters 2-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 926, characters 4-64:
- Warning 50: unattached documentation comment (ignored)
- Linking  lib/why3/why3.cmx
- Ocamlopt plugins/parser/genequlin.ml
- File "plugins/parser/genequlin.ml", line 63, characters 2-53:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 76, characters 2-50:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 86, characters 2-36:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 94, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 103, characters 2-26:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 107, characters 2-47:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 112, characters 8-106:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 123, characters 2-26:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 125, characters 2-39:
- Warning 50: unattached documentation comment (ignored)
- Linking  lib/plugins/genequlin.cmxs
- Ocamlopt plugins/parser/dimacs.ml
- Linking  lib/plugins/dimacs.cmxs
- Ocamlopt plugins/tptp/tptp_ast.ml
- Ocamlc   plugins/tptp/tptp_parser.mli
- Ocamlopt plugins/tptp/tptp_parser.ml
- Ocamlc   plugins/tptp/tptp_typing.mli
- Ocamlopt plugins/tptp/tptp_typing.ml
- Ocamlc   plugins/tptp/tptp_lexer.mli
- Ocamlopt plugins/tptp/tptp_lexer.ml
- Ocamlc   plugins/tptp/tptp_printer.mli
- Ocamlopt plugins/tptp/tptp_printer.ml
- File "plugins/tptp/tptp_printer.ml", line 33, characters 12-31:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "plugins/tptp/tptp_printer.ml", line 37, characters 12-29:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "plugins/tptp/tptp_printer.ml", line 41, characters 12-29:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Linking  lib/plugins/tptp.cmxs
- Linking  lib/why3/why3.cmxa
- Ocamlopt src/tools/main.ml
- File "src/tools/main.ml", line 99, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- Linking  bin/why3.opt
- Ocamlopt src/tools/why3config.ml
- File "src/tools/why3config.ml", line 117, characters 2-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/tools/why3config.ml", line 122, characters 2-19:
- Warning 50: unattached documentation comment (ignored)
- File "src/tools/why3config.ml", line 135, characters 2-13:
- Warning 50: unattached documentation comment (ignored)
- Linking  bin/why3config.opt
- Ocamlopt src/tools/why3execute.ml
- Linking  bin/why3execute.opt
- Ocamlopt src/tools/why3extract.ml
- Linking  bin/why3extract.opt
- Ocamlopt src/tools/why3prove.ml
- Linking  bin/why3prove.opt
- Ocamlopt src/tools/why3realize.ml
- Linking  bin/why3realize.opt
- Ocamlopt src/tools/why3replay.ml
- Linking  bin/why3replay.opt
- Ocamlopt src/tools/why3wc.ml
- Linking  bin/why3wc.opt
- Ocamlc   src/why3session/why3session_lib.mli
- Ocamlopt src/why3session/why3session_lib.ml
- File "src/why3session/why3session_lib.ml", line 64, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 198, characters 2-16:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 202, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 208, characters 18-45:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 210, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 212, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 214, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 217, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 220, characters 2-15:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 259, characters 14-29:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 252, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- Ocamlopt src/why3session/why3session_copy.ml
- File "src/why3session/why3session_copy.ml", line 99, characters 14-57:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 133, characters 6-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 156, characters 20-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 157, characters 20-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 176, characters 2-61:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 182, characters 2-24:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_info.ml
- File "src/why3session/why3session_info.ml", line 407, characters 6-136:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_latex.ml
- File "src/why3session/why3session_latex.ml", line 302, characters 2-19:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 305, characters 2-44:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 311, characters 2-43:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 314, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_html.ml
- File "src/why3session/why3session_html.ml", line 385, characters 6-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_html.ml", line 532, characters 6-24:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_html.ml", line 542, characters 6-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_rm.ml
- Ocamlopt src/why3session/why3session_output.ml
- File "src/why3session/why3session_output.ml", line 69, characters 12-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 74, characters 12-73:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 76, characters 12-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 92, characters 2-61:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_run.ml
- File "src/why3session/why3session_run.ml", line 184, characters 24-52:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_run.ml", line 311, characters 31-43:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_csv.ml
- File "src/why3session/why3session_csv.ml", line 114, characters 23-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 198, characters 4-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 203, characters 32-47:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 205, characters 6-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 211, characters 6-47:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 254, characters 52-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 274, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 277, characters 2-32:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 293, characters 2-32:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 310, characters 2-57:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 331, characters 2-33:
- Warning 50: unattached documentation comment (ignored)
- Ocamlopt src/why3session/why3session_main.ml
- Linking  bin/why3session.opt
- echo "(* generated automatically at compilation time *)" > drivers/coq-realizations.aux
- echo "(* generated automatically at compilation time *)" > drivers/pvs-realizations.aux
- echo "(* generated automatically at compilation time *)" > drivers/isabelle-realizations.aux
- Ocamlopt lib/ocaml/why3__BigInt_compat.ml
- Ocamlopt lib/ocaml/why3__BigInt.ml
- Ocamlopt lib/ocaml/why3__IntAux.ml
- Ocamlopt lib/ocaml/why3__Array.ml
- Linking  lib/why3/why3extract.cmx
- Linking  lib/why3/why3extract.cmxa
- gcc -Wall -o lib/why3-cpulimit src/tools/cpulimit.c
- Ocamlc   src/why3doc/doc_html.mli
- Ocamlopt src/why3doc/doc_html.ml
- Ocamlc   src/why3doc/doc_def.mli
- Ocamlopt src/why3doc/doc_def.ml
- Ocamlopt src/why3doc/doc_lexer.ml
- Ocamlopt src/why3doc/doc_main.ml
- Linking  bin/why3doc.opt
- Ocamlc   plugins/parser/genequlin.ml
- File "plugins/parser/genequlin.ml", line 63, characters 2-53:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 76, characters 2-50:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 86, characters 2-36:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 94, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 103, characters 2-26:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 107, characters 2-47:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 112, characters 8-106:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 123, characters 2-26:
- Warning 50: unattached documentation comment (ignored)
- File "plugins/parser/genequlin.ml", line 125, characters 2-39:
- Warning 50: unattached documentation comment (ignored)
- Linking  lib/plugins/genequlin.cmo
- Ocamlc   plugins/parser/dimacs.ml
- Linking  lib/plugins/dimacs.cmo
- Ocamlc   plugins/tptp/tptp_ast.ml
- Ocamlc   plugins/tptp/tptp_parser.ml
- Ocamlc   plugins/tptp/tptp_typing.ml
- Ocamlc   plugins/tptp/tptp_lexer.ml
- Ocamlc   plugins/tptp/tptp_printer.ml
- File "plugins/tptp/tptp_printer.ml", line 33, characters 12-31:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "plugins/tptp/tptp_printer.ml", line 37, characters 12-29:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "plugins/tptp/tptp_printer.ml", line 41, characters 12-29:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Linking  lib/plugins/tptp.cmo
- Ocamlc   src/util/config.ml
- Ocamlc   src/util/bigInt.ml
- Ocamlc   src/util/util.ml
- Ocamlc   src/util/opt.ml
- Ocamlc   src/util/lists.ml
- Ocamlc   src/util/strings.ml
- File "src/util/strings.ml", line 36, characters 12-25:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/strings.ml", line 38, characters 4-15:
- Warning 3: deprecated: String.fill
- Use Bytes.fill instead.
- Ocamlc   src/util/extmap.ml
- Ocamlc   src/util/extset.ml
- Ocamlc   src/util/exthtbl.ml
- Ocamlc   src/util/weakhtbl.ml
- File "src/util/weakhtbl.ml", line 172, characters 4-68:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/util/hashcons.ml
- Ocamlc   src/util/stdlib.ml
- Ocamlc   src/util/exn_printer.ml
- Ocamlc   src/util/pp.ml
- Ocamlc   src/util/debug.ml
- File "src/util/debug.ml", line 67, characters 2-69:
- Warning 50: unattached documentation comment (ignored)
- File "src/util/debug.ml", line 181, characters 0-37:
- Warning 50: ambiguous documentation comment
- File "src/util/debug.ml", line 183, characters 2-69:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/util/loc.ml
- Ocamlc   src/util/lexlib.ml
- File "src/util/lexlib.mll", line 101, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/lexlib.mll", line 103, characters 46-56:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/print_tree.ml
- Ocamlc   src/util/cmdline.ml
- File "src/util/cmdline.ml", line 46, characters 16-29:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/cmdline.ml", line 48, characters 10-20:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/warning.ml
- Ocamlc   src/util/sysutil.ml
- Ocamlc   src/util/rc.ml
- File "src/util/rc.mll", line 67, characters 13-26:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/util/rc.mll", line 73, characters 10-27:
- Warning 3: deprecated: String.unsafe_set
- File "src/util/rc.mll", line 76, characters 6-23:
- Warning 3: deprecated: String.unsafe_set
- Ocamlc   src/util/plugin.ml
- Ocamlc   src/util/number.ml
- File "src/util/number.ml", line 161, characters 14-25:
- Warning 3: deprecated: String.copy
- File "src/util/number.ml", line 161, characters 31-44:
- Warning 3: deprecated: String.set
- Use Bytes.set instead.
- Ocamlc   src/util/pqueue.ml
- Ocamlc   src/core/ident.ml
- File "src/core/ident.ml", line 186, characters 23-42:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/core/ident.ml", line 187, characters 23-40:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/core/ty.ml
- Ocamlc   src/core/term.ml
- Ocamlc   src/core/pattern.ml
- Ocamlc   src/core/decl.ml
- Ocamlc   src/core/theory.ml
- Ocamlc   src/core/task.ml
- Ocamlc   src/core/pretty.ml
- File "src/core/pretty.ml", line 71, characters 18-37:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/core/pretty.ml", line 97, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/core/pretty.ml", line 111, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/core/dterm.ml
- Ocamlc   src/core/env.ml
- Ocamlc   src/core/trans.ml
- Ocamlc   src/core/printer.ml
- Ocamlc   src/core/model_parser.ml
- Ocamlc   src/driver/call_provers.ml
- Ocamlc   src/driver/driver_ast.ml
- Ocamlc   src/driver/driver_parser.ml
- Ocamlc   src/driver/driver_lexer.ml
- Ocamlc   src/driver/driver.ml
- Ocamlc   src/driver/whyconf.ml
- File "src/driver/whyconf.ml", line 37, characters 30-60:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 316, characters 2-33:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 321, characters 2-39:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 324, characters 2-24:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 656, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 665, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 670, characters 2-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 684, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 701, characters 2-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/whyconf.ml", line 711, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/driver/autodetection.ml
- File "src/driver/autodetection.ml", line 151, characters 4-97:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 288, characters 4-142:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 294, characters 2-38:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 333, characters 2-109:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 367, characters 6-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 368, characters 32-63:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 377, characters 11-46:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 380, characters 4-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 428, characters 6-214:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 503, characters 4-40:
- Warning 50: unattached documentation comment (ignored)
- File "src/driver/autodetection.ml", line 187, characters 14-22:
- Warning 52: the argument of this constructor should not be matched against a
- constant pattern; the actual value of the argument could change
- in the future.
- File "src/driver/autodetection.ml", line 205, characters 14-22:
- Warning 52: the argument of this constructor should not be matched against a
- constant pattern; the actual value of the argument could change
- in the future.
- Ocamlc   src/driver/parse_cvc4_z3_model.ml
- Ocamlc   src/mlw/ity.ml
- Ocamlc   src/mlw/expr.ml
- File "src/mlw/expr.ml", line 440, characters 34-46:
- Warning 48: implicit elimination of optional argument ?loc
- Ocamlc   src/mlw/dexpr.ml
- Ocamlc   src/parser/ptree.ml
- Ocamlc   src/parser/glob.ml
- Ocamlc   src/parser/parser.ml
- Ocamlc   src/parser/typing.ml
- Ocamlc   src/parser/lexer.ml
- Ocamlc   src/transform/simplify_formula.ml
- File "src/transform/simplify_formula.ml", line 61, characters 6-85:
- Warning 57: Ambiguous or-pattern variables under guard;
- variables t,tv,vs may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/inlining.ml
- Ocamlc   src/transform/split_goal.ml
- Ocamlc   src/transform/induction.ml
- Ocamlc   src/transform/detect_polymorphism.ml
- Ocamlc   src/transform/eliminate_definition.ml
- Ocamlc   src/transform/eliminate_algebraic.ml
- Ocamlc   src/transform/eliminate_inductive.ml
- Ocamlc   src/transform/eliminate_let.ml
- Ocamlc   src/transform/eliminate_if.ml
- Ocamlc   src/transform/libencoding.ml
- Ocamlc   src/transform/discriminate.ml
- Ocamlc   src/transform/encoding.ml
- Ocamlc   src/transform/encoding_select.ml
- Ocamlc   src/transform/encoding_guards_full.ml
- File "src/transform/encoding_guards_full.ml", line 62, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/transform/encoding_guards_full.ml", line 71, characters 2-15:
- Warning 50: unattached documentation comment (ignored)
- File "src/transform/encoding_guards_full.ml", line 145, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/transform/encoding_tags_full.ml
- Ocamlc   src/transform/encoding_guards.ml
- Ocamlc   src/transform/encoding_tags.ml
- Ocamlc   src/transform/encoding_twin.ml
- Ocamlc   src/transform/encoding_sort.ml
- Ocamlc   src/transform/simplify_array.ml
- Ocamlc   src/transform/filter_trigger.ml
- Ocamlc   src/transform/introduction.ml
- Ocamlc   src/transform/abstraction.ml
- Ocamlc   src/transform/close_epsilon.ml
- Ocamlc   src/transform/lift_epsilon.ml
- Ocamlc   src/transform/eliminate_epsilon.ml
- File "src/transform/eliminate_epsilon.ml", line 79, characters 4-93:
- Warning 57: Ambiguous or-pattern variables under guard;
- variable t2 may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/intro_projections_counterexmp.ml
- Ocamlc   src/transform/eval_match.ml
- File "src/transform/eval_match.ml", line 99, characters 6-69:
- Warning 57: Ambiguous or-pattern variables under guard;
- variable cs may match different arguments. (See manual section 8.5)
- Ocamlc   src/transform/instantiate_predicate.ml
- Ocamlc   src/transform/smoke_detector.ml
- Ocamlc   src/transform/reduction_engine.ml
- Ocamlc   src/transform/compute.ml
- Ocamlc   src/transform/induction_pr.ml
- Ocamlc   src/transform/prop_curry.ml
- Ocamlc   src/printer/alt_ergo.ml
- Ocamlc   src/printer/why3printer.ml
- File "src/printer/why3printer.ml", line 51, characters 18-37:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/printer/why3printer.ml", line 58, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/printer/why3printer.ml", line 68, characters 18-35:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/printer/smtv1.ml
- Ocamlc   src/printer/smtv2.ml
- File "src/printer/smtv2.ml", line 35, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 36, characters 5-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 43, characters 6-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 49, characters 6-23:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 51, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 65, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/smtv2.ml", line 73, characters 6-20:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/coq.ml
- File "src/printer/coq.ml", line 422, characters 4-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 434, characters 4-34:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 811, characters 2-154:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/coq.ml", line 481, characters 14-27:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- Ocamlc   src/printer/pvs.ml
- Ocamlc   src/printer/isabelle.ml
- File "src/printer/isabelle.ml", line 329, characters 2-159:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/simplify.ml
- Ocamlc   src/printer/gappa.ml
- Ocamlc   src/printer/cvc3.ml
- File "src/printer/cvc3.ml", line 30, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 31, characters 5-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 34, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/cvc3.ml", line 39, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/yices.ml
- File "src/printer/yices.ml", line 30, characters 4-25:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 31, characters 5-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 34, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/printer/yices.ml", line 39, characters 7-26:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/printer/mathematica.ml
- Ocamlc   src/whyml/mlw_ty.ml
- Ocamlc   src/whyml/mlw_expr.ml
- Ocamlc   src/whyml/mlw_decl.ml
- Ocamlc   src/whyml/mlw_pretty.ml
- Ocamlc   src/whyml/mlw_wp.ml
- Ocamlc   src/whyml/mlw_module.ml
- Ocamlc   src/whyml/mlw_dexpr.ml
- Ocamlc   src/whyml/mlw_typing.ml
- Ocamlc   src/whyml/mlw_driver.ml
- Ocamlc   src/whyml/mlw_exec.ml
- Ocamlc   src/whyml/mlw_ocaml.ml
- File "src/whyml/mlw_ocaml.ml", line 742, characters 16-33:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- File "src/whyml/mlw_ocaml.ml", line 748, characters 45-64:
- Warning 3: deprecated: String.uncapitalize
- Use String.uncapitalize_ascii instead.
- File "src/whyml/mlw_ocaml.ml", line 749, characters 45-62:
- Warning 3: deprecated: String.capitalize
- Use String.capitalize_ascii instead.
- Ocamlc   src/whyml/mlw_main.ml
- Ocamlc   src/whyml/mlw_interp.ml
- Ocamlc   src/session/compress.ml
- Ocamlc   src/session/xml.ml
- Ocamlc   src/session/termcode.ml
- Ocamlc   src/session/session.ml
- File "src/session/session.ml", line 92, characters 2-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 407, characters 6-191:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 667, characters 4-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1140, characters 4-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1309, characters 8-62:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1351, characters 12-34:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1429, characters 2-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1469, characters 6-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1497, characters 6-51:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1621, characters 2-73:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1683, characters 8-76:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1852, characters 4-30:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1925, characters 2-49:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1930, characters 22-66:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1934, characters 8-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1945, characters 12-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2080, characters 2-55:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2081, characters 2-91:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2084, characters 2-49:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2139, characters 2-48:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2223, characters 2-164:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2243, characters 6-62:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2244, characters 6-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2597, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 2604, characters 51-72:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session.ml", line 1517, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- File "src/session/session.ml", line 1546, characters 16-27:
- Warning 3: deprecated: String.copy
- Ocamlc   src/session/session_tools.ml
- File "src/session/session_tools.ml", line 36, characters 4-76:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_tools.ml", line 42, characters 8-61:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/session/strategy.ml
- Ocamlc   src/session/strategy_parser.ml
- Ocamlc   src/session/session_scheduler.ml
- File "src/session/session_scheduler.ml", line 91, characters 6-45:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 141, characters 2-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 156, characters 2-50:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 170, characters 2-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/session/session_scheduler.ml", line 926, characters 4-64:
- Warning 50: unattached documentation comment (ignored)
- Linking  lib/why3/why3.cmo
- Linking  lib/why3/why3.cma
- Ocamlc   src/tools/main.ml
- File "src/tools/main.ml", line 99, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- Linking  bin/why3.byte
- Ocamlc   src/tools/why3config.ml
- File "src/tools/why3config.ml", line 117, characters 2-31:
- Warning 50: unattached documentation comment (ignored)
- File "src/tools/why3config.ml", line 122, characters 2-19:
- Warning 50: unattached documentation comment (ignored)
- File "src/tools/why3config.ml", line 135, characters 2-13:
- Warning 50: unattached documentation comment (ignored)
- Linking  bin/why3config.byte
- Ocamlc   src/tools/why3execute.ml
- Linking  bin/why3execute.byte
- Ocamlc   src/tools/why3extract.ml
- Linking  bin/why3extract.byte
- Ocamlc   src/tools/why3prove.ml
- Linking  bin/why3prove.byte
- Ocamlc   src/tools/why3realize.ml
- Linking  bin/why3realize.byte
- Ocamlc   src/tools/why3replay.ml
- Linking  bin/why3replay.byte
- Ocamlc   src/tools/why3wc.ml
- Linking  bin/why3wc.byte
- Ocamlc   src/why3session/why3session_lib.ml
- File "src/why3session/why3session_lib.ml", line 64, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 198, characters 2-16:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 202, characters 2-20:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 208, characters 18-45:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 210, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 212, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 214, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 217, characters 2-17:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 220, characters 2-15:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 259, characters 14-29:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_lib.ml", line 252, characters 10-23:
- Warning 3: deprecated: String.create
- Use Bytes.create instead.
- Ocamlc   src/why3session/why3session_copy.ml
- File "src/why3session/why3session_copy.ml", line 99, characters 14-57:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 133, characters 6-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 156, characters 20-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 157, characters 20-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 176, characters 2-61:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_copy.ml", line 182, characters 2-24:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_info.ml
- File "src/why3session/why3session_info.ml", line 407, characters 6-136:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_latex.ml
- File "src/why3session/why3session_latex.ml", line 302, characters 2-19:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 305, characters 2-44:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 311, characters 2-43:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_latex.ml", line 314, characters 2-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_html.ml
- File "src/why3session/why3session_html.ml", line 385, characters 6-28:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_html.ml", line 532, characters 6-24:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_html.ml", line 542, characters 6-28:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_rm.ml
- Ocamlc   src/why3session/why3session_output.ml
- File "src/why3session/why3session_output.ml", line 69, characters 12-74:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 74, characters 12-73:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 76, characters 12-35:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_output.ml", line 92, characters 2-61:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_run.ml
- File "src/why3session/why3session_run.ml", line 184, characters 24-52:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_run.ml", line 311, characters 31-43:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_csv.ml
- File "src/why3session/why3session_csv.ml", line 114, characters 23-56:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 198, characters 4-26:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 203, characters 32-47:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 205, characters 6-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 211, characters 6-47:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 254, characters 52-65:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 274, characters 2-22:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 277, characters 2-32:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 293, characters 2-32:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 310, characters 2-57:
- Warning 50: unattached documentation comment (ignored)
- File "src/why3session/why3session_csv.ml", line 331, characters 2-33:
- Warning 50: unattached documentation comment (ignored)
- Ocamlc   src/why3session/why3session_main.ml
- Linking  bin/why3session.byte
- Ocamlc   lib/ocaml/why3__BigInt_compat.ml
- Ocamlc   lib/ocaml/why3__BigInt.ml
- Ocamlc   lib/ocaml/why3__IntAux.ml
- Ocamlc   lib/ocaml/why3__Array.ml
- Linking  lib/why3/why3extract.cmo
- Linking  lib/why3/why3extract.cma
- Ocamlc   src/why3doc/doc_html.ml
- Ocamlc   src/why3doc/doc_def.ml
- Ocamlc   src/why3doc/doc_lexer.ml
- Ocamlc   src/why3doc/doc_main.ml
- Linking  bin/why3doc.byte
-> compiled  why3-base.0.86.2
Processing 18/18: [why3-base: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "install-lib" (CWD=/home/opam/.opam/4.03/.opam-switch/build/why3-base.0.86.2)
- rm -rf /home/opam/.opam/4.03/lib/why3
- rm -rf /home/opam/.opam/4.03/share/why3
- rm -rf /home/opam/.opam/4.03/lib/why3
- rm -f /home/opam/.opam/4.03/share/emacs/site-lisp/why3.el
- rm -f /home/opam/.opam/4.03/lib/why3/commands/why3config /home/opam/.opam/4.03/lib/why3/commands/why3execute /home/opam/.opam/4.03/lib/why3/commands/why3extract /home/opam/.opam/4.03/lib/why3/commands/why3prove /home/opam/.opam/4.03/lib/why3/commands/why3realize /home/opam/.opam/4.03/lib/why3/commands/why3replay /home/opam/.opam/4.03/lib/why3/commands/why3wc /home/opam/.opam/4.03/bin/why3
- rm -f /home/opam/.opam/4.03/bin/why3bench /home/opam/.opam/4.03/bin/why3replayer
- rm -f /home/opam/.opam/4.03/bin/why3session
- rm -f /home/opam/.opam/4.03/bin/why3doc
- if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then rm -f /etc/bash_completion.d/why3; fi
- mkdir -p /home/opam/.opam/4.03/bin
- mkdir -p /home/opam/.opam/4.03/lib/why3
- mkdir -p /home/opam/.opam/4.03/lib/why3/commands
- mkdir -p /home/opam/.opam/4.03/share/why3
- mkdir -p /home/opam/.opam/4.03/share/why3/images
- mkdir -p /home/opam/.opam/4.03/share/why3/images/boomy
- mkdir -p /home/opam/.opam/4.03/share/why3/images/fatcow
- mkdir -p /home/opam/.opam/4.03/share/why3/vim
- mkdir -p /home/opam/.opam/4.03/share/why3/lang
- mkdir -p /home/opam/.opam/4.03/share/why3/theories
- mkdir -p /home/opam/.opam/4.03/share/why3/modules/mach
- mkdir -p /home/opam/.opam/4.03/share/why3/drivers
- mkdir -p /home/opam/.opam/4.03/share/emacs/site-lisp/
- cp -f theories/*.why /home/opam/.opam/4.03/share/why3/theories
- cp -f modules/*.mlw /home/opam/.opam/4.03/share/why3/modules
- cp -f modules/mach/*.mlw /home/opam/.opam/4.03/share/why3/modules/mach
- cp -f drivers/*.drv drivers/*.gen /home/opam/.opam/4.03/share/why3/drivers
- cp -f LICENSE /home/opam/.opam/4.03/share/why3/
- cp -f share/provers-detection-data.conf /home/opam/.opam/4.03/share/why3/
- cp -f share/images/icons.rc /home/opam/.opam/4.03/share/why3/images
- cp -f share/images/*.png /home/opam/.opam/4.03/share/why3/images
- cp -f share/images/boomy/* /home/opam/.opam/4.03/share/why3/images/boomy
- cp -f share/images/fatcow/* /home/opam/.opam/4.03/share/why3/images/fatcow
- cp -f share/why3session.dtd /home/opam/.opam/4.03/share/why3
- cp -f share/Makefile.config /home/opam/.opam/4.03/share/why3
- cp -rf share/javascript /home/opam/.opam/4.03/share/why3/javascript
- cp -f share/vim/why3.vim /home/opam/.opam/4.03/share/why3/vim/why3.vim
- cp -f share/lang/why3.lang /home/opam/.opam/4.03/share/why3/lang/why3.lang
- cp -f share/emacs/why3.el /home/opam/.opam/4.03/share/emacs/site-lisp/why3.el
- mkdir -p /home/opam/.opam/4.03/lib/why3/plugins
- cp -f lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs /home/opam/.opam/4.03/lib/why3/plugins
- cp -f bin/why3.opt /home/opam/.opam/4.03/bin/why3
- cp -f bin/why3config.opt  /home/opam/.opam/4.03/lib/why3/commands/why3config
- cp -f bin/why3execute.opt /home/opam/.opam/4.03/lib/why3/commands/why3execute
- cp -f bin/why3extract.opt /home/opam/.opam/4.03/lib/why3/commands/why3extract
- cp -f bin/why3prove.opt   /home/opam/.opam/4.03/lib/why3/commands/why3prove
- cp -f bin/why3realize.opt /home/opam/.opam/4.03/lib/why3/commands/why3realize
- cp -f bin/why3replay.opt  /home/opam/.opam/4.03/lib/why3/commands/why3replay
- cp -f bin/why3wc.opt      /home/opam/.opam/4.03/lib/why3/commands/why3wc
- cp -f bin/why3session.opt /home/opam/.opam/4.03/lib/why3/commands/why3session
- cp drivers/coq-realizations.aux /home/opam/.opam/4.03/share/why3/drivers/
- cp drivers/pvs-realizations.aux /home/opam/.opam/4.03/share/why3/drivers/
- cp drivers/isabelle-realizations.aux /home/opam/.opam/4.03/share/why3/drivers/
- cp -f lib/why3-cpulimit /home/opam/.opam/4.03/lib/why3/why3-cpulimit
- cp -f lib/why3-call-pvs /home/opam/.opam/4.03/lib/why3/why3-call-pvs
- cp -f bin/why3doc.opt /home/opam/.opam/4.03/lib/why3/commands/why3doc
- if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then cp -f share/bash/why3 /etc/bash_completion.d; fi
- mkdir -p /home/opam/.opam/4.03/lib/why3
- cp -f lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa \
- 	lib/why3/META /home/opam/.opam/4.03/lib/why3
- mkdir -p /home/opam/.opam/4.03/lib/why3
- cp -f lib/why3/why3extract.a lib/why3/why3extract.cma lib/why3/why3extract.cmx lib/why3/why3extract.cmi lib/why3/why3extract.cmxa \
-   /home/opam/.opam/4.03/lib/why3
-> installed why3-base.0.86.2
Done.
# Run eval $(opam env) to update the current shell environment
2022-11-04 03:52.02 ---> saved as "0200fb4b14a20a6e28443b9546afff0dda0c0acbf5e86be41945afaa1c50bad2"
Job succeeded