OCamllabs icon Home|Differences with the last checks|Previous runs


Building on x86-bm-3.ocamllabs.io

(from ocaml/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
68135aa25935: Already exists
8d0c9bba2586: Already exists
9fb9dc49cd29: Pulling fs layer
9fb9dc49cd29: Verifying Checksum
9fb9dc49cd29: Download complete
9fb9dc49cd29: Pull complete
Digest: sha256:08e91442c23cab4d184b2d9ddcde932a884dba3bc56949b94c27a81f1b4aa907
Status: Downloaded newer image for ocaml/opam:debian-unstable
2021-10-21 05:47.54 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" 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-2.1 /usr/bin/opam"))
2021-10-21 05:47.54 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" from cache

/: (run (network host)
        (shell "rm -rf ~/opam-repository && git clone -q 'git://github.com/ocaml/opam-repository.git' ~/opam-repository && git -C ~/opam-repository checkout -q 53ec9a45898dcacb426391da813c036212d8d3e6"))
2021-10-21 05:47.54 ---> using "9e3c71f07cb8650e76491f4ea4380e82b420e7db844fb7309f51d1856544743c" 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.

2021-10-21 05:47.54 ---> using "27d1597f48f02b6b36c95df57225917e30e08bb54134379907bf74408f22b37a" from cache

/: (run (network host)
        (shell "git clone -q 'git://github.com/kit-ty-kate/multicore-opam.git' ~/'multicore' && git -C ~/'multicore' checkout -q f7d7c872ca1a40604219336dd1396c7873215005"))
2021-10-21 05:47.54 ---> using "6bddf57bc0a6e6d09869c0fa03a31ac63b5e62bd07859f843055286df02c2c0c" from cache

/: (run (shell "opam repository add --dont-select 'multicore' ~/'multicore'"))
[multicore] Initialised
2021-10-21 05:47.54 ---> using "848dc19b3061c50bbb8d2091adb8c29c6877c8906b6aeef2e1074d985eca8453" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=multicore,default 4.12.0+nnpchecker"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "4.12.0+nnpchecker"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-option-nnpchecker.1
-> retrieved ocaml-variants.4.12.0+nnpchecker  (https://github.com/kit-ty-kate/ocaml/archive/nnpchecker.tar.gz)
-> installed ocaml-variants.4.12.0+nnpchecker
-> installed ocaml-config.2
-> installed ocaml.4.12.0
Done.
# Run eval $(opam env --switch=4.12.0+nnpchecker) to update the current shell environment
2021-10-21 05:47.54 ---> using "4d246d2b5e67ec352bf464d28972c37a3e71c7ca8318ec27ced37d2df09004fa" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-10-20-2007.27-F-2021-10-15-1401.30.pdiff [286 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2021-10-20-2007.27-F-2021-10-15-1401.30.pdiff [286 kB]
- Fetched 515 kB in 3s (153 kB/s)
- Reading package lists...
- 
2021-10-21 05:47.54 ---> using "eadc05e85a734f8b69a04ebecc0d4345b67c2ceba550baa790e23058791fe480" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell  "\
               \nopam remove -y \"gadelac.0.6.1\"\
               \nopam install -vy \"gadelac.0.6.1\"\
               \nres=$?\
               \nif [ $res = 31 ]; then\
               \n    if opam show -f x-ci-accept-failures: \"gadelac.0.6.1\" | grep -q '\"debian-unstable\"'; then\
               \n        echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
               \n        exit 69\
               \n    fi\
               \nfi\
               \n\
               \nif [ $res = 0 ]; then\
               \n    opam remove -y \"gadelac.0.6.1\"\
               \n    opam install -vty \"gadelac.0.6.1\"\
               \n    res=$?\
               \n    if [ $res = 20 ]; then\
               \n        res=0\
               \n    fi\
               \nfi\
               \n\
               \n\
               \nexit $res\
               \n"))
