Build:
- 0
2025-12-09 07:39.22: New job: test gadelac.0.6.1 with dune.3.21.0~alpha2, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29042/head (a9b8a0d0db631d21208bd4ab7355e867d7ecf88d)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29042/head" && git reset --hard a9b8a0d0
git fetch origin master
git merge --no-edit 2e91c1385fa6ee7c38e1108967fe3bf9ccba52f6
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn dune.3.21.0~alpha2 3.21.0~alpha2
RUN opam reinstall dune.3.21.0~alpha2; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.21.0~alpha2' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall gadelac.0.6.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'gadelac.0.6.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test gadelac.0.6.1) || true
RUN opam reinstall --with-test --verbose gadelac.0.6.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'gadelac.0.6.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2025-12-09 07:39.22: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d-dune.3.21.0~alpha2-gadelac.0.6.1-a9b8a0d0db631d21208bd4ab7355e867d7ecf88d"
2025-12-09 07:39.22: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn dune.3.21.0~alpha2 3.21.0~alpha2"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0~alpha2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall gadelac.0.6.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'gadelac.0.6.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test gadelac.0.6.1) || true"))
(run (shell "opam reinstall --with-test --verbose gadelac.0.6.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'gadelac.0.6.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-12-09 07:39.22: Waiting for resource in pool OCluster
2025-12-09 21:58.09: Waiting for worker…
2025-12-09 22:02.15: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 2e91c1385f Merge pull request #29043 from hannesm/mirage-kv
Merge made by the 'ort' strategy.
.../chrome-trace/chrome-trace.3.21.0~alpha2/opam | 41 ++++++++++++
.../dune-action-plugin.3.21.0~alpha2/opam | 54 ++++++++++++++++
.../dune-build-info.3.21.0~alpha2/opam | 47 ++++++++++++++
.../dune-configurator.3.21.0~alpha2/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.21.0~alpha2/opam | 44 +++++++++++++
.../dune-private-libs.3.21.0~alpha2/opam | 52 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha2/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.21.0~alpha2/opam | 46 +++++++++++++
packages/dune-site/dune-site.3.21.0~alpha2/opam | 39 +++++++++++
packages/dune/dune.3.21.0~alpha2/opam | 75 ++++++++++++++++++++++
packages/dyn/dyn.3.21.0~alpha2/opam | 42 ++++++++++++
packages/fs-io/fs-io.3.21.0~alpha2/opam | 40 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha2/opam | 45 +++++++++++++
packages/ordering/ordering.3.21.0~alpha2/opam | 40 ++++++++++++
packages/stdune/stdune.3.21.0~alpha2/opam | 48 ++++++++++++++
.../top-closure/top-closure.3.21.0~alpha2/opam | 39 +++++++++++
packages/xdg/xdg.3.21.0~alpha2/opam | 41 ++++++++++++
17 files changed, 787 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.21.0~alpha2/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.21.0~alpha2/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.21.0~alpha2/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.21.0~alpha2/opam
create mode 100644 packages/dune-glob/dune-glob.3.21.0~alpha2/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.21.0~alpha2/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.21.0~alpha2/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.21.0~alpha2/opam
create mode 100644 packages/dune-site/dune-site.3.21.0~alpha2/opam
create mode 100644 packages/dune/dune.3.21.0~alpha2/opam
create mode 100644 packages/dyn/dyn.3.21.0~alpha2/opam
create mode 100644 packages/fs-io/fs-io.3.21.0~alpha2/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.21.0~alpha2/opam
create mode 100644 packages/ordering/ordering.3.21.0~alpha2/opam
create mode 100644 packages/stdune/stdune.3.21.0~alpha2/opam
create mode 100644 packages/top-closure/top-closure.3.21.0~alpha2/opam
create mode 100644 packages/xdg/xdg.3.21.0~alpha2/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:277168101f7d4ebc452a75f825628d280c76dd0be7d8bcb58c24a5e50fe3d10d)
2025-12-09 22:02.19 ---> using "d81b3b20b9dbe813f4813251eb45f7f230344599357169e34b0d2f872bf65895" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-12-09 22:02.19 ---> using "4c0c738834a7be54719ab9b07c911eba51e45ad4298c42597f7d3da72b1c15d4" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-09 22:02.19 ---> using "8bb6d27bb5f7ebe9771219e3ecd730184d5e10ab877134c11c12ee3b1a6d3b96" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2025-12-09 22:02.19 ---> using "35019bd57e8933485bd938828fe288c3674216a4757e13b1dac8ce6b21035ac2" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2025-12-09 22:02.19 ---> using "e09ab9992a764acab15da9cff99e3d4d978b8a77f33714cc5d19d16d3539eb49" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-12-09 22:02.19 ---> using "b1d8376b8854c122e4370c6ffb8956d8f719398d4349ee07c276d2dcc6f801f9" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-12-09 22:02.19 ---> using "9a99fafcbc8abe6d428ee55266ff1d7f19ca4090f80c3937d2d008378a0d44a7" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [81.7 kB]
- Fetched 172 kB in 0s (2208 kB/s)
- Reading package lists...
2025-12-09 22:02.19 ---> using "dfdd061baff398ee2660022be07bc73f36114859cfe0e06f6537eb36b6569dcb" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.21.0~alpha2 3.21.0~alpha2"))
dune is now pinned to version 3.21.0~alpha2
2025-12-09 22:02.19 ---> using "9d74388dfd340d188909cdf0c4823b6581deb2050d5ff4ccb5bfd0c031111b6f" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.21.0~alpha2;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.21.0~alpha2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.21.0~alpha2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.21.0~alpha2 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0~alpha2 (cached)
-> installed dune.3.21.0~alpha2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-09 22:02.19 ---> using "0510ef6b70a4dabc7f07f5987a056c1fb9750e839e3f12086bd1e7ee2e1c590b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall gadelac.0.6.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'gadelac.0.6.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
gadelac.0.6.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 6 packages
- install gadelac 0.6.1
- install menhir 20250912 [required by gadelac]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install ocamlbuild 0.16.1 [required by gadelac]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved gadelac.0.6.1 (https://opam.ocaml.org/cache)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed menhirCST.20250912
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed ocamlbuild.0.16.1
-> installed menhir.20250912
-> installed gadelac.0.6.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-09 22:02.38 ---> saved as "7077f41104d23af7c6ed130410a4e8a5c107daa96410e29b93489034536df554"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test gadelac.0.6.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile gadelac 0.6.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved gadelac.0.6.1 (https://opam.ocaml.org/cache)
-> removed gadelac.0.6.1
-> installed gadelac.0.6.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-09 22:02.44 ---> saved as "c4e87a72b806b61566e10bf7952a7057748260d62dd7f3bf95648672f74f3535"
/home/opam: (run (shell "opam reinstall --with-test --verbose gadelac.0.6.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'gadelac.0.6.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile gadelac 0.6.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [gadelac.0.6.1: extract]
-> retrieved gadelac.0.6.1 (cached)
Processing 2/4: [gadelac: make gadelac]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "gadelac" (CWD=/home/opam/.opam/4.14/.opam-switch/build/gadelac.0.6.1)
- cd Src; ocamlbuild -j 4 -use-menhir -libs str,unix -no-links Main.native; cd ..
- + /home/opam/.opam/4.14/bin/ocamlc.opt -config
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Main.ml > Main.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules ASP.mli > ASP.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Desugared.mli > Desugared.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ast.mli > Ast.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Logic.mli > Logic.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Logic.cmi Logic.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Unification.mli > Unification.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Ast.cmi Ast.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Variable.ml > Variable.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Bool.ml > Utils/Bool.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Choice.mli > Utils/Choice.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmi Utils/Choice.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Choice.ml > Utils/Choice.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/DataStructure.mli > Utils/DataStructure.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmi Utils/DataStructure.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/DataStructure.ml > Utils/DataStructure.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MStack.ml > Utils/MStack.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/PList.mli > Utils/PList.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Print.mli > Utils/Print.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MStack.cmo Utils/MStack.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmi Utils/PList.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmi Utils/Print.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Function.mli > Utils/Function.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmi Utils/Function.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Function.ml > Utils/Function.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Int.ml > Utils/Int.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Matrix.ml > Utils/Matrix.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MString.mli > Utils/MString.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmi Utils/MString.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/MString.ml > Utils/MString.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Option.mli > Utils/Option.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmi Utils/Option.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Option.ml > Utils/Option.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/PList.ml > Utils/PList.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Print.ml > Utils/Print.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Rand.mli > Utils/Rand.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmi Utils/Rand.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Rand.ml > Utils/Rand.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Read.ml > Utils/Read.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Time.mli > Utils/Time.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmi Utils/Time.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Utils/Time.ml > Utils/Time.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Bool.cmo Utils/Bool.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Choice.cmo Utils/Choice.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/DataStructure.cmo Utils/DataStructure.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Function.cmo Utils/Function.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Int.cmo Utils/Int.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Matrix.cmo Utils/Matrix.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/MString.cmo Utils/MString.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Option.cmo Utils/Option.ml
- + /home/opam/.opam/4.14/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/bin/ocamlc.opt -c -I Utils -o Utils/PList.cmo Utils/PList.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Print.cmo Utils/Print.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Rand.cmo Utils/Rand.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Read.cmo Utils/Read.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -I Utils -o Utils/Time.cmo Utils/Time.ml
- + /home/opam/.opam/4.14/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/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/bin/ocamlc.opt -c -o Variable.cmo Variable.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Unification.cmi Unification.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Desugared.cmi Desugared.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules C.ml > C.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Instructions.mli > Instructions.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules PreInstruction.mli > PreInstruction.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Annotations.mli > Annotations.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frequency.mli > Frequency.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Pred.ml > Pred.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Pred.cmo Pred.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules GAtomic.ml > GAtomic.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules GTerm.ml > GTerm.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Symbol.ml > Symbol.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Frequency.cmi Frequency.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o GAtomic.cmo GAtomic.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o GTerm.cmo GTerm.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Symbol.cmo Symbol.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Grouping.mli > Grouping.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Annotations.cmi Annotations.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inversion.mli > Inversion.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Normal.mli > Normal.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Stratify.mli > Stratify.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Stratify.cmi Stratify.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Normal.cmi Normal.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Inversion.cmi Inversion.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Scope.mli > Scope.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Grouping.cmi Grouping.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Scope.cmi Scope.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o PreInstruction.cmi PreInstruction.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Instructions.cmi Instructions.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules CLIPS.mli > CLIPS.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules CommandLine.ml > CommandLine.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Optimization.mli > Optimization.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Reachability.mli > Reachability.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Domain.mli > Domain.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Domain.cmi Domain.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Reachability.cmi Reachability.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Optimization.cmi Optimization.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules OCaml.mli > OCaml.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Prolog.mli > Prolog.mli.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Transformations.ml > Transformations.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o CommandLine.cmo CommandLine.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o ASP.cmi ASP.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o C.cmo C.ml
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o CLIPS.cmi CLIPS.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o OCaml.cmi OCaml.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Prolog.cmi Prolog.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Transformations.cmo Transformations.ml
- + /home/opam/.opam/4.14/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/bin/ocamlc.opt -c -o Main.cmo Main.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules ASP.ml > ASP.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ast.ml > Ast.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Logic.ml > Logic.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Function.cmx Utils/Function.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/PList.cmx Utils/PList.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MStack.cmx Utils/MStack.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Print.cmx Utils/Print.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/DataStructure.cmx Utils/DataStructure.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Bool.cmx Utils/Bool.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Choice.cmx Utils/Choice.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Int.cmx Utils/Int.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Matrix.cmx Utils/Matrix.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/MString.cmx Utils/MString.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Option.cmx Utils/Option.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Rand.cmx Utils/Rand.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Read.cmx Utils/Read.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -for-pack Utils -I Utils -o Utils/Time.cmx Utils/Time.ml
- + /home/opam/.opam/4.14/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/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/bin/ocamlopt.opt -c -o Logic.cmx Logic.ml
- + touch Utils.mli ; if /home/opam/.opam/4.14/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/bin/ocamldep.opt -modules Desugared.ml > Desugared.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Ast.cmx Ast.ml
- + /home/opam/.opam/4.14/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/bin/ocamllex.opt -q Lexer.mll
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Lexer.ml > Lexer.ml.depends
- + menhir --raw-depend --ocamldep '/home/opam/.opam/4.14/bin/ocamldep.opt -modules' Parser.mly > Parser.mly.depends
- + menhir --ocamlc /home/opam/.opam/4.14/bin/ocamlc.opt --infer Parser.mly
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Parser.mli > Parser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Parser.cmi Parser.mli
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Lexer.cmo Lexer.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Parser.ml > Parser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Parser.cmx Parser.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Unification.ml > Unification.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Variable.cmx Variable.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Lexer.cmx Lexer.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Unification.cmx Unification.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Temporize.ml > Temporize.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Temporize.mli > Temporize.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Temporize.cmi Temporize.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Analysis.ml > Analysis.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Analysis.mli > Analysis.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Analysis.cmi Analysis.mli
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Desugared.cmx Desugared.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Pred.cmx Pred.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Symbol.cmx Symbol.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frequency.ml > Frequency.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Analysis.cmx Analysis.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Frequency.cmx Frequency.ml
- + /home/opam/.opam/4.14/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/bin/ocamlopt.opt -c -o Temporize.cmx Temporize.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Instructions.ml > Instructions.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Annotations.ml > Annotations.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules ComputeRigids.ml > ComputeRigids.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules ComputeRigids.mli > ComputeRigids.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o ComputeRigids.cmi ComputeRigids.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Domain.ml > Domain.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Reachability.ml > Reachability.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Domain.cmx Domain.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Safety.ml > Safety.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Safety.mli > Safety.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Safety.cmi Safety.mli
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Safety.cmx Safety.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Reachability.cmx Reachability.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o ComputeRigids.cmx ComputeRigids.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o GAtomic.cmx GAtomic.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o GTerm.cmx GTerm.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules PreInstruction.ml > PreInstruction.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Annotations.cmx Annotations.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Grouping.ml > Grouping.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inversion.ml > Inversion.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Normal.ml > Normal.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Generate.ml > Generate.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Generate.mli > Generate.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Generate.cmi Generate.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Stratify.ml > Stratify.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Generate.cmx Generate.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Stratify.cmx Stratify.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Normal.cmx Normal.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Inversion.cmx Inversion.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Scope.ml > Scope.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Grouping.cmx Grouping.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Scope.cmx Scope.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o PreInstruction.cmx PreInstruction.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Instructions.cmx Instructions.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules CLIPS.ml > CLIPS.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Optimization.ml > Optimization.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Context.ml > Context.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Context.mli > Context.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Context.cmi Context.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frame.ml > Frame.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Frame.mli > Frame.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Frame.cmi Frame.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inlining.ml > Inlining.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Inlining.mli > Inlining.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Inlining.cmi Inlining.mli
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Inlining.cmx Inlining.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ground.ml > Ground.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Ground.mli > Ground.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Ground.cmi Ground.mli
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Context.cmx Context.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules MergeRigids.ml > MergeRigids.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules MergeRigids.mli > MergeRigids.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o MergeRigids.cmi MergeRigids.mli
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Specialization.ml > Specialization.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Specialization.mli > Specialization.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlc.opt -c -o Specialization.cmi Specialization.mli
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Frame.cmx Frame.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Ground.cmx Ground.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o MergeRigids.cmx MergeRigids.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Specialization.cmx Specialization.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Optimization.cmx Optimization.ml
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules OCaml.ml > OCaml.ml.depends
- + /home/opam/.opam/4.14/bin/ocamldep.opt -modules Prolog.ml > Prolog.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o ASP.cmx ASP.ml
- + /home/opam/.opam/4.14/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/bin/ocamlopt.opt -c -o CommandLine.cmx CommandLine.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o C.cmx C.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o CLIPS.cmx CLIPS.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o OCaml.cmx OCaml.ml
- + /home/opam/.opam/4.14/bin/ocamlopt.opt -c -o Prolog.cmx Prolog.ml
- + /home/opam/.opam/4.14/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/bin/ocamlopt.opt -c -o Transformations.cmx Transformations.ml
- + /home/opam/.opam/4.14/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/bin/ocamlopt.opt -c -o Main.cmx Main.ml
- + /home/opam/.opam/4.14/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(178), max: 13, min: 2, average(total): 4.067(1.258) }
- cp Src/_build/Main.native gadelac
-> compiled gadelac.0.6.1
-> removed gadelac.0.6.1
-> installed gadelac.0.6.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-12-09 22:02.52 ---> saved as "53c17808a2b9395180fa8dd9fb4511e005ed51ee584d6c7a9c71d4b26e796077"
Job succeeded
2025-12-09 22:02.59: Job succeeded