Building on summer
(from freebsd)
2024-06-04 20:41.09 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2024-06-04 20:41.09 ---> using "a2b22593046b56fadc85e22b0da7b84e903c1f5aa4d42a7c481121ceec28b31f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 5979d639be2999663a41c1d1b8a73ce3036dcb41"))
2024-06-04 20:41.09 ---> using "2e94e5004b03fe08a15876e59bd907e053f5652a7b55cefeb621755911d262e4" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-06-04 20:41.10 ---> using "b4bc54507f76941ccbefe785580d5364ddec85b9b50664d9209890a6feda03ee" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2024-06-04 20:41.10 ---> using "e855cd2b85c6094a1ea1ba91b125bd826adfb63b8e9b574f01526e51b39ae9ac" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2024-06-04 20:41.10 ---> using "6cb695ec395392559b6be09284f12b2de41beca3380655387f54a53db6e3412a" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"TCSLib.0.3\"\
\nopam install -vy \"TCSLib.0.3\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"TCSLib.0.3\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] TCSLib.0.3 is not installed.
Nothing to do.
The following actions will be performed:
=== install 7 packages
- install cppo 1.6.9 [required by extlib]
- install dune 3.15.3 [required by extlib]
- install extlib 1.7.9 [required by TCSLib]
- install num 1.5 [required by TCSLib]
- install ocamlbuild 0.14.3 [required by TCSLib]
- install ocamlfind 1.9.6 [required by TCSLib]
- install TCSLib 0.3
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/21:
Processing 2/21:
Processing 3/21:
-> retrieved cppo.1.6.9 (cached)
Processing 4/21:
-> retrieved extlib.1.7.9 (cached)
Processing 5/21:
-> retrieved num.1.5 (cached)
Processing 6/21:
Processing 7/21: [num: gmake opam-legacy]
-> retrieved ocamlbuild.0.14.3 (cached)
Processing 8/21: [TCSLib.0.3: http] [num: gmake opam-legacy]
Processing 9/21: [TCSLib.0.3: http] [num: gmake opam-legacy] [ocamlbuild: gmake configure.make]
-> retrieved ocamlfind.1.9.6 (cached)
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 10/21: [TCSLib.0.3: http] [num: gmake opam-legacy] [ocamlbuild: gmake configure.make] [ocamlfind: patch]
+ /usr/local/bin/gmake "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.14.1" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.14.1/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.14.1/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.14.1/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.14.1/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.14.1/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.14.1/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/4.14.1"; \
- echo "BINDIR=/home/opam/.opam/4.14.1/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.14.1/lib"; \
- echo "MANDIR=/home/opam/.opam/4.14.1/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.14.1/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.14.1/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.3"'; \
- ) > src/ocamlbuild_config.ml
Processing 10/21: [TCSLib.0.3: http] [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: patch]
Processing 10/21: [TCSLib.0.3: http] [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
Processing 10/21: [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved TCSLib.0.3 (https://github.com/tcsprojects/tcslib/archive/v0.3.tar.gz)
+ /home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/./configure "-bindir" "/home/opam/.opam/4.14.1/bin" "-sitelib" "/home/opam/.opam/4.14.1/lib" "-mandir" "/home/opam/.opam/4.14.1/man" "-config" "/home/opam/.opam/4.14.1/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.14.1/lib/ocaml
- Binaries: /home/opam/.opam/4.14.1/bin
- Manual pages: /home/opam/.opam/4.14.1/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.14.1/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.14.1/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.14.1/bin
- Manual pages: /home/opam/.opam/4.14.1/man
- topfind script: /home/opam/.opam/4.14.1/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 10/21: [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all]
-> retrieved dune.3.15.3 (cached)
Processing 11/21: [dune: ocaml 15] [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all]
+ /usr/local/bin/gmake "all" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14.1/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14.1/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.14.1/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14.1/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
Processing 11/21: [dune: ocaml 15] [num: gmake opam-legacy] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5)
- /usr/local/bin/gmake -C src all
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/num.1.5/src'
- cp src/num-legacy.install num.install
-> compiled num.1.5
Processing 11/21: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt]
-> installed num.1.5
Processing 12/21: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt]
+ /usr/local/bin/gmake "opt" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 12/21: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled]
Processing 13/21: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3)
- if test -d /home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- /usr/local/bin/gmake ocamlbuild.install
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/local/bin/gmake install-bin-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/local/bin/gmake install-lib-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'lib: [' >> ocamlbuild.install
- /usr/local/bin/gmake install-lib-basics-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/local/bin/gmake install-lib-byte-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/local/bin/gmake install-lib-native-opam
- gmake[3]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/local/bin/gmake install-man-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- /usr/local/bin/gmake install-doc-opam
- gmake[2]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- gmake[2]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.3'
-> compiled ocamlbuild.0.14.3
Processing 13/21: [dune: ocaml 15] [ocamlfind: gmake install]
+ /usr/local/bin/gmake "install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.14.1/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14.1/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.14.1/bin"
- install -d "/home/opam/.opam/4.14.1/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14.1/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14.1/lib/findlib.conf"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14.1/lib/findlib"
- install -d "/home/opam/.opam/4.14.1/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14.1/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14.1/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.14.1/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14.1/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14.1/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/home/opam/.opam/4.14.1/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.14.1/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14.1/man/man1" "/home/opam/.opam/4.14.1/man/man3" "/home/opam/.opam/4.14.1/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14.1/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14.1/man/man5"
- gmake[1]: Leaving directory '/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 13/21: [dune: ocaml 15]
-> installed ocamlbuild.0.14.3
Processing 14/21: [dune: ocaml 15]
+ /home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.15.3)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- /tmp/camlobj46d65a.c:16598:14: warning: a function declaration without a prototype is deprecated in all versions of C and is treated as a zero-parameter prototype in C2x, conflicting with a previous declaration [-Wdeprecated-non-prototype]
- extern value caml_get_public_method();
- ^
- /home/opam/.opam/4.14.1/lib/ocaml/caml/mlvalues.h:236:18: note: conflicting prototype is here
- CAMLextern value caml_get_public_method (value obj, value tag);
- ^
- /tmp/camlobj46d65a.c:16780:14: warning: a function declaration without a prototype is deprecated in all versions of C and is treated as a zero-parameter prototype in C2x, conflicting with a previous declaration [-Wdeprecated-non-prototype]
- extern value caml_set_oo_id();
- ^
- /home/opam/.opam/4.14.1/lib/ocaml/caml/mlvalues.h:413:18: note: conflicting prototype is here
- CAMLextern value caml_set_oo_id(value obj);
- ^
- 2 warnings generated.
- ./.duneboot.exe -j 15
- cd _boot && /home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml
- File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml
- File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14.1/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml
- File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_, Checksum_mismatch _)
-
Processing 14/21: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/4.14.1/.opam-switch/build/dune.3.15.3/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.15.3)
-> compiled dune.3.15.3
-> installed dune.3.15.3
Processing 16/21: [cppo: dune build]
+ /home/opam/.opam/4.14.1/bin/dune "build" "-p" "cppo" "-j" "15" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/cppo.1.6.9)
-> compiled cppo.1.6.9
-> installed cppo.1.6.9
Processing 18/21: [extlib: dune build]
+ /home/opam/.opam/4.14.1/bin/dune "build" "-p" "extlib" "-j" "15" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/extlib.1.7.9)
-> compiled extlib.1.7.9
-> installed extlib.1.7.9
Processing 20/21: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/4.14.1/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.14.1" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/TCSLib.0.3)
- File "./setup.ml", line 575, characters 4-15:
- 575 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 | | [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 1435, characters 28-40:
- 1435 | | [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 1436, characters 11-23:
- 1436 | | [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 1436, characters 28-41:
- 1436 | | [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 1437, characters 11-24:
- 1437 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 | 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 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- 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 46-59:
- 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 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, 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 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.14.1/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.14.1/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.14.1/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.14.1/bin/ocamlbuild
- Package name: ........................................ TCSLib
- Package version: ..................................... 0.3
- os_type: ............................................. Unix
- system: .............................................. freebsd
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.14.1
- standard_library_default: ............................ /home/opam/.opam/4.14.1/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.14.1/lib/ocaml
- bytecomp_c_compiler: ................................. cc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -D_FILE_OFFSET_BITS=64
- native_c_compiler: ................................... cc -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.1
- 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.6
- 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_num: ............................................. /home/opam/.opam/4.14.1/lib/num
- pkg_extlib: .......................................... /home/opam/.opam/4.14.1/lib/extlib
-
+ /home/opam/.opam/4.14.1/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/TCSLib.0.3)
- File "./setup.ml", line 575, characters 4-15:
- 575 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 | | [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 1435, characters 28-40:
- 1435 | | [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 1436, characters 11-23:
- 1436 | | [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 1436, characters 28-41:
- 1436 | | [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 1437, characters 11-24:
- 1437 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 | 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 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- 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 46-59:
- 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 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, 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 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 32-43:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.14.1/lib/ocamlbuild /home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.mli > src/data/tcslist.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.ml > src/data/tcslist.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.mli > src/data/tcsarray.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.mli > src/data/tcsbasedata.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.ml > src/data/tcsarray.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.ml > src/data/tcsbasedata.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.mli > src/data/tcscache.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.ml > src/data/tcscache.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.mli > src/data/tcsset.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.mli > src/data/tcsgraph.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.ml > src/data/tcsgraph.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.mli > src/data/tcsmaths.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.ml > src/data/tcsmaths.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.mli > src/data/tcsqueue.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.ml > src/data/tcsqueue.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.ml > src/data/tcsset.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.mli > src/data/tcsstrings.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.ml > src/data/tcsstrings.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.mli > src/utils/tcsargs.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.ml > src/utils/tcsargs.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.mli > src/utils/tcsmessage.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.ml > src/utils/tcsmessage.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.mli > src/utils/tcsstats.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.mli > src/utils/tcstiming.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.ml > src/utils/tcsstats.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.ml > src/utils/tcstiming.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.mli > src/data/fMap.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.ml > src/data/fMap.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.mli > src/data/fSet.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.ml > src/data/fSet.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.mli > src/automata/tcsautohelper.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.mli > src/automata/tcsautomata.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.ml > src/automata/tcsautohelper.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.ml > src/automata/tcsautomata.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.mli > src/automata/tcsautotransform.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.ml > src/automata/tcsautotransform.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.mli > src/automata/tcsgames.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.ml > src/automata/tcsgames.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.mli > src/automata/tcstransitionsys.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.ml > src/automata/tcstransitionsys.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.mli > src/automata/parser/tcsautomataparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.mli > src/automata/parser/tcsautomataparserinternal.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.ml > src/automata/parser/tcsautomataparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/automata/parser/tcsautomatalexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomatalexer.ml > src/automata/parser/tcsautomatalexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlyacc src/automata/parser/tcsautoparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.mli > src/automata/parser/tcsautoparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.mli > src/automata/parser/tcsgameparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.ml > src/automata/parser/tcsgameparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.mli > src/automata/parser/tcsgameparserinternal.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/automata/parser/tcsparitygamelexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygamelexer.ml > src/automata/parser/tcsparitygamelexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlyacc src/automata/parser/tcsparitygameparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.mli > src/automata/parser/tcsparitygameparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamllex.opt -q src/automata/parser/tcsparitysolutionlexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionlexer.ml > src/automata/parser/tcsparitysolutionlexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlyacc src/automata/parser/tcsparitysolutionparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.mli > src/automata/parser/tcsparitysolutionparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.mli > src/automata/parser/tcstransitionsysparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.ml > src/automata/parser/tcstransitionsysparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/automata/parser/tcsltslexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltslexer.ml > src/automata/parser/tcsltslexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlyacc src/automata/parser/tcsltsparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.mli > src/automata/parser/tcsltsparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.mli > src/automata/parser/tcstransitionsysparserinternal.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamllex.opt -q src/automata/parser/tcstslexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstslexer.ml > src/automata/parser/tcstslexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlyacc src/automata/parser/tcstsparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.mli > src/automata/parser/tcstsparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.mli > src/formula/tcsmetaformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.ml > src/formula/tcsmetaformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.mli > src/formula/ctlstar/tcsctlstarformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.ml > src/formula/ctlstar/tcsctlstarformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.mli > src/formula/ltl/tcsltlformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.ml > src/formula/ltl/tcsltlformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.mli > src/formula/ltmc/tcsltmcformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.ml > src/formula/ltmc/tcsltmcformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.mli > src/formula/mmc/tcsmmcformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.ml > src/formula/mmc/tcsmmcformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.mli > src/formula/pdl/tcspdlformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.ml > src/formula/pdl/tcspdlformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.mli > src/formula/parser/tcsformulaparse.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.ml > src/formula/parser/tcsformulaparse.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/formula/parser/tcsformulalexer.mll
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulalexer.ml > src/formula/parser/tcsformulalexer.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlyacc src/formula/parser/tcsformulaparser.mly
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.mli > src/formula/parser/tcsformulaparser.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.ml > src/automata/parser/tcsgameparserinternal.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.ml > src/automata/parser/tcsparitygameparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.ml > src/automata/parser/tcsparitysolutionparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.ml > src/automata/parser/tcsautomataparserinternal.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.ml > src/automata/parser/tcsautoparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.ml > src/formula/parser/tcsformulaparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.mli > src/formula/lmmc/tcslmmcformula.mli.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.ml > src/formula/lmmc/tcslmmcformula.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.ml > src/automata/parser/tcstransitionsysparserinternal.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.ml > src/automata/parser/tcsltsparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.ml > src/automata/parser/tcstsparser.ml.depends
- /home/opam/.opam/4.14.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package num -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.1/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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/bin/ocamlfind ocamlopt -c -g -annot -bin-annot -package num -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.1/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.1/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.1/lib/ocamlbuild /home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- File "myocamlbuild.ml", line 454, characters 8-19:
- 454 | Stream.from
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 457, characters 21-32:
- 457 | match Stream.next st with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 460, characters 18-32:
- 460 | with Stream.Failure -> None)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 462, characters 6-23:
- 462 | Genlex.make_lexer ["="] st_line
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 465, characters 12-24:
- 465 | match Stream.npeek 3 lxr with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 9-21:
- 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 26-36:
- 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 466, characters 42-55:
- 466 | | [Genlex.Ident nm; Genlex.Kwd "="; Genlex.String value] ->
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 8-19:
- 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 25-36:
- 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 467, characters 42-53:
- 467 | Stream.junk lxr; Stream.junk lxr; Stream.junk lxr;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "myocamlbuild.ml", line 479, characters 17-34:
- 479 | let st = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled TCSLib.0.3
Processing 21/21: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/4.14.1/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/4.14.1/.opam-switch/build/TCSLib.0.3)
- File "./setup.ml", line 575, characters 4-15:
- 575 | Stream.from next
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 603, characters 19-36:
- 603 | let strm = Stream.of_channel chn in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 610, characters 37-48:
- 610 | Buffer.add_char buf (Stream.next strm);
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 613, characters 17-31:
- 613 | with Stream.Failure ->
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1431, characters 16-33:
- 1431 | let lxr = Genlex.make_lexer [] in
- ^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1433, characters 22-38:
- 1433 | let st = lxr (Stream.of_string s) in
- ^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1434, characters 14-26:
- 1434 | match Stream.npeek 3 st with
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "./setup.ml", line 1435, characters 11-23:
- 1435 | | [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 1435, characters 28-40:
- 1435 | | [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 1436, characters 11-23:
- 1436 | | [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 1436, characters 28-41:
- 1436 | | [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 1437, characters 11-24:
- 1437 | | [Genlex.String str] -> String str
- ^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1438, characters 11-23:
- 1438 | | [Genlex.Ident nm] -> Ident nm
- ^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "./setup.ml", line 1775, characters 22-40:
- 1775 | 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 3176, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3179, characters 21-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3182, characters 18-32:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3184, characters 6-23:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3187, characters 12-24:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 9-21:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 26-36:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3188, characters 42-55:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 8-19:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 25-36:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3189, characters 42-53:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3201, characters 17-34:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3326, characters 16-33:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3345, characters 22-38:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3347, characters 17-29:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3348, characters 37-49:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3350, characters 37-50:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 16-28:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 3352, characters 46-58:
- Alert deprecated: module Stdlib.Genlex
- 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 46-59:
- 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 3369, characters 13-25:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 3467, 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 4518, characters 21-38:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4520, characters 19-31:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 16-29:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4521, characters 33-46:
- Alert deprecated: module Stdlib.Genlex
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, characters 15-26:
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "setup.ml", line 4523, 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.1/lib/TCSLib/TCSLib.cma
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/TCSLib.cmxa
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/TCSLib.a
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/TCSLib.cmxs
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstsparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstsparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstsparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstsparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltsparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltsparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltsparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltsparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparserinternal.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparserinternal.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparserinternal.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparserinternal.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltslexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltslexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltslexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstslexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstslexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstslexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslmmcformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslmmcformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslmmcformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslmmcformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulalexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulalexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulalexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautoparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautoparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautoparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautoparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomatalexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomatalexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomatalexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparserinternal.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparserinternal.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparserinternal.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparserinternal.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygamelexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygamelexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygamelexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygameparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygameparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygameparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygameparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionlexer.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionlexer.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionlexer.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparserinternal.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparserinternal.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparserinternal.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparserinternal.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparse.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparse.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparse.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparse.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcspdlformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcspdlformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcspdlformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcspdlformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmmcformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmmcformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmmcformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmmcformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltmcformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltmcformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltmcformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltmcformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltlformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltlformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltlformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltlformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsctlstarformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsctlstarformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsctlstarformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsctlstarformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmetaformula.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmetaformula.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmetaformula.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmetaformula.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparser.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparser.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparser.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparser.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsys.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsys.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsys.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsys.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgames.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgames.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgames.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgames.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautotransform.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautotransform.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautotransform.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautotransform.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomata.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomata.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomata.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomata.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautohelper.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautohelper.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautohelper.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautohelper.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fSet.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fSet.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fSet.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fSet.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fMap.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fMap.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fMap.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fMap.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstiming.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstiming.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstiming.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstiming.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstats.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstats.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstats.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstats.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmessage.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmessage.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmessage.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmessage.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsargs.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsargs.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsargs.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsargs.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstrings.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstrings.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstrings.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstrings.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsset.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsset.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsset.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsset.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsqueue.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsqueue.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsqueue.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsqueue.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmaths.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmaths.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmaths.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmaths.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgraph.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgraph.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgraph.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgraph.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcscache.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcscache.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcscache.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcscache.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsbasedata.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsbasedata.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsbasedata.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsbasedata.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsarray.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsarray.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsarray.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsarray.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslist.cmi
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslist.cmti
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslist.cmt
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslist.annot
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstsparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltsparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparserinternal.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltslexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstslexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslmmcformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulalexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautoparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomatalexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparserinternal.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygamelexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitygameparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsparitysolutionlexer.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparserinternal.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsformulaparse.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcspdlformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmmcformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltmcformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsltlformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsctlstarformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmetaformula.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsysparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgameparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomataparser.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstransitionsys.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgames.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautotransform.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautomata.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsautohelper.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fSet.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/fMap.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcstiming.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstats.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmessage.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsargs.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsstrings.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsset.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsqueue.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsmaths.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsgraph.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcscache.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsbasedata.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcsarray.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/tcslist.cmx
- Installed /home/opam/.opam/4.14.1/lib/TCSLib/META
-> installed TCSLib.0.3
Done.
2024-06-04 20:42.48 ---> saved as "6e9ab4da13648e22bcfadde62969180ae51f2cb86ebd65cb8938bae82c6fb097"
Job succeeded
Home|Differences with the last checks|Previous runs