OCamllabs icon Home|Differences with the last checks|Previous runs


Building on m1-b.ocamllabs.io

(from ocaml/opam:debian-unstable@sha256:0689b2c0bae81ca736a3cf47bf9f45d784bdbc49ceb862d61cac3392c998d272)
2022-04-06 18:01.59 ---> using "9694d2e78ab3fcaaf506053043dc404ac6350d10eabcb4e61663e36a98d481fd" 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/bin/opam-dev /usr/bin/opam"))
2022-04-06 18:01.59 ---> using "f1435c573d465aa4a3b32f3496f8ddaab4c185e5f8720ec93f2b8f5b9c107d4b" 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 aa1f173b2a62d094b9857fa09cf471a46424c4a8"))
2022-04-06 18:01.59 ---> using "16ab3e697c9012d52ecf2d027a886d80445d47f3204474de827be3a6a09ce5bd" from cache

/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
  - you won't be able to use mercurial repositories unless you install the hg command on your system.
  - you won't be able to use darcs repositories unless you install the darcs command on your system.


<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised

User configuration:
  ~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.

2022-04-06 18:01.59 ---> using "161fa26fa8ff94f6712afd15c3db137cd2e1a4ac1ac76e29aae43348e67b52d7" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam switch create --repositories=default '4.07' '4.07.1'"))

<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.07.1"} | "ocaml-system" {= "4.07.1"}]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.07.1  (cached)
-> installed ocaml-base-compiler.4.07.1
-> installed ocaml-config.1
-> installed ocaml.4.07.1
Done.
# Run eval $(opam env --switch=4.07) to update the current shell environment
2022-04-06 18:01.59 ---> using "5f9f712df40b16568ad616d4c902653810c1935ad19547a1aefbd39235885edb" from cache