Nothing to do.
[NOTE] gadelac.0.6.1 is not installed.

The following actions will be performed:
  - install dune       2.9.1    [required by menhir]
  - install ocamlbuild 0.14.0   [required by gadelac]
  - install menhirSdk  20211012 [required by menhir]
  - install menhirLib  20211012 [required by menhir]
  - install menhir     20211012 [required by gadelac]
  - install gadelac    0.6.1
===== 6 to install =====

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/18:
Processing  2/18:
Processing  3/18:
-> retrieved gadelac.0.6.1  (cached)
Processing  4/18:
-> retrieved menhir.20211012  (cached)
Processing  5/18:
-> retrieved menhirLib.20211012  (cached)
Processing  6/18:
-> retrieved menhirSdk.20211012  (cached)
-> retrieved ocamlbuild.0.14.0  (cached)
Processing  7/18: [ocamlbuild: make configure.make]
-> retrieved dune.2.9.1  (cached)
Processing  8/18: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.12.0+nnpchecker" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.12.0+nnpchecker/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.12.0+nnpchecker/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.12.0+nnpchecker/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.12.0+nnpchecker/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.12.0+nnpchecker/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.12.0+nnpchecker/man"; \
- 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.12.0+nnpchecker"; \
- echo "BINDIR=/home/opam/.opam/4.12.0+nnpchecker/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.12.0+nnpchecker/lib"; \
- echo "MANDIR=/home/opam/.opam/4.12.0+nnpchecker/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.12.0+nnpchecker/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.12.0+nnpchecker/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.12.0+nnpchecker/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.12.0+nnpchecker/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- 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.14.0"'; \
- ) > src/ocamlbuild_config.ml
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.12.0+nnpchecker/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.12.0+nnpchecker/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.12.0+nnpchecker/man"; \
- 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.12.0+nnpchecker"; \
- echo "BINDIR=/home/opam/.opam/4.12.0+nnpchecker/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.12.0+nnpchecker/lib"; \
- echo "MANDIR=/home/opam/.opam/4.12.0+nnpchecker/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.12.0+nnpchecker/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.12.0+nnpchecker/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.12.0+nnpchecker/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.12.0+nnpchecker/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- 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.14.0"'; \
- ) > src/ocamlbuild_config.ml
Processing  8/18: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0)
- if test -d /home/opam/.opam/4.12.0+nnpchecker/lib/ocaml/ocamlbuild; then\
-   >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
-        "/home/opam/.opam/4.12.0+nnpchecker/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 -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       let compare = Pervasives.compare
-                           ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -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 -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -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 -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- mkdir -p tmp
- 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/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o src/ocamlbuildlib.cma src/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 -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       let compare = Pervasives.compare
-                           ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- mkdir -p tmp
- 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/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo '  "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo '  "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'man: [' >> ocamlbuild.install
- echo '  "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'doc: [' >> ocamlbuild.install
- echo '  "LICENSE"' >> ocamlbuild.install
- echo '  "Changes"' >> ocamlbuild.install
- echo '  "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make[1]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- if test -d /home/opam/.opam/4.12.0+nnpchecker/lib/ocaml/ocamlbuild; then\
-   >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
-        "/home/opam/.opam/4.12.0+nnpchecker/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 -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       let compare = Pervasives.compare
-                           ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -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 -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -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 -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- mkdir -p tmp
- 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/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli
- ocamlc.opt -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o src/ocamlbuildlib.cma src/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 -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- File "src/my_std.ml", line 127, characters 20-38:
- 127 |       let compare = Pervasives.compare
-                           ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- File "src/main.ml", line 289, characters 4-19:
- 289 |     Pervasives.exit rc
-           ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 310, characters 10-25:
- 310 |           Pervasives.exit rc_ok
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/main.ml", line 313, characters 10-25:
- 313 |           Pervasives.exit rc
-                 ^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- mkdir -p tmp
- 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/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- File "src/ocamlbuild_executor.ml", line 86, characters 24-41:
- 86 |   ?(display=(fun f -> f Pervasives.stdout))
-                              ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
- 
- If you need to stay compatible with OCaml < 4.07, you can use the 
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w L -w R -w Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo '  "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo '  "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/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.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'man: [' >> ocamlbuild.install
- echo '  "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- echo 'doc: [' >> ocamlbuild.install
- echo '  "LICENSE"' >> ocamlbuild.install
- echo '  "Changes"' >> ocamlbuild.install
- echo '  "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
- make[1]: Leaving directory '/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/ocamlbuild.0.14.0'
-> compiled  ocamlbuild.0.14.0
Processing  8/18: [dune: ocaml bootstrap.ml]
-> installed ocamlbuild.0.14.0
Processing  9/18: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/dune.2.9.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
- 

Processing  9/18: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "-p" "dune" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/dune.2.9.1)
-> compiled  dune.2.9.1
-> installed dune.2.9.1
Processing 11/18: [menhirLib: dune build]
Processing 12/18: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "31" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/menhirSdk.20211012)
-> compiled  menhirSdk.20211012
Processing 12/18: [menhirLib: dune build]
-> installed menhirSdk.20211012
Processing 13/18: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "31" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/menhirLib.20211012)
-         pack lib/pack/menhirLib.{ml,mli}
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled  menhirLib.20211012
-> installed menhirLib.20211012
Processing 15/18: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "31" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/menhir.20211012)
-       menhir src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
-       menhir src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-       menhir src/stage2/parser.{ml,mli}
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 48 out of 96 symbols keep track of their end position.
- The action table is 11324 entries; 1610 non-zero; 1359 compressed.
- The action table occupies roughly 2816 bytes.
- The goto table is 16986 entries; 329 non-zero; 636 compressed.
- The goto table occupies roughly 1368 bytes.
- The error table occupies roughly 1448 bytes.
- The default_reduction table occupies roughly 336 bytes.
- The lhs table occupies roughly 168 bytes.
- The trace table occupies roughly 8 bytes.
-> compiled  menhir.20211012
-> installed menhir.20211012
Processing 17/18: [gadelac: make gadelac]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "gadelac" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 |   with Not_found -> String.copy original
-                          ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
-                                                         ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 9.5)
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -pack Utils/Bool.cmo Utils/Choice.cmo Utils/MStack.cmo Utils/Function.cmo Utils/PList.cmo Utils/Print.cmo Utils/DataStructure.cmo Utils/Int.cmo Utils/Matrix.cmo Utils/MString.cmo Utils/Option.cmo Utils/Rand.cmo Utils/Read.cmo Utils/Time.cmo -o Utils.cmo
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules C.ml > C.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o C.cmo C.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o C.cmo C.ml
- File "C.ml", line 84, characters 90-94:
- 84 |   | I.KBGet   (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
-                                                                                                ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Main.cmo Main.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 |   with Not_found -> String.copy original
-                          ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
-                                                         ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 9.5)
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- touch Utils.mli  ; if  /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -pack -I Utils Utils/Bool.cmx Utils/Choice.cmx Utils/Function.cmx Utils/MStack.cmx Utils/PList.cmx Utils/Print.cmx Utils/DataStructure.cmx Utils/Int.cmx Utils/Matrix.cmx Utils/MString.cmx Utils/Option.cmx Utils/Rand.cmx Utils/Read.cmx Utils/Time.cmx -o Utils.cmx  ; then  rm -f Utils.mli  ; else  rm -f Utils.mli  ; exit 1; fi
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- File "Ast.ml", line 103, characters 34-50:
- 103 | let predicate pred arity = match (String.lowercase pred, arity) with
-                                         ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 124, characters 37-53:
- 124 |   | S.Positive (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Distinct (term t1, term t2)
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 125, characters 37-53:
- 125 |   | S.Negative (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Equal    (term t1, term t2)
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 126, characters 53-69:
- 126 |   | S.Positive (pred, _) | S.Negative (pred, _) when String.lowercase pred = "distinct" -> failwith "distinct used with the wrong number of arguments."
-                                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamllex.opt -q Lexer.mll
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- menhir --raw-depend --ocamldep '/home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- menhir --ocamlc /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt --infer Parser.mly
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- File "Frequency.ml", line 12, characters 25-41:
- 12 | let read_param s = match String.lowercase s with
-                               ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Context.cmi Context.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- File "ASP.ml", line 5, characters 29-46:
- 5 |   let upcs = Utils.PList.map String.capitalize vars in
-                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "ASP.ml", line 10, characters 47-64:
- 10 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
-                                                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o C.cmx C.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- File "Prolog.ml", line 6, characters 47-64:
- 6 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
-                                                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o C.cmx C.ml
- File "C.ml", line 84, characters 90-94:
- 84 |   | I.KBGet   (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
-                                                                                                ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt str.cmxa unix.cmxa Logic.cmx Utils.cmx Ast.cmx Parser.cmx Lexer.cmx Variable.cmx Unification.cmx Desugared.cmx Pred.cmx Symbol.cmx Analysis.cmx Frequency.cmx Temporize.cmx ASP.cmx Domain.cmx Safety.cmx Reachability.cmx ComputeRigids.cmx GAtomic.cmx GTerm.cmx Annotations.cmx Generate.cmx Stratify.cmx Normal.cmx Inversion.cmx Grouping.cmx Scope.cmx PreInstruction.cmx Instructions.cmx C.cmx CLIPS.cmx Context.cmx Inlining.cmx Frame.cmx Ground.cmx MergeRigids.cmx Specialization.cmx Optimization.cmx CommandLine.cmx OCaml.cmx Prolog.cmx Transformations.cmx Main.cmx -o Main.native
- # Parallel statistics: { count(total): 15(179), max: 13, min: 2, average(total): 4.067(1.257) }
- cp Src/_build/Main.native gadelac
-> compiled  gadelac.0.6.1
-> installed gadelac.0.6.1
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - remove gadelac 0.6.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> removed   gadelac.0.6.1
Done.
# Run eval $(opam env) to update the current shell environment
The following actions will be performed:
  - install gadelac 0.6.1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  1/3:
-> retrieved gadelac.0.6.1  (cached)
Processing  2/3: [gadelac: make gadelac]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "gadelac" (CWD=/home/opam/.opam/4.12.0+nnpchecker/.opam-switch/build/gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 |   with Not_found -> String.copy original
-                          ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
-                                                         ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 9.5)
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -pack Utils/Bool.cmo Utils/Choice.cmo Utils/MStack.cmo Utils/Function.cmo Utils/PList.cmo Utils/Print.cmo Utils/DataStructure.cmo Utils/Int.cmo Utils/Matrix.cmo Utils/MString.cmo Utils/Option.cmo Utils/Rand.cmo Utils/Read.cmo Utils/Time.cmo -o Utils.cmo
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules C.ml > C.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o C.cmo C.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o C.cmo C.ml
- File "C.ml", line 84, characters 90-94:
- 84 |   | I.KBGet   (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
-                                                                                                ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Main.cmo Main.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- File "Utils/MString.ml", line 19, characters 20-31:
- 19 |   with Not_found -> String.copy original
-                          ^^^^^^^^^^^
- Alert deprecated: Stdlib.String.copy
- Strings now immutable: no need to copy
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- File "Utils/Read.ml", line 1, characters 19-35:
- 1 | let bool s = match String.lowercase s with
-                        ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Utils/Read.ml", line 6, characters 52-67:
- 6 | let int s = try Some (int_of_string s) with Failure "int_of_string" -> None
-                                                         ^^^^^^^^^^^^^^^
- Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of
- this constructor's arguments. They are only for information
- and may change in future versions. (See manual section 9.5)
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- touch Utils.mli  ; if  /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -pack -I Utils Utils/Bool.cmx Utils/Choice.cmx Utils/Function.cmx Utils/MStack.cmx Utils/PList.cmx Utils/Print.cmx Utils/DataStructure.cmx Utils/Int.cmx Utils/Matrix.cmx Utils/MString.cmx Utils/Option.cmx Utils/Rand.cmx Utils/Read.cmx Utils/Time.cmx -o Utils.cmx  ; then  rm -f Utils.mli  ; else  rm -f Utils.mli  ; exit 1; fi
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- File "Ast.ml", line 103, characters 34-50:
- 103 | let predicate pred arity = match (String.lowercase pred, arity) with
-                                         ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 124, characters 37-53:
- 124 |   | S.Positive (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Distinct (term t1, term t2)
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 125, characters 37-53:
- 125 |   | S.Negative (pred, [t1; t2]) when String.lowercase pred = "distinct" -> Equal    (term t1, term t2)
-                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- File "Ast.ml", line 126, characters 53-69:
- 126 |   | S.Positive (pred, _) | S.Negative (pred, _) when String.lowercase pred = "distinct" -> failwith "distinct used with the wrong number of arguments."
-                                                            ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamllex.opt -q Lexer.mll
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- menhir --raw-depend --ocamldep '/home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- menhir --ocamlc /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt --infer Parser.mly
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- File "Frequency.ml", line 12, characters 25-41:
- 12 | let read_param s = match String.lowercase s with
-                               ^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.lowercase
- Use String.lowercase_ascii/StringLabels.lowercase_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Context.cmi Context.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- File "ASP.ml", line 5, characters 29-46:
- 5 |   let upcs = Utils.PList.map String.capitalize vars in
-                                  ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- File "ASP.ml", line 10, characters 47-64:
- 10 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
-                                                     ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o C.cmx C.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- File "Prolog.ml", line 6, characters 47-64:
- 6 | let variable capitalize v = if capitalize then String.capitalize v else "V" ^ v
-                                                    ^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.capitalize
- Use String.capitalize_ascii/StringLabels.capitalize_ascii instead.
- + /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o C.cmx C.ml
- File "C.ml", line 84, characters 90-94:
- 84 |   | I.KBGet   (v1, pred) -> sprintf "%s %s" (_data "get") (print_args [v1; I.FunConstant (pred; assert false)])
-                                                                                                ^^^^
- Warning 10 [non-unit-statement]: this expression should have type unit.
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- /home/opam/.opam/4.12.0+nnpchecker/bin/ocamlopt.opt str.cmxa unix.cmxa Logic.cmx Utils.cmx Ast.cmx Parser.cmx Lexer.cmx Variable.cmx Unification.cmx Desugared.cmx Pred.cmx Symbol.cmx Analysis.cmx Frequency.cmx Temporize.cmx ASP.cmx Domain.cmx Safety.cmx Reachability.cmx ComputeRigids.cmx GAtomic.cmx GTerm.cmx Annotations.cmx Generate.cmx Stratify.cmx Normal.cmx Inversion.cmx Grouping.cmx Scope.cmx PreInstruction.cmx Instructions.cmx C.cmx CLIPS.cmx Context.cmx Inlining.cmx Frame.cmx Ground.cmx MergeRigids.cmx Specialization.cmx Optimization.cmx CommandLine.cmx OCaml.cmx Prolog.cmx Transformations.cmx Main.cmx -o Main.native
- # Parallel statistics: { count(total): 15(179), max: 13, min: 2, average(total): 4.067(1.257) }
- cp Src/_build/Main.native gadelac
-> compiled  gadelac.0.6.1
-> installed gadelac.0.6.1
Done.
# Run eval $(opam env) to update the current shell environment
2021-10-21 05:51.23 ---> saved as "bd2310b6935c1539c881ab1cef67dd4aa5609ec7ac446d747f1f5bbe5cf98154"
Job succeeded