Building on spring
(from freebsd)
2024-10-11 02:34.57 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2024-10-11 02:34.58 ---> using "7afea9128a2830beedf345f0b46af5484579ebada7710165f445c6c5b18563a9" 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 ac01ad6037c0bdcca9f67fe49cd54475b585f9b2"))
2024-10-11 02:35.00 ---> using "04bf8df57af7f2b2ea7af5566d967196bda7e2839e02b46ad811b0216fde879a" 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:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-10-11 02:35.01 ---> using "c9931638e08169dfce88208aaa9098fb0a9a68a42fc7157702d319afdcb8d7eb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.2' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-config.2 (2 extra sources)
-> retrieved ocaml-config.2 (2 extra sources)
-> retrieved ocaml-base-compiler.4.14.2 (https://github.com/ocaml/ocaml/archive/4.14.2.tar.gz)
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.14.2)
2024-10-11 02:35.02 ---> using "e855d9af67ec0a35a99a946be87ce0268c081f547c14a096661183ffe7e7b03b" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-10-11 02:35.03 ---> using "aa6bdcd4b036cbf0eae21de91556ee39783d623e2700babf35a1c0b03fd63857" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"gadelac.0.6\"\
\nopam install -vy \"gadelac.0.6\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"gadelac.0.6\" | 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 is not installed.
Nothing to do.
The following actions will be performed:
=== install 7 packages
- install dune 3.16.0 [required by menhir]
- install gadelac 0.6
- install menhir 20240715 [required by gadelac]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
- install ocamlbuild 0.15.0 [required by gadelac]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/18: [dune.3.16.0: extract]
Processing 2/18: [dune.3.16.0: extract] [gadelac.0.6: http]
Processing 3/18: [dune.3.16.0: extract] [gadelac.0.6: http] [menhir.20240715 + 3 others: extract]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 3/18: [dune.3.16.0: extract] [gadelac.0.6: http]
Processing 4/18: [dune.3.16.0: extract] [gadelac.0.6: http] [ocamlbuild.0.15.0: extract]
Processing 4/18: [dune.3.16.0: extract] [gadelac.0.6: extract] [ocamlbuild.0.15.0: extract]
-> retrieved ocamlbuild.0.15.0 (cached)
Processing 4/18: [dune.3.16.0: extract] [gadelac.0.6: extract]
Processing 5/18: [dune.3.16.0: extract] [gadelac.0.6: extract] [ocamlbuild: gmake configure.make]
Processing 5/18: [dune.3.16.0: extract] [gadelac.0.6/gadelac.install: dl] [ocamlbuild: gmake configure.make]
-> retrieved gadelac.0.6 (https://bitbucket.org/Abdallah/gadelac/get/v0.6.tar.gz)
Processing 5/18: [dune.3.16.0: extract] [ocamlbuild: gmake configure.make]
-> retrieved dune.3.16.0 (cached)
Processing 5/18: [ocamlbuild: gmake configure.make]
Processing 6/18: [dune: ocaml 7] [ocamlbuild: gmake configure.make]
+ /usr/local/bin/gmake "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.14.2" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.14.2/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.14.2/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.14.2/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.14.2/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.14.2/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.14.2/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.14.2"; \
- echo "BINDIR=/home/opam/.opam/4.14.2/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.14.2/lib"; \
- echo "MANDIR=/home/opam/.opam/4.14.2/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = {|/home/opam/.opam/4.14.2/bin|}'; \
- echo 'let libdir = {|/home/opam/.opam/4.14.2/lib|}'; \
- echo 'let ocaml_libdir = {|/home/opam/.opam/4.14.2/lib/ocaml|}'; \
- echo 'let libdir_abs = {|/home/opam/.opam/4.14.2/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.15.0"'; \
- ) > src/ocamlbuild_config.ml
Processing 6/18: [dune: ocaml 7] [ocamlbuild: gmake check-if-preinstalled]
+ /usr/local/bin/gmake "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0)
- if test -d /home/opam/.opam/4.14.2/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/4.14.2/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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlc.opt -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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
- 235 states, 1033 transitions, table size 5542 bytes
- 4238 additional bytes used for bindings
- ocamlc.opt -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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/exit_codes.cmo src/my_std.cmo src/ocamlbuild_executor.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/plugin.cmo src/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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 -I +unix unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.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_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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 @14@29 -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/exit_codes.cmx src/my_std.cmx src/ocamlbuild_executor.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/plugin.cmx src/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 @14@29 -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 @14@29 -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 @14@29 -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 -I +unix unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.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_unix_plugin.cmx
- ocamlc.opt -I +unix unix.cma 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 '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/local/bin/gmake install-bin-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.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
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/local/bin/gmake install-lib-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- echo 'lib: [' >> ocamlbuild.install
- /usr/local/bin/gmake install-lib-basics-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.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
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/local/bin/gmake install-lib-byte-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/local/bin/gmake install-lib-native-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- 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_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/local/bin/gmake install-man-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/local/bin/gmake install-doc-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.2/.opam-switch/build/ocamlbuild.0.15.0'
-> compiled ocamlbuild.0.15.0
Processing 6/18: [dune: ocaml 7]
-> installed ocamlbuild.0.15.0
Processing 7/18: [dune: ocaml 7]
+ /home/opam/.opam/4.14.2/bin/ocaml "boot/bootstrap.ml" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 7
-
Processing 7/18: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/dune.3.16.0)
-> compiled dune.3.16.0
-> installed dune.3.16.0
Processing 9/18: [menhirCST: dune build]
Processing 10/18: [menhirCST: dune build] [menhirLib: dune build]
Processing 11/18: [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhirCST" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhirCST.20240715)
-> compiled menhirCST.20240715
Processing 11/18: [menhirLib: dune build] [menhirSdk: dune build]
-> installed menhirCST.20240715
Processing 12/18: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhirSdk" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 12/18: [menhirLib: dune build]
-> installed menhirSdk.20240715
Processing 13/18: [menhirLib: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhirLib" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhirLib.20240715)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20240715
-> installed menhirLib.20240715
Processing 15/18: [menhir: dune build]
+ /home/opam/.opam/4.14.2/bin/dune "build" "-p" "menhir" "-j" "7" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/menhir.20240715)
- (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 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 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 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 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 99 sample input sentences and 47 error messages.
-> compiled menhir.20240715
-> installed menhir.20240715
Processing 17/18: [gadelac: gmake gadelac]
+ /usr/local/bin/gmake "gadelac" (CWD=/home/opam/.opam/4.14.2/.opam-switch/build/gadelac.0.6)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + /home/opam/.opam/4.14.2/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)
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules C.ml > C.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o C.cmo C.ml
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlc.opt -c -o Main.cmo Main.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /home/opam/.opam/4.14.2/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)
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- + touch Utils.mli ; if /home/opam/.opam/4.14.2/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.14.2/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamllex.opt -q Lexer.mll
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- + menhir --raw-depend --ocamldep '/home/opam/.opam/4.14.2/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- + menhir --ocamlc /home/opam/.opam/4.14.2/bin/ocamlc.opt --infer Parser.mly
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Context.cmi Context.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- + /home/opam/.opam/4.14.2/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /home/opam/.opam/4.14.2/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.14.2/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o C.cmx C.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- + /home/opam/.opam/4.14.2/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /home/opam/.opam/4.14.2/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.14.2/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.14.2/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- + /home/opam/.opam/4.14.2/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) }
-> compiled gadelac.0.6
-> installed gadelac.0.6
Done.
2024-10-11 02:39.13 ---> saved as "c5c25d09041d875b93839889e7552b82fb04eaf438a2b95e37728cff90420854"
Job succeeded
Home|Differences with the last checks|Previous runs