Building on odawa
(from windows-server-2022-amd64-ocaml-4.14.2)
2024-11-11 17:47.12 ---> using "b1ae2ad36af625524288c188f7e099c501706c4119a38e11e1b5610819652cec" 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 "ln -f /usr/bin/opam-dev.exe /usr/bin/opam.exe"))
2024-11-11 17:47.12 ---> using "4b57a7007c87218b9b3ddcf81f74c22338c638c8bcdfdaa01c2afa888290f021" 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 eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-11 17:47.12 ---> using "916fc88efba39c7529535e5586ef636983924e64382c926374941dfb70826c38" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
User configuration:
Updating ~\.bash_profile.
[NOTE] Make sure that ~\.bash_profile is well sourced in your ~/.bashrc.
Added 9 lines after line 1 in ~\.bash_profile.
2024-11-11 17:47.12 ---> using "7dff50a164197daeb211f43cc31c3b4201b1bd2d0c774a26d6925a430147bec7" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\opam\\download-cache")))
(network host)
(shell "opam switch create --repositories=default 'default' 'ocaml-base-compiler.4.14.2'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed arch-x86_64.1
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-mingw.1
-> retrieved flexdll.0.43 (cached)
-> retrieved ocaml-config.3 (cached)
-> installed flexdll.0.43
-> installed ocaml-options-vanilla.1
-> retrieved mingw-w64-shims.0.2.0 (cached)
-> installed conf-mingw-w64-gcc-x86_64.1
-> installed ocaml-env-mingw64.1
-> installed system-mingw.1
-> retrieved ocaml-base-compiler.4.14.2 (cached)
-> installed mingw-w64-shims.0.2.0
-> installed ocaml-base-compiler.4.14.2
-> installed ocaml-config.3
-> installed ocaml.4.14.2
Done.
# To update the current shell environment, run: eval $(opam env --switch=default)
2024-11-11 17:47.12 ---> using "ae60b92c2a5a4da67e8935d52ddeae392cd8745a47ba71ee33b6f19f5c2bd60f" from cache
/: (run (network host)
(shell "opam update --depexts"))
2024-11-11 17:47.12 ---> using "79f391d910b12f0453cbe8a949bb8e140683a166720331d05045e2d73e88ecc9" from cache
/: (run (cache (opam-archives (target "c:\\Users\\opam\\AppData\\Local\\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 '\"windows-server-2022-amd64-ocaml-4.14.2\"'; 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"))
Nothing to do.
[NOTE] gadelac.0.6.1 is not installed.
The following actions will be performed:
=== install 7 packages
- install dune 3.16.1 [required by menhir]
- install gadelac 0.6.1
- 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.1: extract]
Processing 2/18: [dune.3.16.1: extract] [gadelac.0.6.1: http]
Processing 3/18: [dune.3.16.1: extract] [gadelac.0.6.1: http] [menhir.20240715 + 3 others: extract]
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (cached)
Processing 3/18: [dune.3.16.1: extract] [gadelac.0.6.1: http]
Processing 4/18: [dune.3.16.1: extract] [gadelac.0.6.1: http] [ocamlbuild.0.15.0: extract]
Processing 4/18: [dune.3.16.1: extract] [gadelac.0.6.1: extract] [ocamlbuild.0.15.0: extract]
Processing 4/18: [dune.3.16.1: extract] [gadelac.0.6.1/gadelac.install: dl] [ocamlbuild.0.15.0: extract]
-> retrieved ocamlbuild.0.15.0 (cached)
Processing 4/18: [dune.3.16.1: extract] [gadelac.0.6.1/gadelac.install: dl]
Processing 5/18: [dune.3.16.1: extract] [gadelac.0.6.1/gadelac.install: dl] [ocamlbuild: make configure.make]
-> retrieved gadelac.0.6.1 (https://bitbucket.org/Abdallah/gadelac/get/v0.6.1.tar.gz)
Processing 5/18: [dune.3.16.1: extract] [ocamlbuild: make configure.make]
-> retrieved dune.3.16.1 (cached)
Processing 5/18: [ocamlbuild: make configure.make]
Processing 6/18: [dune: ocaml 31] [ocamlbuild: make configure.make]
+ C:\cygwin64\bin\make.exe "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=C:\\Users\\opam\\AppData\\Local\\opam\\default" "OCAMLBUILD_BINDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\bin" "OCAMLBUILD_LIBDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\lib" "OCAMLBUILD_MANDIR=C:\\Users\\opam\\AppData\\Local\\opam\\default\\man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlbuild.0.15.0)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=C:/Users/opam/AppData/Local/opam/default/bin"; \
- echo "OCAML_LIBDIR=C:/Users/opam/AppData/Local/opam/default/lib/ocaml"; \
- echo "OCAML_MANDIR=C:/Users/opam/AppData/Local/opam/default/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.dll"; \
- echo "EXE=.exe"; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=C:\Users\opam\AppData\Local\opam\default"; \
- echo "BINDIR=C:\Users\opam\AppData\Local\opam\default\bin"; \
- echo "LIBDIR=C:\Users\opam\AppData\Local\opam\default\lib"; \
- echo "MANDIR=C:\Users\opam\AppData\Local\opam\default\man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = {|C:\Users\opam\AppData\Local\opam\default\bin|}'; \
- echo 'let libdir = {|C:\Users\opam\AppData\Local\opam\default\lib|}'; \
- echo 'let ocaml_libdir = {|C:/Users/opam/AppData/Local/opam/default/lib/ocaml|}'; \
- echo 'let libdir_abs = {|C:/Users/opam/AppData/Local/opam/default/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 = "dll"'; \
- echo 'let ext_dll = ".dll"'; \
- echo 'let exe = ".exe"'; \
- echo 'let version = "0.15.0"'; \
- ) > src/ocamlbuild_config.ml
Processing 6/18: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled]
+ C:\cygwin64\bin\make.exe "check-if-preinstalled" "all" "opam-install" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\ocamlbuild.0.15.0)
- if test -d C:/Users/opam/AppData/Local/opam/default/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "C:/Users/opam/AppData/Local/opam/default/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/bin/make ocamlbuild.install
- make[1]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/bin/make install-bin-opam
- make[2]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte.exe"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native.exe"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.exe"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/bin/make install-lib-opam
- make[2]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- echo 'lib: [' >> ocamlbuild.install
- /usr/bin/make install-lib-basics-opam
- make[3]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.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
- make[3]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/bin/make install-lib-byte-opam
- make[3]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.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
- make[3]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/bin/make install-lib-native-opam
- make[3]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.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
- make[3]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/bin/make install-man-opam
- make[2]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.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
- make[2]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- /usr/bin/make install-doc-opam
- make[2]: Entering directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.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
- make[2]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
- make[1]: Leaving directory '/cygdrive/c/Users/opam/AppData/Local/opam/default/.opam-switch/build/ocamlbuild.0.15.0'
-> compiled ocamlbuild.0.15.0
Processing 6/18: [dune: ocaml 31]
-> installed ocamlbuild.0.15.0
Processing 7/18: [dune: ocaml 31]
+ C:\Users\opam\AppData\Local\opam\default\bin\ocaml.exe "boot/bootstrap.ml" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.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 7/18: [dune: ./_boot/dune.exe build]
+ C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1\./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\dune.3.16.1)
-> compiled dune.3.16.1
-> installed dune.3.16.1
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]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirCST" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.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]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirSdk" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\menhirSdk.20240715)
-> compiled menhirSdk.20240715
Processing 12/18: [menhirLib: dune build]
-> installed menhirSdk.20240715
Processing 13/18: [menhirLib: dune build]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhirLib" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.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]
+ C:\Users\opam\AppData\Local\opam\default\bin\dune.exe "build" "-p" "menhir" "-j" "31" (CWD=C:\Users\opam\AppData\Local\opam\default\.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: make gadelac]
+ C:\cygwin64\bin\make.exe "gadelac" (CWD=C:\Users\opam\AppData\Local\opam\default\.opam-switch\build\gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Main.ml > Main.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules ASP.mli > ASP.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Desugared.mli > Desugared.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Ast.mli > Ast.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Logic.mli > Logic.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Logic.cmi Logic.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Unification.mli > Unification.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Ast.cmi Ast.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Variable.ml > Variable.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Bool.ml > Utils/Bool.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Choice.mli > Utils/Choice.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Choice.ml > Utils/Choice.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/MStack.ml > Utils/MStack.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/PList.mli > Utils/PList.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Print.mli > Utils/Print.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Function.mli > Utils/Function.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Function.ml > Utils/Function.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Int.ml > Utils/Int.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/MString.mli > Utils/MString.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/MString.ml > Utils/MString.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Option.mli > Utils/Option.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Option.ml > Utils/Option.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/PList.ml > Utils/PList.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Print.ml > Utils/Print.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Rand.mli > Utils/Rand.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Rand.ml > Utils/Rand.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Read.ml > Utils/Read.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Time.mli > Utils/Time.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Utils/Time.ml > Utils/Time.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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)
- + 'C:\Users\opam\AppData\Local\opam\default\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
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Variable.cmo Variable.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Unification.cmi Unification.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Desugared.cmi Desugared.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules C.ml > C.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Instructions.mli > Instructions.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules PreInstruction.mli > PreInstruction.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Annotations.mli > Annotations.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Frequency.mli > Frequency.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Pred.ml > Pred.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Pred.cmo Pred.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules GAtomic.ml > GAtomic.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules GTerm.ml > GTerm.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Symbol.ml > Symbol.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Frequency.cmi Frequency.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o GAtomic.cmo GAtomic.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o GTerm.cmo GTerm.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Symbol.cmo Symbol.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Grouping.mli > Grouping.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Annotations.cmi Annotations.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Inversion.mli > Inversion.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Normal.mli > Normal.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Stratify.mli > Stratify.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Stratify.cmi Stratify.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Normal.cmi Normal.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Inversion.cmi Inversion.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Scope.mli > Scope.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Grouping.cmi Grouping.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Scope.cmi Scope.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o PreInstruction.cmi PreInstruction.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Instructions.cmi Instructions.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules CLIPS.mli > CLIPS.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules CommandLine.ml > CommandLine.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Optimization.mli > Optimization.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Reachability.mli > Reachability.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Domain.mli > Domain.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Domain.cmi Domain.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Reachability.cmi Reachability.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Optimization.cmi Optimization.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules OCaml.mli > OCaml.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Prolog.mli > Prolog.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Transformations.ml > Transformations.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o CommandLine.cmo CommandLine.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o ASP.cmi ASP.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o C.cmo C.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o CLIPS.cmi CLIPS.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o OCaml.cmi OCaml.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Prolog.cmi Prolog.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Transformations.cmo Transformations.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Main.cmo Main.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules ASP.ml > ASP.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Ast.ml > Ast.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Logic.ml > Logic.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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
- + 'C:\Users\opam\AppData\Local\opam\default\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)
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Logic.cmx Logic.ml
- + touch Utils.mli ; if 'C:\Users\opam\AppData\Local\opam\default\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
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Desugared.ml > Desugared.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Ast.cmx Ast.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamllex.opt' -q Lexer.mll
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Lexer.ml > Lexer.ml.depends
- + menhir --raw-depend --ocamldep '^"C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt^" -modules' Parser.mly > Parser.mly.depends
- + menhir --ocamlc '^"C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt^"' --infer Parser.mly
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Parser.mli > Parser.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Parser.cmi Parser.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Lexer.cmo Lexer.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Parser.ml > Parser.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Parser.cmx Parser.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Unification.ml > Unification.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Variable.cmx Variable.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Lexer.cmx Lexer.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Unification.cmx Unification.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Temporize.ml > Temporize.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Temporize.mli > Temporize.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Temporize.cmi Temporize.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Analysis.ml > Analysis.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Analysis.mli > Analysis.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Analysis.cmi Analysis.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Desugared.cmx Desugared.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Pred.cmx Pred.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Symbol.cmx Symbol.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Frequency.ml > Frequency.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Analysis.cmx Analysis.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Frequency.cmx Frequency.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Temporize.cmx Temporize.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Instructions.ml > Instructions.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Annotations.ml > Annotations.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules ComputeRigids.ml > ComputeRigids.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules ComputeRigids.mli > ComputeRigids.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o ComputeRigids.cmi ComputeRigids.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Domain.ml > Domain.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Reachability.ml > Reachability.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Domain.cmx Domain.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Safety.ml > Safety.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Safety.mli > Safety.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Safety.cmi Safety.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Safety.cmx Safety.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Reachability.cmx Reachability.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o ComputeRigids.cmx ComputeRigids.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o GAtomic.cmx GAtomic.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o GTerm.cmx GTerm.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules PreInstruction.ml > PreInstruction.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Annotations.cmx Annotations.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Grouping.ml > Grouping.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Inversion.ml > Inversion.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Normal.ml > Normal.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Generate.ml > Generate.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Generate.mli > Generate.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Generate.cmi Generate.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Stratify.ml > Stratify.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Generate.cmx Generate.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Stratify.cmx Stratify.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Normal.cmx Normal.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Inversion.cmx Inversion.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Scope.ml > Scope.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Grouping.cmx Grouping.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Scope.cmx Scope.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o PreInstruction.cmx PreInstruction.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Instructions.cmx Instructions.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules CLIPS.ml > CLIPS.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Optimization.ml > Optimization.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Context.ml > Context.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Context.mli > Context.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Context.cmi Context.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Frame.ml > Frame.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Frame.mli > Frame.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Frame.cmi Frame.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Inlining.ml > Inlining.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Inlining.mli > Inlining.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Inlining.cmi Inlining.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Inlining.cmx Inlining.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Ground.ml > Ground.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Ground.mli > Ground.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Ground.cmi Ground.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Context.cmx Context.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules MergeRigids.ml > MergeRigids.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules MergeRigids.mli > MergeRigids.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o MergeRigids.cmi MergeRigids.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Specialization.ml > Specialization.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Specialization.mli > Specialization.mli.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlc.opt' -c -o Specialization.cmi Specialization.mli
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Frame.cmx Frame.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Ground.cmx Ground.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o MergeRigids.cmx MergeRigids.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Specialization.cmx Specialization.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Optimization.cmx Optimization.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules OCaml.ml > OCaml.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamldep.opt' -modules Prolog.ml > Prolog.ml.depends
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o ASP.cmx ASP.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o CommandLine.cmx CommandLine.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o C.cmx C.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o CLIPS.cmx CLIPS.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o OCaml.cmx OCaml.ml
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Prolog.cmx Prolog.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Transformations.cmx Transformations.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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.
- + 'C:\Users\opam\AppData\Local\opam\default\bin/ocamlopt.opt' -c -o Main.cmx Main.ml
- + 'C:\Users\opam\AppData\Local\opam\default\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
[WARNING] Automatically adding .exe to C:\Users\opam\AppData\Local\opam\default\bin\gadelac
-> installed gadelac.0.6.1
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-11 17:49.01 ---> saved as "19d063da90a7fe3b3af1dfc62c7003ba5a4ad80e2895dd3c091f14534923a711"
Job succeeded
Home|Differences with the last checks|Previous runs