/: (run (network host)
        (shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [165 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-04-06-1404.48-F-2022-03-29-0803.54.pdiff [526 kB]
- Fetched 755 kB in 3s (278 kB/s)
- Reading package lists...
- 
2022-04-06 18:01.59 ---> using "b56a5a808c80e8dec1fd04d0a08a7dd0490b36e9180a21e5b8eb0ed271b953db" from cache

/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
        (network host)
        (shell "opam install -y ocaml-secondary-compiler"))
The following actions will be performed:
=== install 1 package
  - install ocaml-secondary-compiler 4.08.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-secondary-compiler.4.08.1-1  (cached)
-> installed ocaml-secondary-compiler.4.08.1-1
Done.
# Run eval $(opam env) to update the current shell environment
2022-04-06 18:01.59 ---> using "ef648a55bce2b1cbe3783f53d7aa5758cb767730fd57dabb6d99289cc091a868" 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 '\"debian-unstable\"'; 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 8 packages
  - install base-bytes base   [required by extlib]
  - install cppo       1.6.8  [required by extlib]
  - install dune       2.6.2  [required by cppo]
  - install extlib     1.7.8  [required by TCSLib]
  - install num        1.4    [required by TCSLib]
  - install ocamlbuild 0.14.1 [required by TCSLib]
  - install ocamlfind  1.9.3  [required by TCSLib]
  - install TCSLib     0.3

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/24:
Processing  3/24:
Processing  4/24:
-> retrieved cppo.1.6.8  (cached)
Processing  5/24:
-> retrieved extlib.1.7.8  (cached)
Processing  6/24:
-> retrieved num.1.4  (cached)
Processing  7/24:
-> retrieved ocamlbuild.0.14.1  (cached)
Processing  8/24: [TCSLib.0.3: http]
Processing  9/24: [TCSLib.0.3: http] [ocamlbuild: make configure.make]
-> retrieved ocamlfind.1.9.3  (cached)
Processing 10/24: [TCSLib.0.3: http] [ocamlbuild: make configure.make] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.07" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.07/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.07/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.07/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX=/home/opam/.opam/4.07"; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.07/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.07/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.07/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.07"; \
- echo "BINDIR=/home/opam/.opam/4.07/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.07/lib"; \
- echo "MANDIR=/home/opam/.opam/4.07/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.07/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.07/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.07/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.07/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.1"'; \
- ) > src/ocamlbuild_config.ml
Processing 10/24: [TCSLib.0.3: http] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved dune.2.6.2  (cached)
Processing 11/24: [TCSLib.0.3: http] [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
Processing 11/24: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.07/bin" "-sitelib" "/home/opam/.opam/4.07/lib" "-mandir" "/home/opam/.opam/4.07/man" "-config" "/home/opam/.opam/4.07/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3)
- Welcome to findlib version 1.9.3
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: found
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: found
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/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 graphics written to site-lib-src/graphics/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/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.07/lib/ocaml
-     Binaries:              /home/opam/.opam/4.07/bin
-     Manual pages:          /home/opam/.opam/4.07/man
-     Multi-threading type:  posix
- The directory of site-specific packages will be
-     site-lib:              /home/opam/.opam/4.07/lib
- The configuration file is written to:
-     findlib config file:   /home/opam/.opam/4.07/lib/findlib.conf
- Software will be installed:
-     Libraries:             in <site-lib>/findlib
-     Binaries:              /home/opam/.opam/4.07/bin
-     Manual pages:          /home/opam/.opam/4.07/man
-     topfind script:        /home/opam/.opam/4.07/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 11/24: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved TCSLib.0.3  (https://github.com/tcsprojects/tcslib/archive/v0.3.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/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.07/lib/findlib.conf' | \
-          ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.07/lib/ocaml' | \
- 	sed -e 's;@AUTOLINK@;true;g' \
- 	    -e 's;@SYSTEM@;linux;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    -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque    -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque    -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque    -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque    -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque    -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque    -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque    -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque    -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque    -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque    -c findlib.mli
- ocamlc -I +compiler-libs -opaque    -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque    -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque    -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    -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque    -g -c frontend.ml
- ocamlc -I +compiler-libs  -o ocamlfind -g findlib.cma unix.cma \
-             ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque    -c topfind.mli
- ocamlc -I +compiler-libs -opaque    -g -c topfind.ml
- 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.07/lib' \
-     	    >topfind
- ocamlc -I +compiler-libs -opaque    -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque    -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
-      tools/patch '@SITELIB@' '/home/opam/.opam/4.07/lib' >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
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
Processing 11/24: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque   -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque   -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque   -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque   -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   -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque   -c frontend.ml
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- 	    ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque   -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- 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   -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
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
-> compiled  ocamlfind.1.9.3
Processing 11/24: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled]
Processing 12/24: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1)
- if test -d /home/opam/.opam/4.07/lib/ocaml/ocamlbuild; then\
-   >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
-        "/home/opam/.opam/4.07/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 +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -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 +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -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 +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -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 +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo src/ocamlbuild.cmo
- ocamlc.opt -a -o src/ocamlbuildlib.cma src/ocamlbuild_pack.cmo src/ocamlbuild_plugin.cmo src/ocamlbuild_executor.cmo src/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 +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 -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_executor.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild.cmx
- ocamlopt.opt -a -o src/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/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
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- 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
- make[2]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- echo '  "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo '  "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- for lib in src/ocamlbuildlib.cma src/ocamlbuild.cmo src/ocamlbuild_pack.cmi src/ocamlbuild_plugin.cmi src/ocamlbuild_executor.cmi src/ocamlbuild_unix_plugin.cmi; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- for lib in src/ocamlbuildlib.cmxa src/ocamlbuildlib.a src/ocamlbuild.cmx src/ocamlbuild.o src/ocamlbuild_pack.cmx src/ocamlbuild_plugin.cmx src/ocamlbuild_executor.cmx src/ocamlbuild_unix_plugin.cmx src/ocamlbuild_plugin.o src/ocamlbuild_executor.o src/ocamlbuild_unix_plugin.o; do \
-   echo "  \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'man: [' >> ocamlbuild.install
- echo '  "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- echo 'doc: [' >> ocamlbuild.install
- echo '  "LICENSE"' >> ocamlbuild.install
- echo '  "Changes"' >> ocamlbuild.install
- echo '  "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlbuild.0.14.1'
-> compiled  ocamlbuild.0.14.1
Processing 12/24: [dune: ocaml bootstrap.ml] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3)
- if [ "1" -eq 1 ]; then \
-     for x in camlp4 dbm graphics labltk num ocamlbuild; do \
-       if [ -f "/home/opam/.opam/4.07/lib/$x/META" ]; then \
-         if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.07/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
- mkdir -p "/home/opam/.opam/4.07/bin"
- mkdir -p "/home/opam/.opam/4.07/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "`dirname \"/home/opam/.opam/4.07/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.07/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.07/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- mkdir -p "/home/opam/.opam/4.07/lib/findlib"
- mkdir -p "/home/opam/.opam/4.07/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.07/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` && \
- cp $files "/home/opam/.opam/4.07/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.07/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.07/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
-     cd "/home/opam/.opam/4.07/lib/ocaml/compiler-libs/"; \
-     cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.07/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- for x in bigarray bytes compiler-libs dynlink graphics ocamldoc raw_spacetime stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.07/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.07/lib/$x/META.tmp" && mv "/home/opam/.opam/4.07/lib/$x/META.tmp" "/home/opam/.opam/4.07/lib/$x/META"; done
- mkdir -p "/home/opam/.opam/4.07/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.07/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' ||	cp tools/safe_camlp4 "/home/opam/.opam/4.07/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
- mkdir -p "/home/opam/.opam/4.07/man/man1" "/home/opam/.opam/4.07/man/man3" "/home/opam/.opam/4.07/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.07/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.07/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/ocamlfind.1.9.3'
-> installed ocamlfind.1.9.3
Processing 12/24: [dune: ocaml bootstrap.ml]
Processing 13/24: [dune: ocaml bootstrap.ml]
Processing 14/24: [dune: ocaml bootstrap.ml] [num: make]
-> installed base-bytes.base
Processing 15/24: [dune: ocaml bootstrap.ml] [num: make]
-> installed ocamlbuild.0.14.1
Processing 16/24: [dune: ocaml bootstrap.ml] [num: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.07/.opam-switch/build/num.1.4)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/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 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -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
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -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 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/src'
- make -C toplevel all
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/toplevel'
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top_printers.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.mli
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -c num_top.ml
- ocamlc -I ../src -I +compiler-libs -w +a-4-9-41-42-44-45-48 -warn-error A -safe-string -strict-sequence -strict-formats -a -o num_top.cma num_top_printers.cmo num_top.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/toplevel'
-> compiled  num.1.4
Processing 16/24: [dune: ocaml bootstrap.ml]
Processing 17/24: [dune: ocaml bootstrap.ml] [num: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.07/.opam-switch/build/num.1.4)
- make -C src install
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/src'
- install -d /home/opam/.opam/4.07/lib/ocaml
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num META
- Installed /home/opam/.opam/4.07/lib/num/META
- rm -f META
- install -m 644 nums.cma libnums.a big_int.cmi nat.cmi num.cmi ratio.cmi arith_status.cmi big_int.mli nat.mli num.mli ratio.mli arith_status.mli big_int.cmti nat.cmti num.cmti ratio.cmti arith_status.cmti nums.cmxa nums.a int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx nums.cmxs /home/opam/.opam/4.07/lib/ocaml
- install -d /home/opam/.opam/4.07/lib/ocaml/stublibs
- install dllnums.so /home/opam/.opam/4.07/lib/ocaml/stublibs
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/src'
- make -C toplevel install
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/toplevel'
- sed -e 's/%%VERSION%%/1.4/g' META.in > META
- ocamlfind install num-top META num_top.cma num_top.cmi num_top_printers.cmi
- Installed /home/opam/.opam/4.07/lib/num-top/num_top_printers.cmi
- Installed /home/opam/.opam/4.07/lib/num-top/num_top.cmi
- Installed /home/opam/.opam/4.07/lib/num-top/num_top.cma
- Installed /home/opam/.opam/4.07/lib/num-top/META
- rm -f META
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/num.1.4/toplevel'
-> installed num.1.4
Processing 17/24: [dune: ocaml bootstrap.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "47" (CWD=/home/opam/.opam/4.07/.opam-switch/build/dune.2.6.2)
- ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 47
- 

Processing 17/24: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "-p" "dune" "--profile" "dune-bootstrap" "-j" "47" (CWD=/home/opam/.opam/4.07/.opam-switch/build/dune.2.6.2)
-> compiled  dune.2.6.2
-> installed dune.2.6.2
Processing 19/24: [cppo: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cppo" "-j" "47" (CWD=/home/opam/.opam/4.07/.opam-switch/build/cppo.1.6.8)
-> compiled  cppo.1.6.8
-> installed cppo.1.6.8
Processing 21/24: [extlib: make build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "minimal=1" "build" (CWD=/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8)
- fatal: not a git repository: '.git'
- make -C src build
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8/src'
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -i extBytes.ml > extBytes.mli
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extArray.mli extArray.ml
- File "extArray.ml", line 1:
- Warning 3: deprecated: make_float
- Use Array.create_float instead.
-   File "array.mli", line 60, characters 0-91:
-   Definition
-   File "extArray.mli", line 121, characters 2-37:
-   Expected signature
- File "extArray.ml", line 1:
- Warning 3: deprecated: create
- Use Array.make instead.
-   File "array.mli", line 51, characters 0-107:
-   Definition
-   File "extArray.mli", line 153, characters 2-60:
-   Expected signature
- File "extArray.ml", line 1:
- Warning 3: deprecated: create_matrix
- Use Array.make_matrix instead.
-   File "array.mli", line 87, characters 0-110:
-   Definition
-   File "extArray.mli", line 156, characters 2-56:
-   Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- File "extHashtbl.ml", line 26, characters 2-90:
- Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extList.mli extList.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Warning 3: deprecated: set
- Use Bytes.set instead.
-   File "string.mli", line 61, characters 0-112:
-   Definition
-   File "extString.mli", line 179, characters 2-42:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: create
- Use Bytes.create instead.
-   File "string.mli", line 71, characters 0-104:
-   Definition
-   File "extString.mli", line 180, characters 2-29:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: copy
-   File "string.mli", line 96, characters 0-48:
-   Definition
-   File "extString.mli", line 182, characters 2-29:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: fill
- Use Bytes.fill instead.
-   File "string.mli", line 110, characters 0-95:
-   Definition
-   File "extString.mli", line 184, characters 2-50:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: uppercase
- Use String.uppercase_ascii instead.
-   File "string.mli", line 262, characters 0-93:
-   Definition
-   File "extString.mli", line 200, characters 2-34:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: lowercase
- Use String.lowercase_ascii instead.
-   File "string.mli", line 269, characters 0-93:
-   Definition
-   File "extString.mli", line 201, characters 2-34:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: capitalize
- Use String.capitalize_ascii instead.
-   File "string.mli", line 276, characters 0-95:
-   Definition
-   File "extString.mli", line 202, characters 2-35:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: uncapitalize
- Use String.uncapitalize_ascii instead.
-   File "string.mli", line 282, characters 0-99:
-   Definition
-   File "extString.mli", line 203, characters 2-37:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: unsafe_set
-   File "string.mli", line 356, characters 0-96:
-   Definition
-   File "extString.mli", line 219, characters 2-49:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: unsafe_fill
-   File "string.mli", line 361, characters 0-116:
-   Definition
-   File "extString.mli", line 221, characters 2-57:
-   Expected signature
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c IO.mli IO.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlc -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -a -o extLib.cma extBytes.cmo enum.cmo bitSet.cmo dynArray.cmo extArray.cmo extHashtbl.cmo extList.cmo extString.cmo extBuffer.cmo global.cmo IO.cmo option.cmo pMap.cmo std.cmo refList.cmo optParse.cmo dllist.cmo extLib.cmo
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extBytes.mli extBytes.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c enum.mli enum.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c bitSet.mli bitSet.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c dynArray.mli dynArray.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extArray.mli extArray.ml
- File "extArray.ml", line 1:
- Warning 3: deprecated: make_float
- Use Array.create_float instead.
-   File "array.mli", line 60, characters 0-91:
-   Definition
-   File "extArray.mli", line 121, characters 2-37:
-   Expected signature
- File "extArray.ml", line 1:
- Warning 3: deprecated: create
- Use Array.make instead.
-   File "array.mli", line 51, characters 0-107:
-   Definition
-   File "extArray.mli", line 153, characters 2-60:
-   Expected signature
- File "extArray.ml", line 1:
- Warning 3: deprecated: create_matrix
- Use Array.make_matrix instead.
-   File "array.mli", line 87, characters 0-110:
-   Definition
-   File "extArray.mli", line 156, characters 2-56:
-   Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extHashtbl.mli extHashtbl.ml
- File "extHashtbl.ml", line 26, characters 2-90:
- Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc"
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extList.mli extList.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extString.mli extString.ml
- File "extString.ml", line 1:
- Warning 3: deprecated: set
- Use Bytes.set instead.
-   File "string.mli", line 61, characters 0-112:
-   Definition
-   File "extString.mli", line 179, characters 2-42:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: create
- Use Bytes.create instead.
-   File "string.mli", line 71, characters 0-104:
-   Definition
-   File "extString.mli", line 180, characters 2-29:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: copy
-   File "string.mli", line 96, characters 0-48:
-   Definition
-   File "extString.mli", line 182, characters 2-29:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: fill
- Use Bytes.fill instead.
-   File "string.mli", line 110, characters 0-95:
-   Definition
-   File "extString.mli", line 184, characters 2-50:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: uppercase
- Use String.uppercase_ascii instead.
-   File "string.mli", line 262, characters 0-93:
-   Definition
-   File "extString.mli", line 200, characters 2-34:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: lowercase
- Use String.lowercase_ascii instead.
-   File "string.mli", line 269, characters 0-93:
-   Definition
-   File "extString.mli", line 201, characters 2-34:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: capitalize
- Use String.capitalize_ascii instead.
-   File "string.mli", line 276, characters 0-95:
-   Definition
-   File "extString.mli", line 202, characters 2-35:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: uncapitalize
- Use String.uncapitalize_ascii instead.
-   File "string.mli", line 282, characters 0-99:
-   Definition
-   File "extString.mli", line 203, characters 2-37:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: unsafe_set
-   File "string.mli", line 356, characters 0-96:
-   Definition
-   File "extString.mli", line 219, characters 2-49:
-   Expected signature
- File "extString.ml", line 1:
- Warning 3: deprecated: unsafe_fill
-   File "string.mli", line 361, characters 0-116:
-   Definition
-   File "extString.mli", line 221, characters 2-57:
-   Expected signature
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extBuffer.mli extBuffer.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c global.mli global.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c IO.mli IO.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c option.mli option.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c pMap.mli pMap.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c std.mli std.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c refList.mli refList.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c optParse.mli optParse.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c dllist.mli dllist.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -c extLib.ml
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -a -o extLib.cmxa extBytes.cmx enum.cmx bitSet.cmx dynArray.cmx extArray.cmx extHashtbl.cmx extList.cmx extString.cmx extBuffer.cmx global.cmx IO.cmx option.cmx pMap.cmx std.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx
- ocamlfind ocamlopt -pp "cppo -D \"OCAML 407\"  -D WITH_BYTES" -g -bin-annot -package bytes -shared -linkall extLib.cmxa -o extLib.cmxs
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8/src'
-> compiled  extlib.1.7.8
Processing 22/24: [extlib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "minimal=1" "install" (CWD=/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8)
- fatal: not a git repository: '.git'
- make -C src VERSION=1.7.8 install
- make[1]: Entering directory '/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8/src'
- ocamlfind install -patch-version 1.7.8 extlib META extLib.cma extBytes.mli enum.mli bitSet.mli dynArray.mli extArray.mli extHashtbl.mli extList.mli extString.mli extBuffer.mli global.mli IO.mli option.mli pMap.mli std.mli refList.mli optParse.mli dllist.mli extBytes.cmi enum.cmi bitSet.cmi dynArray.cmi extArray.cmi extHashtbl.cmi extList.cmi extString.cmi extBuffer.cmi global.cmi IO.cmi option.cmi pMap.cmi std.cmi refList.cmi optParse.cmi dllist.cmi extLib.cmi -optional extLib.cmxa extBytes.cmx enum.cmx bitSet.cmx dynArray.cmx extArray.cmx extHashtbl.cmx extList.cmx extString.cmx extBuffer.cmx global.cmx IO.cmx option.cmx pMap.cmx std.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx extLib.cmxs extLib.a extLib.lib extBytes.cmt enum.cmt bitSet.cmt dynArray.cmt extArray.cmt extHashtbl.cmt extList.cmt extString.cmt extBuffer.cmt global.cmt IO.cmt option.cmt pMap.cmt std.cmt refList.cmt optParse.cmt dllist.cmt extLib.cmt extBytes.cmti enum.cmti bitSet.cmti dynArray.cmti extArray.cmti extHashtbl.cmti extList.cmti extString.cmti extBuffer.cmti global.cmti IO.cmti option.cmti pMap.cmti std.cmti refList.cmti optParse.cmti dllist.cmti extLib.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/dllist.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/optParse.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/refList.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/std.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/pMap.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/option.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/IO.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/global.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extBuffer.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extString.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extList.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extHashtbl.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extArray.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/dynArray.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/bitSet.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/enum.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extBytes.cmti
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/dllist.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/optParse.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/refList.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/std.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/pMap.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/option.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/IO.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/global.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extBuffer.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extString.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extList.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extHashtbl.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extArray.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/dynArray.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/bitSet.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/enum.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extBytes.cmt
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.a
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cmxs
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/dllist.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/optParse.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/refList.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/std.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/pMap.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/option.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/IO.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/global.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extBuffer.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extString.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extList.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extHashtbl.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extArray.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/dynArray.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/bitSet.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/enum.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extBytes.cmx
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cmxa
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/dllist.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/optParse.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/refList.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/std.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/pMap.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/option.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/IO.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/global.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extBuffer.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extString.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extList.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extHashtbl.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extArray.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/dynArray.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/bitSet.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/enum.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/extBytes.cmi
- Installed /home/opam/.opam/4.07/lib/extlib/dllist.mli
- Installed /home/opam/.opam/4.07/lib/extlib/optParse.mli
- Installed /home/opam/.opam/4.07/lib/extlib/refList.mli
- Installed /home/opam/.opam/4.07/lib/extlib/std.mli
- Installed /home/opam/.opam/4.07/lib/extlib/pMap.mli
- Installed /home/opam/.opam/4.07/lib/extlib/option.mli
- Installed /home/opam/.opam/4.07/lib/extlib/IO.mli
- Installed /home/opam/.opam/4.07/lib/extlib/global.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extBuffer.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extString.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extList.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extHashtbl.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extArray.mli
- Installed /home/opam/.opam/4.07/lib/extlib/dynArray.mli
- Installed /home/opam/.opam/4.07/lib/extlib/bitSet.mli
- Installed /home/opam/.opam/4.07/lib/extlib/enum.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extBytes.mli
- Installed /home/opam/.opam/4.07/lib/extlib/extLib.cma
- Installed /home/opam/.opam/4.07/lib/extlib/META
- make[1]: Leaving directory '/home/opam/.opam/4.07/.opam-switch/build/extlib.1.7.8/src'
-> installed extlib.1.7.8
Processing 23/24: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.07" (CWD=/home/opam/.opam/4.07/.opam-switch/build/TCSLib.0.3)
- 
- Configuration:
- ocamlfind: ........................................... /home/opam/.opam/4.07/bin/ocamlfind
- ocamlc: .............................................. /home/opam/.opam/4.07/bin/ocamlc.opt
- ocamlopt: ............................................ /home/opam/.opam/4.07/bin/ocamlopt.opt
- ocamlbuild: .......................................... /home/opam/.opam/4.07/bin/ocamlbuild
- Package name: ........................................ TCSLib
- Package version: ..................................... 0.3
- os_type: ............................................. Unix
- system: .............................................. linux
- architecture: ........................................ amd64
- ccomp_type: .......................................... cc
- ocaml_version: ....................................... 4.07.1
- standard_library_default: ............................ /home/opam/.opam/4.07/lib/ocaml
- standard_library: .................................... /home/opam/.opam/4.07/lib/ocaml
- standard_runtime: .................................... /home/opam/.opam/4.07/bin/ocamlrun
- bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -fcommon -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT
- native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -fcommon -D_FILE_OFFSET_BITS=64 -D_REENTRANT
- 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.07
- 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.3
- 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.07/lib/num
- pkg_extlib: .......................................... /home/opam/.opam/4.07/lib/extlib
- 
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "setup.ml" "-build" (CWD=/home/opam/.opam/4.07/.opam-switch/build/TCSLib.0.3)
- ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.07/lib/ocamlbuild /home/opam/.opam/4.07/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.07/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.mli > src/data/tcslist.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.ml > src/data/tcslist.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.mli > src/data/tcsarray.mli.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.mli > src/data/tcsbasedata.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.ml > src/data/tcsarray.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.ml > src/data/tcsbasedata.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.mli > src/data/tcscache.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.ml > src/data/tcscache.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.mli > src/data/tcsset.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.mli > src/data/tcsgraph.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.ml > src/data/tcsgraph.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.mli > src/data/tcsmaths.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.ml > src/data/tcsmaths.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.mli > src/data/tcsqueue.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.ml > src/data/tcsqueue.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.ml > src/data/tcsset.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.mli > src/data/tcsstrings.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.ml > src/data/tcsstrings.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.mli > src/utils/tcsargs.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.ml > src/utils/tcsargs.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.mli > src/utils/tcsmessage.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.ml > src/utils/tcsmessage.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.mli > src/utils/tcsstats.mli.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.mli > src/utils/tcstiming.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.ml > src/utils/tcsstats.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.ml > src/utils/tcstiming.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.mli > src/data/fMap.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.ml > src/data/fMap.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.mli > src/data/fSet.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.ml > src/data/fSet.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.mli > src/automata/tcsautohelper.mli.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.mli > src/automata/tcsautomata.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.ml > src/automata/tcsautohelper.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.ml > src/automata/tcsautomata.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.mli > src/automata/tcsautotransform.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.ml > src/automata/tcsautotransform.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.mli > src/automata/tcsgames.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.ml > src/automata/tcsgames.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.mli > src/automata/tcstransitionsys.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.ml > src/automata/tcstransitionsys.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.mli > src/automata/parser/tcsautomataparser.mli.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.mli > src/automata/parser/tcsautomataparserinternal.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.ml > src/automata/parser/tcsautomataparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamllex.opt -q src/automata/parser/tcsautomatalexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomatalexer.ml > src/automata/parser/tcsautomatalexer.ml.depends
- /home/opam/.opam/4.07/bin/ocamlyacc src/automata/parser/tcsautoparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.mli > src/automata/parser/tcsautoparser.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.mli > src/automata/parser/tcsgameparser.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.ml > src/automata/parser/tcsgameparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.mli > src/automata/parser/tcsgameparserinternal.mli.depends
- /home/opam/.opam/4.07/bin/ocamllex.opt -q src/automata/parser/tcsparitygamelexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygamelexer.ml > src/automata/parser/tcsparitygamelexer.ml.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlyacc src/automata/parser/tcsparitygameparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.mli > src/automata/parser/tcsparitygameparser.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamllex.opt -q src/automata/parser/tcsparitysolutionlexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionlexer.ml > src/automata/parser/tcsparitysolutionlexer.ml.depends
- /home/opam/.opam/4.07/bin/ocamlyacc src/automata/parser/tcsparitysolutionparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.mli > src/automata/parser/tcsparitysolutionparser.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.mli > src/automata/parser/tcstransitionsysparser.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.ml > src/automata/parser/tcstransitionsysparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamllex.opt -q src/automata/parser/tcsltslexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltslexer.ml > src/automata/parser/tcsltslexer.ml.depends
- /home/opam/.opam/4.07/bin/ocamlyacc src/automata/parser/tcsltsparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.mli > src/automata/parser/tcsltsparser.mli.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.mli > src/automata/parser/tcstransitionsysparserinternal.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamllex.opt -q src/automata/parser/tcstslexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstslexer.ml > src/automata/parser/tcstslexer.ml.depends
- /home/opam/.opam/4.07/bin/ocamlyacc src/automata/parser/tcstsparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.mli > src/automata/parser/tcstsparser.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.mli > src/formula/tcsmetaformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.ml > src/formula/tcsmetaformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.mli > src/formula/ctlstar/tcsctlstarformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.ml > src/formula/ctlstar/tcsctlstarformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.mli > src/formula/ltl/tcsltlformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.ml > src/formula/ltl/tcsltlformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.mli > src/formula/ltmc/tcsltmcformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.ml > src/formula/ltmc/tcsltmcformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.mli > src/formula/mmc/tcsmmcformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.ml > src/formula/mmc/tcsmmcformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.mli > src/formula/pdl/tcspdlformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.ml > src/formula/pdl/tcspdlformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.mli > src/formula/parser/tcsformulaparse.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.ml > src/formula/parser/tcsformulaparse.ml.depends
- /home/opam/.opam/4.07/bin/ocamllex.opt -q src/formula/parser/tcsformulalexer.mll
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulalexer.ml > src/formula/parser/tcsformulalexer.ml.depends
- /home/opam/.opam/4.07/bin/ocamlyacc src/formula/parser/tcsformulaparser.mly
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.mli > src/formula/parser/tcsformulaparser.mli.depends
- /home/opam/.opam/4.07/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.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.ml > src/automata/parser/tcsgameparserinternal.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.ml > src/automata/parser/tcsparitygameparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.ml > src/automata/parser/tcsparitysolutionparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.ml > src/automata/parser/tcsautomataparserinternal.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.ml > src/automata/parser/tcsautoparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.ml > src/formula/parser/tcsformulaparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.mli > src/formula/lmmc/tcslmmcformula.mli.depends
- /home/opam/.opam/4.07/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.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.ml > src/formula/lmmc/tcslmmcformula.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.ml > src/automata/parser/tcstransitionsysparserinternal.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.ml > src/automata/parser/tcsltsparser.ml.depends
- /home/opam/.opam/4.07/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.ml > src/automata/parser/tcstsparser.ml.depends
- /home/opam/.opam/4.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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.07/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
-> compiled  TCSLib.0.3
Processing 24/24: [TCSLib: ocaml setup.ml]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "ocaml" "setup.ml" "-install" (CWD=/home/opam/.opam/4.07/.opam-switch/build/TCSLib.0.3)
- 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.07/lib/TCSLib/TCSLib.cma
- Installed /home/opam/.opam/4.07/lib/TCSLib/TCSLib.cmxa
- Installed /home/opam/.opam/4.07/lib/TCSLib/TCSLib.a
- Installed /home/opam/.opam/4.07/lib/TCSLib/TCSLib.cmxs
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstsparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstsparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstsparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstsparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltsparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltsparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltsparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltsparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparserinternal.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparserinternal.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparserinternal.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparserinternal.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltslexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltslexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltslexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstslexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstslexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstslexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslmmcformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslmmcformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslmmcformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslmmcformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulalexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulalexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulalexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautoparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautoparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautoparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautoparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomatalexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomatalexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomatalexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparserinternal.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparserinternal.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparserinternal.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparserinternal.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygamelexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygamelexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygamelexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygameparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygameparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygameparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygameparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionlexer.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionlexer.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionlexer.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparserinternal.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparserinternal.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparserinternal.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparserinternal.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparse.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparse.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparse.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparse.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcspdlformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcspdlformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcspdlformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcspdlformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmmcformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmmcformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmmcformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmmcformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltmcformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltmcformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltmcformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltmcformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltlformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltlformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltlformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltlformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsctlstarformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsctlstarformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsctlstarformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsctlstarformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmetaformula.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmetaformula.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmetaformula.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmetaformula.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparser.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparser.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparser.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparser.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsys.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsys.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsys.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsys.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgames.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgames.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgames.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgames.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautotransform.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautotransform.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautotransform.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautotransform.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomata.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomata.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomata.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomata.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautohelper.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautohelper.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautohelper.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautohelper.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/fSet.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/fSet.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/fSet.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/fSet.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/fMap.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/fMap.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/fMap.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/fMap.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstiming.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstiming.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstiming.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstiming.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstats.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstats.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstats.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstats.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmessage.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmessage.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmessage.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmessage.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsargs.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsargs.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsargs.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsargs.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstrings.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstrings.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstrings.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstrings.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsset.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsset.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsset.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsset.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsqueue.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsqueue.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsqueue.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsqueue.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmaths.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmaths.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmaths.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmaths.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgraph.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgraph.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgraph.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgraph.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcscache.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcscache.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcscache.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcscache.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsbasedata.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsbasedata.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsbasedata.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsbasedata.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsarray.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsarray.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsarray.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsarray.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslist.cmi
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslist.cmti
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslist.cmt
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslist.annot
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstsparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltsparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparserinternal.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltslexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstslexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslmmcformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulalexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautoparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomatalexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparserinternal.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygamelexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitygameparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsparitysolutionlexer.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparserinternal.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsformulaparse.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcspdlformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmmcformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltmcformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsltlformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsctlstarformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmetaformula.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsysparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgameparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomataparser.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstransitionsys.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgames.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautotransform.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautomata.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsautohelper.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/fSet.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/fMap.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcstiming.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstats.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmessage.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsargs.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsstrings.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsset.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsqueue.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsmaths.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsgraph.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcscache.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsbasedata.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcsarray.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/tcslist.cmx
- Installed /home/opam/.opam/4.07/lib/TCSLib/META
-> installed TCSLib.0.3
Done.
# Run eval $(opam env) to update the current shell environment
2022-04-06 18:02.57 ---> saved as "a619905476642eecf865c70f456620e199b2f5b9ab116fb03285140e1db583fd"
Job succeeded