Building on falling
(from freebsd-ocaml-5.0)
2023-10-18 06:48.57 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" 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/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-10-18 06:48.58 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q a4349cb398e7d693e3d509914067dc47d1c71782"))
2023-10-18 06:48.58 ---> using "847cbd71d6e243cb26730c6185d78510731de6bc2b4440eaf8f09e2ada29204e" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using 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:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-10-18 06:48.58 ---> using "76fe4e508bf18ac6169aa42d066ca9a1236d6528de4350d6a7fa0ee89b29da2f" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-10-18 06:48.58 ---> using "183056b1d529ba4c31d6b524fc58b90cb421336bb6343f3dbef07f3b8210b9bd" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-10-18 06:48.59 ---> using "f2cccfff3a744118b82f250d66c5e406102a16d87a5c840cda08b5c5d25376c6" from cache
/: (run (cache (opam-archives (target /usr/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 '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] gadelac.0.6.1 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 3.11.1 [required by menhir]
- install ocamlbuild 0.14.2 [required by gadelac]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by menhir]
- install menhir 20230608 [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.20230608 (cached)
Processing 5/18:
-> retrieved menhirLib.20230608 (cached)
Processing 6/18:
-> retrieved menhirSdk.20230608 (cached)
-> retrieved ocamlbuild.0.14.2 (cached)
Processing 7/18: [ocamlbuild: gmake configure.make]
-> retrieved dune.3.11.1 (cached)
Processing 8/18: [dune: ocaml 31] [ocamlbuild: gmake configure.make]
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "OCAML_LIBDIR=/usr/home/opam/.opam/4.14.1/lib/ocaml"; \
- echo "OCAML_MANDIR=/usr/home/opam/.opam/4.14.1/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=/usr/home/opam/.opam/4.14.1"; \
- echo "BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "LIBDIR=/usr/home/opam/.opam/4.14.1/lib"; \
- echo "MANDIR=/usr/home/opam/.opam/4.14.1/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/usr/home/opam/.opam/4.14.1/bin"'; \
- echo 'let libdir = "/usr/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_libdir = "/usr/home/opam/.opam/4.14.1/lib/ocaml"'; \
- echo 'let libdir_abs = "/usr/home/opam/.opam/4.14.1/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.2"'; \
- ) > src/ocamlbuild_config.ml
Processing 8/18: [dune: ocaml 31] [ocamlbuild: gmake check-if-preinstalled]
- if test -d /usr/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/usr/home/opam/.opam/4.14.1/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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- 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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -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 plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- 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 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/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
- /usr/local/bin/gmake ocamlbuild.install
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/local/bin/gmake install-bin-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- 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
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'lib: [' >> ocamlbuild.install
- /usr/local/bin/gmake install-lib-basics-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- 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
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-byte-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-native-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-man-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-doc-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
-> compiled ocamlbuild.0.14.2
Processing 8/18: [dune: ocaml 31]
-> installed ocamlbuild.0.14.2
Processing 9/18: [dune: ocaml 31]
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "31" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.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: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1)
-> compiled dune.3.11.1
-> installed dune.3.11.1
Processing 11/18: [menhirLib: dune build]
Processing 12/18: [menhirLib: dune build] [menhirSdk: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20230608
Processing 12/18: [menhirSdk: dune build]
-> installed menhirLib.20230608
Processing 13/18: [menhirSdk: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "menhirSdk" "-j" "31" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/menhirSdk.20230608)
-> compiled menhirSdk.20230608
-> installed menhirSdk.20230608
Processing 15/18: [menhir: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "menhir" "-j" "31" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/menhir.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- 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.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20230608
-> installed menhir.20230608
Processing 17/18: [gadelac: gmake gadelac]
+ /usr/local/bin/gmake "gadelac" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + /usr/home/opam/.opam/4.14.1/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
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + /usr/home/opam/.opam/4.14.1/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 11.5)
- /usr/home/opam/.opam/4.14.1/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
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules C.ml > C.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o C.cmo C.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Main.cmo Main.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /usr/home/opam/.opam/4.14.1/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
- + /usr/home/opam/.opam/4.14.1/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 11.5)
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- touch Utils.mli ; if /usr/home/opam/.opam/4.14.1/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
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q Lexer.mll
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- menhir --raw-depend --ocamldep '/usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- menhir --ocamlc /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt --infer Parser.mly
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Context.cmi Context.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o C.cmx C.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /usr/home/opam/.opam/4.14.1/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.
- /usr/home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- /usr/home/opam/.opam/4.14.1/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.
2023-10-18 06:53.46 ---> saved as "b44cf8b9127a2f24efd1e4b469e40f867dd1fcbb71ddffe663456122923a37ce"
Job succeeded
Home|Differences with the last checks|Previous runs