- github
- ocaml
- opam-repository
- 45a900
- compilers,4.14,dune.3.18.1,revdeps,TCSLib.0.2
(not at the head of any monitored branch or PR)
2025-04-15 16:20.20: New job: test TCSLib.0.2 with dune.3.18.1, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/27761/head (45a9003972a4bc10898d8844bef612e0e0029914)
on debian-12-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/27761/head" && git reset --hard 45a90039
git fetch origin master
git merge --no-edit 70b82be6e261da74b766f9bb1344a1ecd5b1909d
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.14@sha256:ec682473bce2c2c47749ae1025968d0b585bdde0fcd2b8e7871a79f983cc1050
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.3 /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.18.1 3.18.1
RUN opam reinstall dune.3.18.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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.18.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall TCSLib.0.2; \
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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'TCSLib.0.2' && 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 TCSLib.0.2) || true
RUN opam reinstall --with-test --verbose TCSLib.0.2; \
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-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'TCSLib.0.2' && 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-04-15 16:20.20: Using cache hint "ocaml/opam:debian-12-ocaml-4.14@sha256:ec682473bce2c2c47749ae1025968d0b585bdde0fcd2b8e7871a79f983cc1050-dune.3.18.1-TCSLib.0.2-45a9003972a4bc10898d8844bef612e0e0029914"
2025-04-15 16:20.20: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.14@sha256:ec682473bce2c2c47749ae1025968d0b585bdde0fcd2b8e7871a79f983cc1050)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /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.18.1 3.18.1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.18.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-12\\\"\"; 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.18.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 (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall TCSLib.0.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'TCSLib.0.2' && 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 TCSLib.0.2) || true"))
(run (shell "opam reinstall --with-test --verbose TCSLib.0.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'TCSLib.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-04-15 16:20.20: Waiting for resource in pool OCluster
2025-04-16 03:31.47: Waiting for worker…
2025-04-16 03:42.16: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 70b82be6e2 Merge pull request #27756 from chetmurthy/release-camlp5-8.03.04
Updating 70b82be6e2..45a9003972
Fast-forward
packages/chrome-trace/chrome-trace.3.18.1/opam | 41 ++++++++++++
.../dune-action-plugin.3.18.1/opam | 54 ++++++++++++++++
.../dune-build-info/dune-build-info.3.18.1/opam | 47 ++++++++++++++
.../dune-configurator.3.18.1/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.18.1/opam | 44 +++++++++++++
.../dune-private-libs.3.18.1/opam | 52 +++++++++++++++
packages/dune-rpc-lwt/dune-rpc-lwt.3.18.1/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.18.1/opam | 45 +++++++++++++
packages/dune-site/dune-site.3.18.1/opam | 39 ++++++++++++
packages/dune/dune.3.18.1/opam | 73 ++++++++++++++++++++++
packages/dyn/dyn.3.18.1/opam | 42 +++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.18.1/opam | 45 +++++++++++++
packages/ordering/ordering.3.18.1/opam | 40 ++++++++++++
packages/stdune/stdune.3.18.1/opam | 46 ++++++++++++++
packages/xdg/xdg.3.18.1/opam | 41 ++++++++++++
15 files changed, 703 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.18.1/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.18.1/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.18.1/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.18.1/opam
create mode 100644 packages/dune-glob/dune-glob.3.18.1/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.18.1/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.18.1/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.18.1/opam
create mode 100644 packages/dune-site/dune-site.3.18.1/opam
create mode 100644 packages/dune/dune.3.18.1/opam
create mode 100644 packages/dyn/dyn.3.18.1/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.18.1/opam
create mode 100644 packages/ordering/ordering.3.18.1/opam
create mode 100644 packages/stdune/stdune.3.18.1/opam
create mode 100644 packages/xdg/xdg.3.18.1/opam
(from ocaml/opam:debian-12-ocaml-4.14@sha256:ec682473bce2c2c47749ae1025968d0b585bdde0fcd2b8e7871a79f983cc1050)
2025-04-16 03:42.31 ---> using "c803204894feb69882c6f8a93debc38d237226aa0742423bb8ecaf2af7ff192b" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-04-16 03:42.31 ---> using "ece3a69ccd84d1bc3f538d5d927c0677b7135e0ed5c5cf4c9c4520c17f38358a" 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 development 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 39 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=39 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-04-16 03:42.31 ---> using "d5e769d11ef10526cdb73f418d047f005a7a5b69bb629bfc2d2d388c7c8b8cdf" 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.3.0 (35acd0c5abc5e66cdbd5be16ba77aa6c33a4c724)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=12
# 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-04-16 03:42.31 ---> using "715b54b0301c5ea573dce9ba6774fadf0f93b64dc7a24253bfe6c76c219d7da5" 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-04-16 03:42.31 ---> using "2963a137c235cb1efcbb6bb5c962ec263787dd9c8275045ae610283ae366c13d" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-04-16 03:42.32 ---> using "c09bf3edab97cea63fa144e6f5ecf2869b6fb4925fdd1aac25138a67330f6681" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-04-16 03:42.32 ---> using "1e72cc37196eed0f1745a95595b3baa136f4f1d0128340fbaf2f61ec1938d8f7" 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 bookworm InRelease
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [254 kB]
- Fetched 357 kB in 0s (1028 kB/s)
- Reading package lists...
2025-04-16 03:42.32 ---> using "fe6517cd124df9c409c133b211b90144cf0d720f10758432d957d3f65248f412" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.18.1 3.18.1"))
dune is now pinned to version 3.18.1
2025-04-16 03:42.32 ---> using "b69e631e72056489e8bc407f43af0cbbbcd1c8743d926f9c325953fb6150b7c1" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.18.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-12\\\"\"; 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.18.1' && 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.18.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.18.1 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.18.1 (cached)
-> installed dune.3.18.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-16 03:42.32 ---> using "392cf9f6cde6a55559abaa28e37ea51e00b3763906d43b01b6d320672d5e2f8e" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall TCSLib.0.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'TCSLib.0.2' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
TCSLib.0.2 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 6 packages
- install cppo 1.8.0 [required by extlib]
- install extlib 1.8.0 [required by TCSLib]
- install num 1.5-1 [required by TCSLib]
- install ocamlbuild 0.16.1 [required by TCSLib]
- install ocamlfind 1.9.8 [required by TCSLib]
- install TCSLib 0.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved extlib.1.8.0 (cached)
-> retrieved num.1.5-1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved TCSLib.0.2 (cached)
-> installed cppo.1.8.0
-> installed num.1.5-1
-> installed extlib.1.8.0
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed TCSLib.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-16 03:42.55 ---> saved as "62c89ed96d839dc18ea342406e601678d2835d1131c68f2bc8953e2209bc67d7"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test TCSLib.0.2) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile TCSLib 0.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved TCSLib.0.2 (https://github.com/tcsprojects/tcslib/archive/v0.2.tar.gz)
-> removed TCSLib.0.2
-> installed TCSLib.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-16 03:43.20 ---> saved as "fa51af9300239fd9c0cdd0952ff5192c23d2f1ee25839b6f09dfcf124af95f0d"
/home/opam: (run (shell "opam reinstall --with-test --verbose TCSLib.0.2;\
\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-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'TCSLib.0.2' && 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 TCSLib 0.2
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [TCSLib.0.2: extract]
-> retrieved TCSLib.0.2 (cached)
Processing 2/4: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.14/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.14/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.14/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.14/bin/ocamlbuild
- Package name: ........................................ TCSLib
- Package version: ..................................... 0.2
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.2
- standard_library_default: ............................ /home/opam/.opam/4.14/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.14/lib/ocaml
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/4.14
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.8
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... false
- pkg_extlib: .......................................... /home/opam/.opam/4.14/lib/extlib
-
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-build" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -config
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcslist.mli > src/data/tcslist.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcslist.cmi src/data/tcslist.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcslist.ml > src/data/tcslist.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsarray.mli > src/data/tcsarray.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsbasedata.mli > src/data/tcsbasedata.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsbasedata.cmi src/data/tcsbasedata.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsarray.cmi src/data/tcsarray.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsarray.ml > src/data/tcsarray.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsbasedata.ml > src/data/tcsbasedata.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcscache.mli > src/data/tcscache.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcscache.cmi src/data/tcscache.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcscache.ml > src/data/tcscache.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsset.mli > src/data/tcsset.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsset.cmi src/data/tcsset.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsgraph.mli > src/data/tcsgraph.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsgraph.cmi src/data/tcsgraph.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsgraph.ml > src/data/tcsgraph.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsmaths.mli > src/data/tcsmaths.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsmaths.cmi src/data/tcsmaths.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsmaths.ml > src/data/tcsmaths.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsqueue.mli > src/data/tcsqueue.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsqueue.cmi src/data/tcsqueue.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsqueue.ml > src/data/tcsqueue.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsset.ml > src/data/tcsset.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsstrings.mli > src/data/tcsstrings.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsstrings.cmi src/data/tcsstrings.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/tcsstrings.ml > src/data/tcsstrings.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsargs.mli > src/utils/tcsargs.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsargs.cmi src/utils/tcsargs.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsargs.ml > src/utils/tcsargs.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsmessage.mli > src/utils/tcsmessage.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsmessage.cmi src/utils/tcsmessage.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsmessage.ml > src/utils/tcsmessage.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsstats.mli > src/utils/tcsstats.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcstiming.mli > src/utils/tcstiming.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcstiming.cmi src/utils/tcstiming.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsstats.cmi src/utils/tcsstats.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcsstats.ml > src/utils/tcsstats.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/utils/tcstiming.ml > src/utils/tcstiming.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/fMap.mli > src/data/fMap.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fMap.cmi src/data/fMap.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/fMap.ml > src/data/fMap.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/fSet.mli > src/data/fSet.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fSet.cmi src/data/fSet.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/data/fSet.ml > src/data/fSet.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautohelper.mli > src/automata/tcsautohelper.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautomata.mli > src/automata/tcsautomata.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautomata.cmi src/automata/tcsautomata.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautohelper.cmi src/automata/tcsautohelper.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautohelper.ml > src/automata/tcsautohelper.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautomata.ml > src/automata/tcsautomata.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautotransform.mli > src/automata/tcsautotransform.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautotransform.cmi src/automata/tcsautotransform.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsautotransform.ml > src/automata/tcsautotransform.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsgames.mli > src/automata/tcsgames.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsgames.cmi src/automata/tcsgames.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcsgames.ml > src/automata/tcsgames.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcstransitionsys.mli > src/automata/tcstransitionsys.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcstransitionsys.cmi src/automata/tcstransitionsys.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/tcstransitionsys.ml > src/automata/tcstransitionsys.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautomataparser.mli > src/automata/parser/tcsautomataparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautomataparserinternal.mli > src/automata/parser/tcsautomataparserinternal.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparserinternal.cmi src/automata/parser/tcsautomataparserinternal.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparser.cmi src/automata/parser/tcsautomataparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautomataparser.ml > src/automata/parser/tcsautomataparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/automata/parser/tcsautomatalexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautomatalexer.ml > src/automata/parser/tcsautomatalexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/automata/parser/tcsautoparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautoparser.mli > src/automata/parser/tcsautoparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautoparser.cmi src/automata/parser/tcsautoparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomatalexer.cmo src/automata/parser/tcsautomatalexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsgameparser.mli > src/automata/parser/tcsgameparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparser.cmi src/automata/parser/tcsgameparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsgameparser.ml > src/automata/parser/tcsgameparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsgameparserinternal.mli > src/automata/parser/tcsgameparserinternal.mli.depends
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/automata/parser/tcsparitygamelexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitygamelexer.ml > src/automata/parser/tcsparitygamelexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparserinternal.cmi src/automata/parser/tcsgameparserinternal.mli
- + /home/opam/.opam/4.14/bin/ocamlyacc src/automata/parser/tcsparitygameparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitygameparser.mli > src/automata/parser/tcsparitygameparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitygameparser.cmi src/automata/parser/tcsparitygameparser.mli
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/automata/parser/tcsparitysolutionlexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitysolutionlexer.ml > src/automata/parser/tcsparitysolutionlexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/automata/parser/tcsparitysolutionparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitysolutionparser.mli > src/automata/parser/tcsparitysolutionparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitysolutionparser.cmi src/automata/parser/tcsparitysolutionparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitygamelexer.cmo src/automata/parser/tcsparitygamelexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitysolutionlexer.cmo src/automata/parser/tcsparitysolutionlexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstransitionsysparser.mli > src/automata/parser/tcstransitionsysparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparser.cmi src/automata/parser/tcstransitionsysparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstransitionsysparser.ml > src/automata/parser/tcstransitionsysparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/automata/parser/tcsltslexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsltslexer.ml > src/automata/parser/tcsltslexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/automata/parser/tcsltsparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsltsparser.mli > src/automata/parser/tcsltsparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.mli > src/automata/parser/tcstransitionsysparserinternal.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsltsparser.cmi src/automata/parser/tcsltsparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparserinternal.cmi src/automata/parser/tcstransitionsysparserinternal.mli
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/automata/parser/tcstslexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstslexer.ml > src/automata/parser/tcstslexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/automata/parser/tcstsparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstsparser.mli > src/automata/parser/tcstsparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstsparser.cmi src/automata/parser/tcstsparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsltslexer.cmo src/automata/parser/tcsltslexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstslexer.cmo src/automata/parser/tcstslexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/tcsmetaformula.mli > src/formula/tcsmetaformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula -o src/formula/tcsmetaformula.cmi src/formula/tcsmetaformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/tcsmetaformula.ml > src/formula/tcsmetaformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ctlstar/tcsctlstarformula.mli > src/formula/ctlstar/tcsctlstarformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ctlstar -o src/formula/ctlstar/tcsctlstarformula.cmi src/formula/ctlstar/tcsctlstarformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ctlstar/tcsctlstarformula.ml > src/formula/ctlstar/tcsctlstarformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ltl/tcsltlformula.mli > src/formula/ltl/tcsltlformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltl -o src/formula/ltl/tcsltlformula.cmi src/formula/ltl/tcsltlformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ltl/tcsltlformula.ml > src/formula/ltl/tcsltlformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ltmc/tcsltmcformula.mli > src/formula/ltmc/tcsltmcformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltmc -o src/formula/ltmc/tcsltmcformula.cmi src/formula/ltmc/tcsltmcformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/ltmc/tcsltmcformula.ml > src/formula/ltmc/tcsltmcformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/mmc/tcsmmcformula.mli > src/formula/mmc/tcsmmcformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/mmc -o src/formula/mmc/tcsmmcformula.cmi src/formula/mmc/tcsmmcformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/mmc/tcsmmcformula.ml > src/formula/mmc/tcsmmcformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/pdl/tcspdlformula.mli > src/formula/pdl/tcspdlformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/utils -I src/formula/pdl -o src/formula/pdl/tcspdlformula.cmi src/formula/pdl/tcspdlformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/pdl/tcspdlformula.ml > src/formula/pdl/tcspdlformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/parser/tcsformulaparse.mli > src/formula/parser/tcsformulaparse.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparse.cmi src/formula/parser/tcsformulaparse.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/parser/tcsformulaparse.ml > src/formula/parser/tcsformulaparse.ml.depends
- + /home/opam/.opam/4.14/bin/ocamllex.opt -q src/formula/parser/tcsformulalexer.mll
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/parser/tcsformulalexer.ml > src/formula/parser/tcsformulalexer.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlyacc src/formula/parser/tcsformulaparser.mly
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/parser/tcsformulaparser.mli > src/formula/parser/tcsformulaparser.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparser.cmi src/formula/parser/tcsformulaparser.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulalexer.cmo src/formula/parser/tcsformulalexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsgameparserinternal.ml > src/automata/parser/tcsgameparserinternal.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitygameparser.ml > src/automata/parser/tcsparitygameparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsparitysolutionparser.ml > src/automata/parser/tcsparitysolutionparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautomataparserinternal.ml > src/automata/parser/tcsautomataparserinternal.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsautoparser.ml > src/automata/parser/tcsautoparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/parser/tcsformulaparser.ml > src/formula/parser/tcsformulaparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/lmmc/tcslmmcformula.mli > src/formula/lmmc/tcslmmcformula.mli.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/lmmc -o src/formula/lmmc/tcslmmcformula.cmi src/formula/lmmc/tcslmmcformula.mli
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/formula/lmmc/tcslmmcformula.ml > src/formula/lmmc/tcslmmcformula.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.ml > src/automata/parser/tcstransitionsysparserinternal.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcsltsparser.ml > src/automata/parser/tcsltsparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamldep -package extlib -modules src/automata/parser/tcstsparser.ml > src/automata/parser/tcstsparser.ml.depends
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcslist.cmo src/data/tcslist.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsarray.cmo src/data/tcsarray.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsbasedata.cmo src/data/tcsbasedata.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcscache.cmo src/data/tcscache.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsgraph.cmo src/data/tcsgraph.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsmaths.cmo src/data/tcsmaths.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsqueue.cmo src/data/tcsqueue.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsset.cmo src/data/tcsset.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsset.cmo src/data/tcsset.ml
- File "src/data/tcsset.ml", line 43, characters 9-23:
- 43 | 1 + Pervasives.max (height left) (height right)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsstrings.cmo src/data/tcsstrings.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsargs.cmo src/utils/tcsargs.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsmessage.cmo src/utils/tcsmessage.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsstats.cmo src/utils/tcsstats.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcstiming.cmo src/utils/tcstiming.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fMap.cmo src/data/fMap.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fSet.cmo src/data/fSet.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautohelper.cmo src/automata/tcsautohelper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautomata.cmo src/automata/tcsautomata.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautotransform.cmo src/automata/tcsautotransform.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsgames.cmo src/automata/tcsgames.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcstransitionsys.cmo src/automata/tcstransitionsys.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparser.cmo src/automata/parser/tcsautomataparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparser.cmo src/automata/parser/tcsgameparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparser.cmo src/automata/parser/tcstransitionsysparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula -o src/formula/tcsmetaformula.cmo src/formula/tcsmetaformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ctlstar -o src/formula/ctlstar/tcsctlstarformula.cmo src/formula/ctlstar/tcsctlstarformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltl -o src/formula/ltl/tcsltlformula.cmo src/formula/ltl/tcsltlformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltmc -o src/formula/ltmc/tcsltmcformula.cmo src/formula/ltmc/tcsltmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/mmc -o src/formula/mmc/tcsmmcformula.cmo src/formula/mmc/tcsmmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/utils -I src/formula/pdl -o src/formula/pdl/tcspdlformula.cmo src/formula/pdl/tcspdlformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparse.cmo src/formula/parser/tcsformulaparse.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparserinternal.cmo src/automata/parser/tcsgameparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitygameparser.cmo src/automata/parser/tcsparitygameparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitysolutionparser.cmo src/automata/parser/tcsparitysolutionparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparserinternal.cmo src/automata/parser/tcsautomataparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautoparser.cmo src/automata/parser/tcsautoparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparser.cmo src/formula/parser/tcsformulaparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/lmmc -o src/formula/lmmc/tcslmmcformula.cmo src/formula/lmmc/tcslmmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparserinternal.cmo src/automata/parser/tcstransitionsysparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsltsparser.cmo src/automata/parser/tcsltsparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstsparser.cmo src/automata/parser/tcstsparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlc -a -I src/data -I src/utils -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/formula/parser -I src/formula/lmmc src/data/tcslist.cmo src/data/tcsbasedata.cmo src/data/tcsarray.cmo src/data/tcsset.cmo src/data/tcscache.cmo src/data/tcsgraph.cmo src/data/tcsmaths.cmo src/data/tcsqueue.cmo src/data/tcsstrings.cmo src/utils/tcsargs.cmo src/utils/tcsmessage.cmo src/utils/tcstiming.cmo src/utils/tcsstats.cmo src/data/fMap.cmo src/data/fSet.cmo src/automata/tcsautomata.cmo src/automata/tcsautohelper.cmo src/automata/tcsautotransform.cmo src/automata/tcsgames.cmo src/automata/tcstransitionsys.cmo src/automata/parser/tcsautomataparserinternal.cmo src/automata/parser/tcsautoparser.cmo src/automata/parser/tcsautomatalexer.cmo src/automata/parser/tcsautomataparser.cmo src/automata/parser/tcsgameparserinternal.cmo src/automata/parser/tcsparitygameparser.cmo src/automata/parser/tcsparitygamelexer.cmo src/automata/parser/tcsparitysolutionparser.cmo src/automata/parser/tcsparitysolutionlexer.cmo src/automata/parser/tcsgameparser.cmo src/automata/parser/tcstransitionsysparserinternal.cmo src/automata/parser/tcsltsparser.cmo src/automata/parser/tcsltslexer.cmo src/automata/parser/tcstsparser.cmo src/automata/parser/tcstslexer.cmo src/automata/parser/tcstransitionsysparser.cmo src/formula/tcsmetaformula.cmo src/formula/ctlstar/tcsctlstarformula.cmo src/formula/ltl/tcsltlformula.cmo src/formula/ltmc/tcsltmcformula.cmo src/formula/mmc/tcsmmcformula.cmo src/formula/pdl/tcspdlformula.cmo src/formula/parser/tcsformulaparser.cmo src/formula/parser/tcsformulalexer.cmo src/formula/parser/tcsformulaparse.cmo src/formula/lmmc/tcslmmcformula.cmo -o src/TCSLib.cma
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsbasedata.cmx src/data/tcsbasedata.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsarray.cmx src/data/tcsarray.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcslist.cmx src/data/tcslist.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsset.cmx src/data/tcsset.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsset.cmx src/data/tcsset.ml
- File "src/data/tcsset.ml", line 43, characters 9-23:
- 43 | 1 + Pervasives.max (height left) (height right)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcscache.cmx src/data/tcscache.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsstrings.cmx src/data/tcsstrings.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcstiming.cmx src/utils/tcstiming.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautomata.cmx src/automata/tcsautomata.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparserinternal.cmx src/automata/parser/tcsautomataparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautoparser.cmx src/automata/parser/tcsautoparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomatalexer.cmx src/automata/parser/tcsautomatalexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsgames.cmx src/automata/tcsgames.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparserinternal.cmx src/automata/parser/tcsgameparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitygameparser.cmx src/automata/parser/tcsparitygameparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitysolutionparser.cmx src/automata/parser/tcsparitysolutionparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitygamelexer.cmx src/automata/parser/tcsparitygamelexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsparitysolutionlexer.cmx src/automata/parser/tcsparitysolutionlexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparserinternal.cmx src/automata/parser/tcstransitionsysparserinternal.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsltsparser.cmx src/automata/parser/tcsltsparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcstransitionsys.cmx src/automata/tcstransitionsys.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstsparser.cmx src/automata/parser/tcstsparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsltslexer.cmx src/automata/parser/tcsltslexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstslexer.cmx src/automata/parser/tcstslexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula -o src/formula/tcsmetaformula.cmx src/formula/tcsmetaformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparser.cmx src/formula/parser/tcsformulaparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulalexer.cmx src/formula/parser/tcsformulalexer.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsgraph.cmx src/data/tcsgraph.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsmaths.cmx src/data/tcsmaths.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/tcsqueue.cmx src/data/tcsqueue.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsargs.cmx src/utils/tcsargs.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsmessage.cmx src/utils/tcsmessage.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -o src/utils/tcsstats.cmx src/utils/tcsstats.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fMap.cmx src/data/fMap.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/data -o src/data/fSet.cmx src/data/fSet.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautohelper.cmx src/automata/tcsautohelper.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata -o src/automata/tcsautotransform.cmx src/automata/tcsautotransform.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsautomataparser.cmx src/automata/parser/tcsautomataparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcsgameparser.cmx src/automata/parser/tcsgameparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/automata/parser -o src/automata/parser/tcstransitionsysparser.cmx src/automata/parser/tcstransitionsysparser.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ctlstar -o src/formula/ctlstar/tcsctlstarformula.cmx src/formula/ctlstar/tcsctlstarformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltl -o src/formula/ltl/tcsltlformula.cmx src/formula/ltl/tcsltlformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/ltmc -o src/formula/ltmc/tcsltmcformula.cmx src/formula/ltmc/tcsltmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/mmc -o src/formula/mmc/tcsmmcformula.cmx src/formula/mmc/tcsmmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/utils -I src/formula/pdl -o src/formula/pdl/tcspdlformula.cmx src/formula/pdl/tcspdlformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/lmmc -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/utils -I src/formula/parser -o src/formula/parser/tcsformulaparse.cmx src/formula/parser/tcsformulaparse.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package extlib -I src -I src/automata -I src/automata/parser -I src/data -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/parser -I src/formula/pdl -I src/utils -I src/formula/lmmc -o src/formula/lmmc/tcslmmcformula.cmx src/formula/lmmc/tcslmmcformula.ml
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -a -I src/data -I src/utils -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/formula/parser -I src/formula/lmmc src/data/tcslist.cmx src/data/tcsbasedata.cmx src/data/tcsarray.cmx src/data/tcsset.cmx src/data/tcscache.cmx src/data/tcsgraph.cmx src/data/tcsmaths.cmx src/data/tcsqueue.cmx src/data/tcsstrings.cmx src/utils/tcsargs.cmx src/utils/tcsmessage.cmx src/utils/tcstiming.cmx src/utils/tcsstats.cmx src/data/fMap.cmx src/data/fSet.cmx src/automata/tcsautomata.cmx src/automata/tcsautohelper.cmx src/automata/tcsautotransform.cmx src/automata/tcsgames.cmx src/automata/tcstransitionsys.cmx src/automata/parser/tcsautomataparserinternal.cmx src/automata/parser/tcsautoparser.cmx src/automata/parser/tcsautomatalexer.cmx src/automata/parser/tcsautomataparser.cmx src/automata/parser/tcsgameparserinternal.cmx src/automata/parser/tcsparitygameparser.cmx src/automata/parser/tcsparitygamelexer.cmx src/automata/parser/tcsparitysolutionparser.cmx src/automata/parser/tcsparitysolutionlexer.cmx src/automata/parser/tcsgameparser.cmx src/automata/parser/tcstransitionsysparserinternal.cmx src/automata/parser/tcsltsparser.cmx src/automata/parser/tcsltslexer.cmx src/automata/parser/tcstsparser.cmx src/automata/parser/tcstslexer.cmx src/automata/parser/tcstransitionsysparser.cmx src/formula/tcsmetaformula.cmx src/formula/ctlstar/tcsctlstarformula.cmx src/formula/ltl/tcsltlformula.cmx src/formula/ltmc/tcsltmcformula.cmx src/formula/mmc/tcsmmcformula.cmx src/formula/pdl/tcspdlformula.cmx src/formula/parser/tcsformulaparser.cmx src/formula/parser/tcsformulalexer.cmx src/formula/parser/tcsformulaparse.cmx src/formula/lmmc/tcslmmcformula.cmx -o src/TCSLib.cmxa
- + /home/opam/.opam/4.14/bin/ocamlfind ocamlopt -shared -I src -I src/data -I src/utils -I src/automata -I src/automata/parser -I src/formula -I src/formula/ctlstar -I src/formula/ltl -I src/formula/ltmc -I src/formula/mmc -I src/formula/pdl -I src/formula/parser -I src/formula/lmmc src/TCSLib.cmxa src/data/tcslist.cmx src/data/tcsbasedata.cmx src/data/tcsarray.cmx src/data/tcsset.cmx src/data/tcscache.cmx src/data/tcsgraph.cmx src/data/tcsmaths.cmx src/data/tcsqueue.cmx src/data/tcsstrings.cmx src/utils/tcsargs.cmx src/utils/tcsmessage.cmx src/utils/tcstiming.cmx src/utils/tcsstats.cmx src/data/fMap.cmx src/data/fSet.cmx src/automata/tcsautomata.cmx src/automata/tcsautohelper.cmx src/automata/tcsautotransform.cmx src/automata/tcsgames.cmx src/automata/tcstransitionsys.cmx src/automata/parser/tcsautomataparserinternal.cmx src/automata/parser/tcsautoparser.cmx src/automata/parser/tcsautomatalexer.cmx src/automata/parser/tcsautomataparser.cmx src/automata/parser/tcsgameparserinternal.cmx src/automata/parser/tcsparitygameparser.cmx src/automata/parser/tcsparitygamelexer.cmx src/automata/parser/tcsparitysolutionparser.cmx src/automata/parser/tcsparitysolutionlexer.cmx src/automata/parser/tcsgameparser.cmx src/automata/parser/tcstransitionsysparserinternal.cmx src/automata/parser/tcsltsparser.cmx src/automata/parser/tcsltslexer.cmx src/automata/parser/tcstsparser.cmx src/automata/parser/tcstslexer.cmx src/automata/parser/tcstransitionsysparser.cmx src/formula/tcsmetaformula.cmx src/formula/ctlstar/tcsctlstarformula.cmx src/formula/ltl/tcsltlformula.cmx src/formula/ltmc/tcsltmcformula.cmx src/formula/mmc/tcsmmcformula.cmx src/formula/pdl/tcspdlformula.cmx src/formula/parser/tcsformulaparser.cmx src/formula/parser/tcsformulalexer.cmx src/formula/parser/tcsformulaparse.cmx src/formula/lmmc/tcslmmcformula.cmx -o src/TCSLib.cmxs
- + ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.14/lib/ocamlbuild /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "myocamlbuild.ml", line 460, characters 8-19:
- 460 | Stream.from
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 463, characters 21-32:
- 463 | match Stream.next st with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 18-32:
- 466 | with Stream.Failure -> None)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 468, characters 6-23:
- 468 | Genlex.make_lexer ["="] st_line
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 471, characters 12-24:
- 471 | match Stream.npeek 3 lxr with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 9-21:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 26-36:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 472, characters 42-55:
- 472 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 8-19:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 25-36:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 473, characters 42-53:
- 473 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 485, characters 17-34:
- 485 | let st = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--enable-tests" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.14/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.14/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.14/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.14/bin/ocamlbuild
- Package name: ........................................ TCSLib
- Package version: ..................................... 0.2
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.2
- standard_library_default: ............................ /home/opam/.opam/4.14/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.14/lib/ocaml
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- model: ............................................... default
- ext_obj: ............................................. .o
- ext_asm: ............................................. .s
- ext_lib: ............................................. .a
- ext_dll: ............................................. .so
- default_executable_name: ............................. a.out
- systhread_supported: ................................. true
- Install architecture-independent files dir: .......... /home/opam/.opam/4.14
- Install architecture-dependent files in dir: ......... $prefix
- User executables: .................................... $exec_prefix/bin
- System admin executables: ............................ $exec_prefix/sbin
- Program executables: ................................. $exec_prefix/libexec
- Read-only single-machine data: ....................... $prefix/etc
- Modifiable architecture-independent data: ............ $prefix/com
- Modifiable single-machine data: ...................... $prefix/var
- Object code libraries: ............................... $exec_prefix/lib
- Read-only arch-independent data root: ................ $prefix/share
- Read-only architecture-independent data: ............. $datarootdir
- Info documentation: .................................. $datarootdir/info
- Locale-dependent data: ............................... $datarootdir/locale
- Man documentation: ................................... $datarootdir/man
- Documentation root: .................................. $datarootdir/doc/$pkg_name
- HTML documentation: .................................. $docdir
- DVI documentation: ................................... $docdir
- PDF documentation: ................................... $docdir
- PS documentation: .................................... $docdir
- findlib_version: ..................................... 1.9.8
- is_native: ........................................... true
- suffix_program: ......................................
- Remove a file.: ...................................... rm -f
- Remove a directory.: ................................. rm -rf
- Turn ocaml debug flag on: ............................ true
- Turn ocaml profile flag on: .......................... false
- Compiler support generation of .cmxs.: ............... true
- OCamlbuild additional flags: .........................
- Create documentations: ............................... true
- Compile tests executable and library and run them: ... true
- pkg_extlib: .......................................... /home/opam/.opam/4.14/lib/extlib
-
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-build" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- + ocamlfind ocamlc -config
- + ocamlfind ocamlc -config
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-test" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled TCSLib.0.2
Processing 3/4: [TCSLib: ocamlfind remove]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "remove" "ocamlfind" "remove" "TCSLib"
- Removed /home/opam/.opam/4.14/lib/TCSLib/META
- Removed /home/opam/.opam/4.14/lib/TCSLib
-> removed TCSLib.0.2
Processing 4/4: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocaml" "setup.ml" "-install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/TCSLib.0.2)
- File "./setup.ml", line 581, characters 4-15:
- 581 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 609, characters 19-36:
- 609 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 616, characters 37-48:
- 616 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 619, characters 17-31:
- 619 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1437, characters 16-33:
- 1437 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1439, characters 22-38:
- 1439 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1440, characters 14-26:
- 1440 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 11-23:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1441, characters 28-40:
- 1441 | | [Genlex.Ident fn; Genlex.Ident nm] -> Call(fn, Ident nm)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 11-23:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1442, characters 28-41:
- 1442 | | [Genlex.Ident fn; Genlex.String str] -> Call(fn, String str)
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1443, characters 11-24:
- 1443 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1444, characters 11-23:
- 1444 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1781, characters 22-40:
- 1781 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 3182, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3185, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3190, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3193, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3194, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3195, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3207, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3332, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3351, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3353, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3354, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3356, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3358, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3360, characters 46-59:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3362, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3375, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3473, characters 16-34:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "setup.ml", line 4524, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4526, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4527, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4529, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- W: Cannot find source header for module library in data/Tcslist TCSLib
- W: Cannot find source header for module library in data/Tcsarray TCSLib
- W: Cannot find source header for module library in data/Tcsbasedata TCSLib
- W: Cannot find source header for module library in data/Tcscache TCSLib
- W: Cannot find source header for module library in data/Tcsgraph TCSLib
- W: Cannot find source header for module library in data/Tcsmaths TCSLib
- W: Cannot find source header for module library in data/Tcsqueue TCSLib
- W: Cannot find source header for module library in data/Tcsset TCSLib
- W: Cannot find source header for module library in data/Tcsstrings TCSLib
- W: Cannot find source header for module library in utils/Tcsargs TCSLib
- W: Cannot find source header for module library in utils/Tcsmessage TCSLib
- W: Cannot find source header for module library in utils/Tcsstats TCSLib
- W: Cannot find source header for module library in utils/Tcstiming TCSLib
- W: Cannot find source header for module library in data/FMap TCSLib
- W: Cannot find source header for module library in data/FSet TCSLib
- W: Cannot find source header for module library in automata/Tcsautohelper TCSLib
- W: Cannot find source header for module library in automata/Tcsautomata TCSLib
- W: Cannot find source header for module library in automata/Tcsautotransform TCSLib
- W: Cannot find source header for module library in automata/Tcsgames TCSLib
- W: Cannot find source header for module library in automata/Tcstransitionsys TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsautomataparser TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsgameparser TCSLib
- W: Cannot find source header for module library in automata/parser/Tcstransitionsysparser TCSLib
- W: Cannot find source header for module library in formula/Tcsmetaformula TCSLib
- W: Cannot find source header for module library in formula/ctlstar/Tcsctlstarformula TCSLib
- W: Cannot find source header for module library in formula/ltl/Tcsltlformula TCSLib
- W: Cannot find source header for module library in formula/ltmc/Tcsltmcformula TCSLib
- W: Cannot find source header for module library in formula/mmc/Tcsmmcformula TCSLib
- W: Cannot find source header for module library in formula/pdl/Tcspdlformula TCSLib
- W: Cannot find source header for module library in formula/parser/Tcsformulaparse TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsgameparserinternal TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsparitysolutionlexer TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsparitygameparser TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsparitygamelexer TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsparitysolutionparser TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsautomataparserinternal TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsautomatalexer TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsautoparser TCSLib
- W: Cannot find source header for module library in formula/parser/Tcsformulaparser TCSLib
- W: Cannot find source header for module library in formula/parser/Tcsformulalexer TCSLib
- W: Cannot find source header for module library in formula/lmmc/Tcslmmcformula TCSLib
- W: Cannot find source header for module library in automata/parser/Tcstslexer TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsltslexer TCSLib
- W: Cannot find source header for module library in automata/parser/Tcstransitionsysparserinternal TCSLib
- W: Cannot find source header for module library in automata/parser/Tcsltsparser TCSLib
- W: Cannot find source header for module library in automata/parser/Tcstsparser TCSLib
- Installed /home/opam/.opam/4.14/lib/TCSLib/TCSLib.cma
- Installed /home/opam/.opam/4.14/lib/TCSLib/TCSLib.cmxa
- Installed /home/opam/.opam/4.14/lib/TCSLib/TCSLib.a
- Installed /home/opam/.opam/4.14/lib/TCSLib/TCSLib.cmxs
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstsparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstsparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstsparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstsparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltsparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltsparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltsparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltsparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparserinternal.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparserinternal.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparserinternal.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparserinternal.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltslexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltslexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltslexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstslexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstslexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstslexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslmmcformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslmmcformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslmmcformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslmmcformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulalexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulalexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulalexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautoparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautoparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautoparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautoparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomatalexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomatalexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomatalexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparserinternal.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparserinternal.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparserinternal.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparserinternal.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygamelexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygamelexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygamelexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygameparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygameparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygameparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygameparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionlexer.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionlexer.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionlexer.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparserinternal.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparserinternal.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparserinternal.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparserinternal.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparse.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparse.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparse.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparse.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcspdlformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcspdlformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcspdlformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcspdlformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmmcformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmmcformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmmcformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmmcformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltmcformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltmcformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltmcformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltmcformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltlformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltlformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltlformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltlformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsctlstarformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsctlstarformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsctlstarformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsctlstarformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmetaformula.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmetaformula.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmetaformula.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmetaformula.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparser.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparser.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparser.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparser.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsys.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsys.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsys.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsys.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgames.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgames.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgames.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgames.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautotransform.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautotransform.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautotransform.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautotransform.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomata.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomata.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomata.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomata.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautohelper.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautohelper.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautohelper.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautohelper.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/fSet.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/fSet.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/fSet.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/fSet.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/fMap.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/fMap.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/fMap.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/fMap.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstiming.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstiming.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstiming.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstiming.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstats.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstats.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstats.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstats.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmessage.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmessage.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmessage.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmessage.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsargs.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsargs.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsargs.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsargs.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstrings.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstrings.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstrings.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstrings.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsset.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsset.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsset.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsset.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsqueue.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsqueue.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsqueue.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsqueue.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmaths.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmaths.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmaths.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmaths.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgraph.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgraph.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgraph.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgraph.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcscache.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcscache.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcscache.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcscache.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsbasedata.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsbasedata.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsbasedata.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsbasedata.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsarray.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsarray.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsarray.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsarray.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslist.cmi
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslist.cmti
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslist.cmt
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslist.annot
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstsparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltsparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparserinternal.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltslexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstslexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslmmcformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulalexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautoparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomatalexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparserinternal.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygamelexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitygameparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsparitysolutionlexer.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparserinternal.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsformulaparse.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcspdlformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmmcformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltmcformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsltlformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsctlstarformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmetaformula.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsysparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgameparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomataparser.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstransitionsys.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgames.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautotransform.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautomata.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsautohelper.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/fSet.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/fMap.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcstiming.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstats.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmessage.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsargs.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsstrings.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsset.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsqueue.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsmaths.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsgraph.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcscache.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsbasedata.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcsarray.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/tcslist.cmx
- Installed /home/opam/.opam/4.14/lib/TCSLib/META
-> installed TCSLib.0.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-04-16 03:43.44 ---> saved as "58ebb152be4e52f466f9def025edda743368e1100fa4f0eb32ef1220d5c3b0c9"
Job succeeded
2025-04-16 03:43.55: Job succeeded