# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # The following system packages are needed: m4 The following command needs to be run through "sudo": apt-get install -qq -yy m4 sudo: setrlimit(RLIMIT_CORE): Operation not permitted debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libsigsegv2:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 17548 files and directories currently installed.) Preparing to unpack .../libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../archives/m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up m4 (1.4.18-4) ... Processing triggers for libc-bin (2.29-3) ... # OS packages installation successful # Now letting OPAM install the packages The following actions will be performed: - install base-num base [required by num] - install dune 1.11.4 [required by cppo] - install ocamlbuild 0.14.0 [required by TCSLib] - install conf-m4 1 [required by ocamlfind] - install num 0 [required by TCSLib] - install cppo 1.6.6 [required by extlib-compat] - install ocamlfind 1.8.1 [required by TCSLib] - install base-bytes base [required by extlib-compat] - install extlib-compat 1.7.2 [required by TCSLib] - install TCSLib 0.3 ===== 10 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 4/10: [cppo.1.6.6: dl] Processing 5/10: [cppo.1.6.6: dl] [dune.1.11.4: dl] Processing 6/10: [cppo.1.6.6: dl] [dune.1.11.4: dl] [extlib-compat.1.7.2: dl] [cppo.1.6.6] found in external cache at /home/opam/opam-repository/cache Processing 6/10: [dune.1.11.4: dl] [extlib-compat.1.7.2: dl] [dune.1.11.4] found in external cache at /home/opam/opam-repository/cache Processing 6/10: [extlib-compat.1.7.2: dl] [extlib-compat.1.7.2] found in external cache at /home/opam/opam-repository/cache Processing 6/10: Processing 7/10: Processing 8/10: [ocamlbuild.0.14.0: dl] Processing 9/10: [ocamlbuild.0.14.0: dl] [ocamlfind.1.8.1: dl] [ocamlbuild.0.14.0] found in external cache at /home/opam/opam-repository/cache Processing 9/10: [ocamlfind.1.8.1: dl] Processing 10/10: [ocamlfind.1.8.1: dl] [TCSLib.0.3: dl] [ocamlfind.1.8.1] found in external cache at /home/opam/opam-repository/cache Processing 10/10: [TCSLib.0.3: dl] [TCSLib.0.3] found in external cache at /home/opam/opam-repository/cache Processing 10/10: <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 2/20: [conf-m4: sh echo | m4] Processing 3/20: [conf-m4: sh echo | m4] [dune: ocaml bootstrap.ml] Processing 4/20: [conf-m4: sh echo | m4] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] -> installed base-num.base Processing 5/20: [conf-m4: sh echo | m4] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] Processing 6/20: [conf-m4: sh echo | m4] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] -> installed num.0 Processing 7/20: [conf-m4: sh echo | m4] [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] + /bin/sh "-exc" "echo | m4" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/conf-m4.1) - + echo - + m4 - - + echo - + m4 - -> compiled conf-m4.1 Processing 7/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] -> installed conf-m4.1 Processing 8/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] Processing 9/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make configure.make] [ocamlfind: ./configure] + /usr/bin/make "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.05.0" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.05.0/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.05.0/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.05.0/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0) - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX=/home/opam/.opam/4.05.0"; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.05.0/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.05.0/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.05.0/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.05.0"; \ - echo "BINDIR=/home/opam/.opam/4.05.0/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.05.0/lib"; \ - echo "MANDIR=/home/opam/.opam/4.05.0/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.05.0/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.05.0/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.05.0/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.05.0/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.0"'; \ - ) > src/ocamlbuild_config.ml - (echo "# This file was generated from configure.make"; \ - echo ;\ - echo "OCAML_PREFIX=/home/opam/.opam/4.05.0"; \ - echo "OCAML_BINDIR=/home/opam/.opam/4.05.0/bin"; \ - echo "OCAML_LIBDIR=/home/opam/.opam/4.05.0/lib/ocaml"; \ - echo "OCAML_MANDIR=/home/opam/.opam/4.05.0/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.05.0"; \ - echo "BINDIR=/home/opam/.opam/4.05.0/bin"; \ - echo "LIBDIR=/home/opam/.opam/4.05.0/lib"; \ - echo "MANDIR=/home/opam/.opam/4.05.0/man"; \ - ) > Makefile.config - (echo "(* This file was generated from ../configure.make *)"; \ - echo ;\ - echo 'let bindir = "/home/opam/.opam/4.05.0/bin"'; \ - echo 'let libdir = "/home/opam/.opam/4.05.0/lib"'; \ - echo 'let ocaml_libdir = "/home/opam/.opam/4.05.0/lib/ocaml"'; \ - echo 'let libdir_abs = "/home/opam/.opam/4.05.0/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.0"'; \ - ) > src/ocamlbuild_config.ml Processing 9/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] + /home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/./configure "-bindir" "/home/opam/.opam/4.05.0/bin" "-sitelib" "/home/opam/.opam/4.05.0/lib" "-mandir" "/home/opam/.opam/4.05.0/man" "-config" "/home/opam/.opam/4.05.0/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1) - Welcome to findlib version 1.8.1 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Configuring libraries... - native dynlink: found - labltk: not present - ocamlbuild: not present - camlp4: disabled - compiler-libs: found - dbm: not present (normal since OCaml-4.00) - num: found but not as package - bytes: found, installing fake library - spacetime: found - graphics: found - Configuration for dynlink written to site-lib-src/dynlink/META - Configuration for graphics written to site-lib-src/graphics/META - Configuration for num written to site-lib-src/num/META - Configuration for num-top written to site-lib-src/num-top/META - Configuration for str written to site-lib-src/str/META - Configuration for threads written to site-lib-src/threads/META - Configuration for unix written to site-lib-src/unix/META - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for bigarray written to site-lib-src/bigarray/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for compiler-libs written to site-lib-src/compiler-libs/META - Configuration for bytes written to site-lib-src/bytes/META - Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.05.0/lib/ocaml - Binaries: /home/opam/.opam/4.05.0/bin - Manual pages: /home/opam/.opam/4.05.0/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.05.0/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.05.0/lib/findlib.conf - Software will be installed: - Libraries: in /findlib - Binaries: /home/opam/.opam/4.05.0/bin - Manual pages: /home/opam/.opam/4.05.0/man - topfind script: /home/opam/.opam/4.05.0/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. - Welcome to findlib version 1.8.1 - Configuring core... - Checking for #remove_directory... - Testing threading model... - systhread_supported: true - Testing DLLs... - Testing whether ppxopt can be supported... - Checking for ocamlc -opaque... - Configuring libraries... - native dynlink: found - labltk: not present - ocamlbuild: not present - camlp4: disabled - compiler-libs: found - dbm: not present (normal since OCaml-4.00) - num: found but not as package - bytes: found, installing fake library - spacetime: found - graphics: found - Configuration for dynlink written to site-lib-src/dynlink/META - Configuration for graphics written to site-lib-src/graphics/META - Configuration for num written to site-lib-src/num/META - Configuration for num-top written to site-lib-src/num-top/META - Configuration for str written to site-lib-src/str/META - Configuration for threads written to site-lib-src/threads/META - Configuration for unix written to site-lib-src/unix/META - Configuration for stdlib written to site-lib-src/stdlib/META - Configuration for bigarray written to site-lib-src/bigarray/META - Configuration for ocamldoc written to site-lib-src/ocamldoc/META - Configuration for compiler-libs written to site-lib-src/compiler-libs/META - Configuration for bytes written to site-lib-src/bytes/META - Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META - Detecting compiler arguments: (extractor built) ok - - About the OCAML core installation: - Standard library: /home/opam/.opam/4.05.0/lib/ocaml - Binaries: /home/opam/.opam/4.05.0/bin - Manual pages: /home/opam/.opam/4.05.0/man - Multi-threading type: posix - The directory of site-specific packages will be - site-lib: /home/opam/.opam/4.05.0/lib - The configuration file is written to: - findlib config file: /home/opam/.opam/4.05.0/lib/findlib.conf - Software will be installed: - Libraries: in /findlib - Binaries: /home/opam/.opam/4.05.0/bin - Manual pages: /home/opam/.opam/4.05.0/man - topfind script: /home/opam/.opam/4.05.0/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 9/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all] + /usr/bin/make "all" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1) - for p in findlib; do ( cd src/$p; /usr/bin/make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/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.05.0/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.05.0/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 - File "frontend.ml", line 1826, characters 16-29: - Warning 3: deprecated: String.create - Use Bytes.create instead. - 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.05.0/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -c num_top_printers.mli - ocamlc -I +compiler-libs -opaque -g -c num_top_printers.ml - ocamlc -I +compiler-libs -opaque -c num_top.mli - ocamlc -I +compiler-libs -opaque -g -c num_top.ml - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - 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.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - /usr/bin/make all-config - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.05.0/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.05.0/.opam-switch/build/ocamlfind.1.8.1' - for p in findlib; do ( cd src/$p; /usr/bin/make all ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/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.05.0/lib/findlib.conf' | \ - ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.05.0/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 - File "frontend.ml", line 1826, characters 16-29: - Warning 3: deprecated: String.create - Use Bytes.create instead. - 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.05.0/lib' \ - >topfind - ocamlc -I +compiler-libs -opaque -c num_top_printers.mli - ocamlc -I +compiler-libs -opaque -g -c num_top_printers.ml - ocamlc -I +compiler-libs -opaque -c num_top.mli - ocamlc -I +compiler-libs -opaque -g -c num_top.ml - ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo - 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.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - /usr/bin/make all-config - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - USE_CYGPATH="0"; \ - export USE_CYGPATH; \ - cat findlib.conf.in | \ - tools/patch '@SITELIB@' '/home/opam/.opam/4.05.0/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.05.0/.opam-switch/build/ocamlfind.1.8.1' Processing 9/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt] + /usr/bin/make "opt" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1) - for p in findlib; do ( cd src/$p; /usr/bin/make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/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 - File "frontend.ml", line 1826, characters 16-29: - Warning 3: deprecated: String.create - Use Bytes.create instead. - 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.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - for p in findlib; do ( cd src/$p; /usr/bin/make opt ) || exit; done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/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 - File "frontend.ml", line 1826, characters 16-29: - Warning 3: deprecated: String.create - Use Bytes.create instead. - 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.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' -> compiled ocamlfind.1.8.1 Processing 9/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] Processing 10/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1) - mkdir -p "/home/opam/.opam/4.05.0/bin" - mkdir -p "/home/opam/.opam/4.05.0/man" - /usr/bin/make install-config - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - mkdir -p "`dirname \"/home/opam/.opam/4.05.0/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.05.0/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.05.0/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - for p in findlib; do ( cd src/$p; /usr/bin/make install ); done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - mkdir -p "/home/opam/.opam/4.05.0/lib/findlib" - mkdir -p "/home/opam/.opam/4.05.0/bin" - test 1 -eq 0 || cp topfind "/home/opam/.opam/4.05.0/lib/ocaml" - files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli 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.05.0/lib/findlib" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - cp $f "/home/opam/.opam/4.05.0/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.05.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.05.0/lib/ocaml/compiler-libs/"; \ - cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.05.0/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - /usr/bin/make install-meta - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - for x in `ls site-lib-src`; do if [ -f "site-lib-src/$x/META" ]; then mkdir -p "/home/opam/.opam/4.05.0/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.05.0/lib/$x"; fi; done - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - test -z "num-top" || { cd src/findlib; /usr/bin/make install-num-top; } - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - mkdir -p "/home/opam/.opam/4.05.0/lib/num-top" - cp num_top.cma num_top.cmi num_top_printers.cmi \ - "/home/opam/.opam/4.05.0/lib/num-top" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - if [ 0 -eq 1 ]; then \ - cp tools/safe_camlp4 "/home/opam/.opam/4.05.0/bin"; \ - fi - /usr/bin/make install-doc - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - mkdir -p "/home/opam/.opam/4.05.0/man/man1" "/home/opam/.opam/4.05.0/man/man3" "/home/opam/.opam/4.05.0/man/man5" - cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.05.0/man/man1" - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.05.0/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - mkdir -p "/home/opam/.opam/4.05.0/bin" - mkdir -p "/home/opam/.opam/4.05.0/man" - /usr/bin/make install-config - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - mkdir -p "`dirname \"/home/opam/.opam/4.05.0/lib/findlib.conf\"`" - test -f "/home/opam/.opam/4.05.0/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.05.0/lib/findlib.conf" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - for p in findlib; do ( cd src/$p; /usr/bin/make install ); done - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - mkdir -p "/home/opam/.opam/4.05.0/lib/findlib" - mkdir -p "/home/opam/.opam/4.05.0/bin" - test 1 -eq 0 || cp topfind "/home/opam/.opam/4.05.0/lib/ocaml" - files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli 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.05.0/lib/findlib" - f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \ - cp $f "/home/opam/.opam/4.05.0/bin/ocamlfind" - # the following "if" block is only needed for 4.00beta2 - if [ 1 -eq 0 -a -f "/home/opam/.opam/4.05.0/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \ - cd "/home/opam/.opam/4.05.0/lib/ocaml/compiler-libs/"; \ - cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.05.0/lib/findlib/"; \ - fi - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - /usr/bin/make install-meta - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - for x in `ls site-lib-src`; do if [ -f "site-lib-src/$x/META" ]; then mkdir -p "/home/opam/.opam/4.05.0/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.05.0/lib/$x"; fi; done - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - test -z "num-top" || { cd src/findlib; /usr/bin/make install-num-top; } - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - mkdir -p "/home/opam/.opam/4.05.0/lib/num-top" - cp num_top.cma num_top.cmi num_top_printers.cmi \ - "/home/opam/.opam/4.05.0/lib/num-top" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1/src/findlib' - if [ 0 -eq 1 ]; then \ - cp tools/safe_camlp4 "/home/opam/.opam/4.05.0/bin"; \ - fi - /usr/bin/make install-doc - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' - mkdir -p "/home/opam/.opam/4.05.0/man/man1" "/home/opam/.opam/4.05.0/man/man3" "/home/opam/.opam/4.05.0/man/man5" - cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.05.0/man/man1" - cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.05.0/man/man5" - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlfind.1.8.1' -> installed ocamlfind.1.8.1 Processing 10/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] Processing 11/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] -> installed base-bytes.base Processing 12/20: [dune: ocaml bootstrap.ml] [ocamlbuild: make check-if-preinstalled] + /usr/bin/make "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0) - if test -d /home/opam/.opam/4.05.0/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.05.0/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 - /usr/bin/make ocamlbuild.install - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/bin/make install-bin-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo 'lib: [' >> ocamlbuild.install - /usr/bin/make install-lib-basics-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - if test -d /home/opam/.opam/4.05.0/lib/ocaml/ocamlbuild; then\ - >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\ - "/home/opam/.opam/4.05.0/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 - /usr/bin/make ocamlbuild.install - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - rm -f ocamlbuild.install - touch ocamlbuild.install - /usr/bin/make install-bin-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo 'lib: [' >> ocamlbuild.install - /usr/bin/make install-lib-basics-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install - echo ' "META"' >> ocamlbuild.install - for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \ - echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \ - done - make[3]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-byte-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-lib-native-opam - make[3]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo ']' >> ocamlbuild.install - echo >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-man-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - 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.05.0/.opam-switch/build/ocamlbuild.0.14.0' - /usr/bin/make install-doc-opam - make[2]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - echo 'doc: [' >> ocamlbuild.install - echo ' "LICENSE"' >> ocamlbuild.install - echo ' "Changes"' >> ocamlbuild.install - echo ' "Readme.md"' >> ocamlbuild.install - echo ']' >> ocamlbuild.install - make[2]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/ocamlbuild.0.14.0' -> compiled ocamlbuild.0.14.0 Processing 12/20: [dune: ocaml bootstrap.ml] -> installed ocamlbuild.0.14.0 Processing 13/20: [dune: ocaml bootstrap.ml] + /home/opam/.opam/4.05.0/bin/ocaml "bootstrap.ml" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/dune.1.11.4) - cp src/ocaml-syntax-shims/pp.real.ml src/ocaml-syntax-shims/pp.ml - cp src/ocaml-syntax-shims/shims.403.ml src/ocaml-syntax-shims/shims.ml - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/ocaml-syntax-shims/let_trail.mll - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules src/ocaml-syntax-shims/let_trail.mli src/ocaml-syntax-shims/let_trail.ml src/ocaml-syntax-shims/pp.ml src/ocaml-syntax-shims/shims.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamlopt.opt -g -w -40 -o boot-pp.exe -I +compiler-libs ocamlcommon.cmxa boot_pp.ml - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/ocamlobjinfo.mll - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/meta_lexer.mll - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/dune_lexer.mll - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/dune_lang/dune_lexer.mll - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/action.mli src/action.ml src/action_ast.ml src/action_dune_lang.mli src/action_dune_lang.ml src/action_exec.mli src/action_exec.ml src/action_intf.ml src/action_mapper.mli src/action_mapper.ml src/action_to_sh.mli src/action_to_sh.boot.ml src/action_unexpanded.mli src/action_unexpanded.ml src/alias.mli src/alias.ml src/artifact_substitution.mli src/artifact_substitution.ml src/artifacts.mli src/artifacts.ml src/binary_kind.mli src/binary_kind.ml src/bindings.mli src/bindings.ml src/blang.mli src/blang.ml src/bootstrap.mli src/bootstrap.boot.ml src/build.mli src/build.ml otherlibs/build-info/src/build_info.mli otherlibs/build-info/src/build_info.ml otherlibs/build-info/src/build_info_data.mli otherlibs/build-info/src/build_info_data.boot.ml src/build_system.mli src/build_system.ml src/c.mli src/c.ml src/c_sources.mli src/c_sources.ml src/cached_digest.mli src/cached_digest.ml src/check_rules.mli src/check_rules.ml src/cinaps.mli src/cinaps.boot.ml src/clflags.mli src/clflags.ml src/cm_files.mli src/cm_files.ml src/cm_kind.mli src/cm_kind.ml src/colors.mli src/colors.ml src/command.mli src/command.ml src/compilation_context.mli src/compilation_context.ml src/config.mli src/config.ml src/context.mli src/context.ml src/coq_module.mli src/coq_module.ml src/coq_rules.mli src/coq_rules.boot.ml src/dep.mli src/dep.ml src/dep_graph.mli src/dep_graph.ml src/dep_path.mli src/dep_path.ml src/dep_rules.mli src/dep_rules.ml src/dialect.mli src/dialect.ml src/diff.mli src/diff.ml src/dir_contents.mli src/dir_contents.ml src/dir_set.mli src/dir_set.ml src/dir_status.mli src/dir_status.ml src/dir_with_dune.mli src/dir_with_dune.ml src/dpath.mli src/dpath.ml src/dune_env.mli src/dune_env.ml src/dune_file.mli src/dune_file.ml src/dune_init.mli src/dune_init.ml src/dune_lexer.mli src/dune_lexer.ml src/dune_load.mli src/dune_load.ml src/dune_package.mli src/dune_package.ml src/dune_project.mli src/dune_project.ml vendor/boot/dune_re.ml src/dynlink_supported.mli src/dynlink_supported.ml src/env_node.mli src/env_node.ml src/exe.mli src/exe.ml src/exe_rules.mli src/exe_rules.ml src/expander.mli src/expander.ml src/file_binding.mli src/file_binding.ml src/file_selector.mli src/file_selector.ml src/file_tree.mli src/file_tree.ml src/findlib.mli src/findlib.ml src/format_dune_lang.mli src/format_dune_lang.ml src/format_rules.mli src/format_rules.ml src/gen_meta.mli src/gen_meta.ml src/gen_rules.mli src/gen_rules.ml src/glob.mli src/glob.ml src/glob_lexer.mli src/glob_lexer.boot.ml src/hooks.mli src/hooks.ml src/import.ml src/inline_tests.mli src/inline_tests.boot.ml src/install.mli src/install.ml src/install_rules.mli src/install_rules.ml src/installed_dune_file.mli src/installed_dune_file.ml src/js_of_ocaml_rules.mli src/js_of_ocaml_rules.boot.ml src/lib.mli src/lib.ml src/lib_archives.mli src/lib_archives.ml src/lib_config.mli src/lib_config.ml src/lib_deps_info.mli src/lib_deps_info.ml src/lib_file_deps.mli src/lib_file_deps.ml src/lib_info.mli src/lib_info.ml src/lib_kind.mli src/lib_kind.ml src/lib_name.mli src/lib_name.ml src/lib_rules.mli src/lib_rules.ml src/link_time_code_gen.mli src/link_time_code_gen.ml src/local_package.mli src/local_package.ml src/main.mli src/main.ml src/menhir.mli src/menhir.boot.ml src/merlin.mli src/merlin.ml src/meta.mli src/meta.ml src/meta_lexer.mli src/meta_lexer.ml src/ml_kind.mli src/ml_kind.ml src/mode.mli src/mode.ml src/module.mli src/module.ml src/module_compilation.mli src/module_compilation.ml src/modules.mli src/modules.ml src/modules_field_evaluator.mli src/modules_field_evaluator.ml src/obj_dir.mli src/obj_dir.ml src/ocaml_flags.mli src/ocaml_flags.ml src/ocaml_version.mli src/ocaml_version.ml src/ocamldep.mli src/ocamldep.ml src/ocamlobjinfo.mli src/ocamlobjinfo.ml src/odoc.mli src/odoc.boot.ml vendor/boot/opamBaseParser.ml vendor/boot/opamLexer.ml vendor/boot/opamParserTypes.ml vendor/boot/opamPrinter.ml src/opam_create.mli src/opam_create.boot.ml src/opam_file.mli src/opam_file.ml src/ordered_set_lang.mli src/ordered_set_lang.ml src/package.mli src/package.ml src/packages.mli src/packages.ml src/per_item.mli src/per_item.ml src/persistent.mli src/persistent.ml src/pform.mli src/pform.ml src/predicate.mli src/predicate.ml src/predicate_lang.mli src/predicate_lang.ml src/preprocessing.mli src/preprocessing.ml src/print_diff.mli src/print_diff.ml src/process.mli src/process.ml src/promotion.mli src/promotion.ml src/report_error.mli src/report_error.ml src/response_file.mli src/response_file.ml src/rule.mli src/rule.ml src/rules.mli src/rules.ml src/scheduler.mli src/scheduler.ml src/scheme.mli src/scheme.ml src/scope.mli src/scope.ml src/setup.mli src/setup.boot.ml src/simple_rules.mli src/simple_rules.ml src/spawn.mli src/spawn.ml src/stanza.mli src/stanza.ml src/static_deps.mli src/static_deps.ml src/stats.mli src/stats.boot.ml src/string_with_vars.mli src/string_with_vars.ml src/sub_dirs.mli src/sub_dirs.ml src/sub_system.mli src/sub_system.ml src/sub_system_info.mli src/sub_system_info.ml src/sub_system_intf.ml src/sub_system_name.mli src/sub_system_name.ml src/super_context.mli src/super_context.ml src/syntax.mli src/syntax.ml src/test_rules.mli src/test_rules.boot.ml src/top_closure.mli src/top_closure.ml src/toplevel.mli src/toplevel.ml src/upgrader.mli src/upgrader.boot.ml src/utils.mli src/utils.ml src/utop.mli src/utop.boot.ml src/value.mli src/value.ml src/variant.mli src/variant.ml src/vcs.mli src/vcs.ml src/versioned_file.mli src/versioned_file.ml src/vimpl.mli src/vimpl.ml src/virtual_rules.mli src/virtual_rules.ml src/visibility.mli src/visibility.ml src/watermarks.mli src/watermarks.ml src/workspace.mli src/workspace.ml src/wrapped.mli src/wrapped.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/dag/dag.mli src/dag/dag.ml src/dag/dag_intf.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/stdune/caml/dune_caml.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/dune_lang/dune_lang.mli src/dune_lang/dune_lang.ml src/dune_lang/atom.mli src/dune_lang/atom.ml src/dune_lang/combinators.ml src/dune_lang/dune_lexer.mli src/dune_lang/dune_lexer.ml src/dune_lang/escape.mli src/dune_lang/escape.ml src/dune_lang/file_syntax.mli src/dune_lang/file_syntax.ml src/dune_lang/jbuild_lexer.mli src/dune_lang/jbuild_lexer.boot.ml src/dune_lang/lexer.mli src/dune_lang/lexer.ml src/dune_lang/lexer_shared.mli src/dune_lang/lexer_shared.ml src/dune_lang/template.mli src/dune_lang/template.ml src/dune_lang/types.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/stdune/result/dune_result.ml src/stdune/result/result.mli src/stdune/result/result.ml src/stdune/result/result_compat.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/fiber/fiber.mli src/fiber/fiber.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' vendor/incremental-cycles/src/incremental_cycles.mli vendor/incremental-cycles/src/incremental_cycles.ml vendor/incremental-cycles/src/incremental_cycles_intf.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/memo/memo.mli src/memo/memo.ml src/memo/implicit_output.mli src/memo/implicit_output.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/ocaml-config/ocaml_config.mli src/ocaml-config/ocaml_config.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/stdune/stdune.ml src/stdune/ansi_color.mli src/stdune/ansi_color.ml src/stdune/appendable_list.mli src/stdune/appendable_list.ml src/stdune/array.ml src/stdune/bin.mli src/stdune/bin.ml src/stdune/bool.mli src/stdune/bool.ml src/stdune/bytes.mli src/stdune/bytes.ml src/stdune/char.ml src/stdune/code_error.mli src/stdune/code_error.ml src/stdune/common.ml src/stdune/comparable.mli src/stdune/comparable.ml src/stdune/comparable_intf.ml src/stdune/comparator.mli src/stdune/comparator.ml src/stdune/console.mli src/stdune/console.ml src/stdune/csexp.mli src/stdune/csexp.ml src/stdune/digest.mli src/stdune/digest.ml src/stdune/dyn.mli src/stdune/dyn.ml src/stdune/either.mli src/stdune/either.ml src/stdune/env.mli src/stdune/env.ml src/stdune/escape.mli src/stdune/escape.ml src/stdune/exn.mli src/stdune/exn.ml src/stdune/exn_with_backtrace.mli src/stdune/exn_with_backtrace.ml src/stdune/fdecl.mli src/stdune/fdecl.ml src/stdune/filename.mli src/stdune/filename.ml src/stdune/float.mli src/stdune/float.ml src/stdune/fmt.mli src/stdune/fmt.ml src/stdune/fn.mli src/stdune/fn.ml src/stdune/hashable.ml src/stdune/hashtbl.mli src/stdune/hashtbl.ml src/stdune/hashtbl_intf.ml src/stdune/id.mli src/stdune/id.ml src/stdune/int.mli src/stdune/int.ml src/stdune/interned.mli src/stdune/interned.ml src/stdune/io.mli src/stdune/io.ml src/stdune/lexbuf.mli src/stdune/lexbuf.ml src/stdune/list.mli src/stdune/list.ml src/stdune/loc.mli src/stdune/loc.ml src/stdune/loc0.ml src/stdune/log.mli src/stdune/log.ml src/stdune/map.mli src/stdune/map.ml src/stdune/map_intf.ml src/stdune/monad.mli src/stdune/monad.ml src/stdune/nothing.mli src/stdune/nothing.ml src/stdune/option.mli src/stdune/option.ml src/stdune/or_exn.mli src/stdune/or_exn.ml src/stdune/ordered.mli src/stdune/ordered.ml src/stdune/ordering.mli src/stdune/ordering.ml src/stdune/path.mli src/stdune/path.ml src/stdune/path_intf.ml src/stdune/poly.mli src/stdune/poly.ml src/stdune/pp.mli src/stdune/pp.ml src/stdune/proc.mli src/stdune/proc.ml src/stdune/result.mli src/stdune/result.ml src/stdune/set.mli src/stdune/set.ml src/stdune/set_intf.ml src/stdune/sexp.mli src/stdune/sexp.ml src/stdune/signal.mli src/stdune/signal.ml src/stdune/staged.mli src/stdune/staged.ml src/stdune/string.mli src/stdune/string.ml src/stdune/string_split.mli src/stdune/string_split.ml src/stdune/table.mli src/stdune/table.ml src/stdune/tuple.mli src/stdune/tuple.ml src/stdune/type_eq.mli src/stdune/type_eq.ml src/stdune/unit.mli src/stdune/unit.ml src/stdune/univ_map.mli src/stdune/univ_map.ml src/stdune/user_error.mli src/stdune/user_error.ml src/stdune/user_message.mli src/stdune/user_message.ml src/stdune/user_warning.mli src/stdune/user_warning.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/wp/wp.mli src/wp/wp.boot.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamldep.opt -modules -pp './boot-pp.exe -dump-ast' src/xdg/xdg.mli src/xdg/xdg.ml > boot-depends.txt - /home/opam/.opam/4.05.0/bin/ocamlc.opt -g -w -40 -o boot.exe -pp './boot-pp.exe -dump-ast' -I +threads unix.cma threads.cma boot.ml Processing 13/20: [dune: ./boot.exe 71] + /home/opam/.opam/4.05.0/.opam-switch/build/dune.1.11.4/./boot.exe "--release" "-j" "71" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/dune.1.11.4) -> compiled dune.1.11.4 -> installed dune.1.11.4 Processing 15/20: [cppo: dune build] + /home/opam/.opam/4.05.0/bin/dune "build" "-p" "cppo" "-j" "71" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/cppo.1.6.6) -> compiled cppo.1.6.6 -> installed cppo.1.6.6 Processing 17/20: [extlib-compat: make build] + /usr/bin/make "build" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2) - fatal: not a git repository: '.git' - /usr/bin/make -C src build - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2/src' - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -i extBytes.ml > extBytes.mli - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extBytes.mli extBytes.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c enum.mli enum.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c bitSet.mli bitSet.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c dynArray.mli dynArray.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extArray.mli extArray.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -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 OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extList.mli extList.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extString.mli extString.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extBuffer.mli extBuffer.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c global.mli global.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c IO.mli IO.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c option.mli option.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c pMap.mli pMap.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c std.mli std.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c uChar.mli uChar.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c uTF8.mli uTF8.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c base64.mli base64.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c unzip.mli unzip.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c refList.mli refList.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c optParse.mli optParse.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c dllist.mli dllist.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extLib.ml - ocamlfind ocamlc -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -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 uChar.cmo uTF8.cmo base64.cmo unzip.cmo refList.cmo optParse.cmo dllist.cmo extLib.cmo - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extBytes.mli extBytes.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c enum.mli enum.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c bitSet.mli bitSet.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c dynArray.mli dynArray.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extArray.mli extArray.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -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 OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extList.mli extList.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extString.mli extString.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extBuffer.mli extBuffer.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c global.mli global.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c IO.mli IO.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c option.mli option.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c pMap.mli pMap.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c std.mli std.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c uChar.mli uChar.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c uTF8.mli uTF8.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c base64.mli base64.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c unzip.mli unzip.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c refList.mli refList.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c optParse.mli optParse.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c dllist.mli dllist.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -c extLib.ml - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -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 uChar.cmx uTF8.cmx base64.cmx unzip.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx - ocamlfind ocamlopt -pp "cppo -D OCAML4 -D OCAML4_02 -D OCAML4_03 -D OCAML4_04 -D OCAML4_05 -D WITH_BYTES" -g -package bytes -shared -linkall extLib.cmxa -o extLib.cmxs - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2/src' -> compiled extlib-compat.1.7.2 Processing 18/20: [extlib-compat: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2) - fatal: not a git repository: '.git' - /usr/bin/make -C src VERSION=1.7.2 install - make[1]: Entering directory '/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2/src' - ocamlfind install -patch-version 1.7.2 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 uChar.mli uTF8.mli base64.mli unzip.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 uChar.cmi uTF8.cmi base64.cmi unzip.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 uChar.cmx uTF8.cmx base64.cmx unzip.cmx refList.cmx optParse.cmx dllist.cmx extLib.cmx extLib.cmxs extLib.a extLib.lib - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.a - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.cmxs - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/dllist.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/optParse.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/refList.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/unzip.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/base64.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/uTF8.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/uChar.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/std.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/pMap.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/option.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/IO.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/global.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extBuffer.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extString.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extList.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extHashtbl.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extArray.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/dynArray.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/bitSet.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/enum.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extBytes.cmx - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.cmxa - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/dllist.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/optParse.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/refList.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/unzip.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/base64.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/uTF8.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/uChar.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/std.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/pMap.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/option.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/IO.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/global.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extBuffer.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extString.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extList.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extHashtbl.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extArray.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/dynArray.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/bitSet.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/enum.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/extBytes.cmi - Installed /home/opam/.opam/4.05.0/lib/extlib/dllist.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/optParse.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/refList.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/unzip.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/base64.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/uTF8.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/uChar.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/std.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/pMap.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/option.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/IO.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/global.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extBuffer.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extString.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extList.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extHashtbl.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extArray.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/dynArray.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/bitSet.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/enum.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extBytes.mli - Installed /home/opam/.opam/4.05.0/lib/extlib/extLib.cma - Installed /home/opam/.opam/4.05.0/lib/extlib/META - make[1]: Leaving directory '/home/opam/.opam/4.05.0/.opam-switch/build/extlib-compat.1.7.2/src' -> installed extlib-compat.1.7.2 Processing 19/20: [TCSLib: ocaml setup.ml] + /home/opam/.opam/4.05.0/bin/ocaml "setup.ml" "-configure" "--prefix" "/home/opam/.opam/4.05.0" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/TCSLib.0.3) - - Configuration: - ocamlfind: ........................................... /home/opam/.opam/4.05.0/bin/ocamlfind - ocamlc: .............................................. /home/opam/.opam/4.05.0/bin/ocamlc.opt - ocamlopt: ............................................ /home/opam/.opam/4.05.0/bin/ocamlopt.opt - ocamlbuild: .......................................... /home/opam/.opam/4.05.0/bin/ocamlbuild - Package name: ........................................ TCSLib - Package version: ..................................... 0.3 - os_type: ............................................. Unix - system: .............................................. linux - architecture: ........................................ amd64 - ccomp_type: .......................................... cc - ocaml_version: ....................................... 4.05.0 - standard_library_default: ............................ /home/opam/.opam/4.05.0/lib/ocaml - standard_library: .................................... /home/opam/.opam/4.05.0/lib/ocaml - standard_runtime: .................................... /home/opam/.opam/4.05.0/bin/ocamlrun - bytecomp_c_compiler: ................................. gcc -O2 -fno-strict-aliasing -fwrapv -D_FILE_OFFSET_BITS=64 -D_REENTRANT -fPIC - native_c_compiler: ................................... gcc -O2 -fno-strict-aliasing -fwrapv -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.05.0 - 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.8.1 - 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.05.0/lib/num - pkg_extlib: .......................................... /home/opam/.opam/4.05.0/lib/extlib - + /home/opam/.opam/4.05.0/bin/ocaml "setup.ml" "-build" (CWD=/home/opam/.opam/4.05.0/.opam-switch/build/TCSLib.0.3) - ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.05.0/lib/ocamlbuild /home/opam/.opam/4.05.0/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.05.0/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.mli > src/data/tcslist.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcslist.ml > src/data/tcslist.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.mli > src/data/tcsarray.mli.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.mli > src/data/tcsbasedata.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsarray.ml > src/data/tcsarray.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsbasedata.ml > src/data/tcsbasedata.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.mli > src/data/tcscache.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcscache.ml > src/data/tcscache.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.mli > src/data/tcsset.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.mli > src/data/tcsgraph.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsgraph.ml > src/data/tcsgraph.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.mli > src/data/tcsmaths.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsmaths.ml > src/data/tcsmaths.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.mli > src/data/tcsqueue.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsqueue.ml > src/data/tcsqueue.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsset.ml > src/data/tcsset.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.mli > src/data/tcsstrings.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/tcsstrings.ml > src/data/tcsstrings.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.mli > src/utils/tcsargs.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsargs.ml > src/utils/tcsargs.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.mli > src/utils/tcsmessage.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsmessage.ml > src/utils/tcsmessage.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.mli > src/utils/tcsstats.mli.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.mli > src/utils/tcstiming.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcsstats.ml > src/utils/tcsstats.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/utils/tcstiming.ml > src/utils/tcstiming.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.mli > src/data/fMap.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fMap.ml > src/data/fMap.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.mli > src/data/fSet.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/data/fSet.ml > src/data/fSet.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.mli > src/automata/tcsautohelper.mli.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.mli > src/automata/tcsautomata.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautohelper.ml > src/automata/tcsautohelper.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautomata.ml > src/automata/tcsautomata.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.mli > src/automata/tcsautotransform.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsautotransform.ml > src/automata/tcsautotransform.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.mli > src/automata/tcsgames.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcsgames.ml > src/automata/tcsgames.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.mli > src/automata/tcstransitionsys.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/tcstransitionsys.ml > src/automata/tcstransitionsys.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.mli > src/automata/parser/tcsautomataparser.mli.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.mli > src/automata/parser/tcsautomataparserinternal.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparser.ml > src/automata/parser/tcsautomataparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/automata/parser/tcsautomatalexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomatalexer.ml > src/automata/parser/tcsautomatalexer.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlyacc src/automata/parser/tcsautoparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.mli > src/automata/parser/tcsautoparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.mli > src/automata/parser/tcsgameparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparser.ml > src/automata/parser/tcsgameparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.mli > src/automata/parser/tcsgameparserinternal.mli.depends - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/automata/parser/tcsparitygamelexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygamelexer.ml > src/automata/parser/tcsparitygamelexer.ml.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlyacc src/automata/parser/tcsparitygameparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.mli > src/automata/parser/tcsparitygameparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamllex.opt -q src/automata/parser/tcsparitysolutionlexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionlexer.ml > src/automata/parser/tcsparitysolutionlexer.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlyacc src/automata/parser/tcsparitysolutionparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.mli > src/automata/parser/tcsparitysolutionparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.mli > src/automata/parser/tcstransitionsysparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparser.ml > src/automata/parser/tcstransitionsysparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/automata/parser/tcsltslexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltslexer.ml > src/automata/parser/tcsltslexer.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlyacc src/automata/parser/tcsltsparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.mli > src/automata/parser/tcsltsparser.mli.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.mli > src/automata/parser/tcstransitionsysparserinternal.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamllex.opt -q src/automata/parser/tcstslexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstslexer.ml > src/automata/parser/tcstslexer.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlyacc src/automata/parser/tcstsparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.mli > src/automata/parser/tcstsparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.mli > src/formula/tcsmetaformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/tcsmetaformula.ml > src/formula/tcsmetaformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.mli > src/formula/ctlstar/tcsctlstarformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ctlstar/tcsctlstarformula.ml > src/formula/ctlstar/tcsctlstarformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.mli > src/formula/ltl/tcsltlformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltl/tcsltlformula.ml > src/formula/ltl/tcsltlformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.mli > src/formula/ltmc/tcsltmcformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/ltmc/tcsltmcformula.ml > src/formula/ltmc/tcsltmcformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.mli > src/formula/mmc/tcsmmcformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/mmc/tcsmmcformula.ml > src/formula/mmc/tcsmmcformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.mli > src/formula/pdl/tcspdlformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/pdl/tcspdlformula.ml > src/formula/pdl/tcspdlformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.mli > src/formula/parser/tcsformulaparse.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparse.ml > src/formula/parser/tcsformulaparse.ml.depends - /home/opam/.opam/4.05.0/bin/ocamllex.opt -q src/formula/parser/tcsformulalexer.mll - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulalexer.ml > src/formula/parser/tcsformulalexer.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlyacc src/formula/parser/tcsformulaparser.mly - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.mli > src/formula/parser/tcsformulaparser.mli.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsgameparserinternal.ml > src/automata/parser/tcsgameparserinternal.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitygameparser.ml > src/automata/parser/tcsparitygameparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsparitysolutionparser.ml > src/automata/parser/tcsparitysolutionparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautomataparserinternal.ml > src/automata/parser/tcsautomataparserinternal.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsautoparser.ml > src/automata/parser/tcsautoparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/parser/tcsformulaparser.ml > src/formula/parser/tcsformulaparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.mli > src/formula/lmmc/tcslmmcformula.mli.depends - /home/opam/.opam/4.05.0/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.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/formula/lmmc/tcslmmcformula.ml > src/formula/lmmc/tcslmmcformula.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstransitionsysparserinternal.ml > src/automata/parser/tcstransitionsysparserinternal.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcsltsparser.ml > src/automata/parser/tcsltsparser.ml.depends - /home/opam/.opam/4.05.0/bin/ocamlfind ocamldep -package num -package extlib -modules src/automata/parser/tcstsparser.ml > src/automata/parser/tcstsparser.ml.depends - /home/opam/.opam/4.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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.05.0/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 20/20: [TCSLib: ocaml setup.ml] + /home/opam/.opam/4.05.0/bin/ocaml "setup.ml" "-install" (CWD=/home/opam/.opam/4.05.0/.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.05.0/lib/TCSLib/TCSLib.cma - Installed /home/opam/.opam/4.05.0/lib/TCSLib/TCSLib.cmxa - Installed /home/opam/.opam/4.05.0/lib/TCSLib/TCSLib.a - Installed /home/opam/.opam/4.05.0/lib/TCSLib/TCSLib.cmxs - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstsparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstsparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstsparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstsparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltsparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltsparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltsparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltsparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparserinternal.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparserinternal.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparserinternal.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparserinternal.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltslexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltslexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltslexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstslexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstslexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstslexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslmmcformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslmmcformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslmmcformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslmmcformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulalexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulalexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulalexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautoparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautoparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautoparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautoparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomatalexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomatalexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomatalexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparserinternal.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparserinternal.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparserinternal.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparserinternal.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygamelexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygamelexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygamelexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygameparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygameparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygameparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygameparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionlexer.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionlexer.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionlexer.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparserinternal.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparserinternal.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparserinternal.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparserinternal.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparse.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparse.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparse.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparse.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcspdlformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcspdlformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcspdlformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcspdlformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmmcformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmmcformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmmcformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmmcformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltmcformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltmcformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltmcformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltmcformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltlformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltlformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltlformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltlformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsctlstarformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsctlstarformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsctlstarformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsctlstarformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmetaformula.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmetaformula.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmetaformula.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmetaformula.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparser.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparser.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparser.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparser.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsys.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsys.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsys.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsys.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgames.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgames.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgames.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgames.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautotransform.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautotransform.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautotransform.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautotransform.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomata.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomata.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomata.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomata.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautohelper.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautohelper.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautohelper.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautohelper.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fSet.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fSet.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fSet.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fSet.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fMap.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fMap.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fMap.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fMap.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstiming.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstiming.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstiming.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstiming.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstats.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstats.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstats.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstats.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmessage.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmessage.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmessage.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmessage.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsargs.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsargs.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsargs.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsargs.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstrings.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstrings.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstrings.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstrings.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsset.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsset.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsset.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsset.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsqueue.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsqueue.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsqueue.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsqueue.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmaths.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmaths.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmaths.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmaths.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgraph.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgraph.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgraph.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgraph.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcscache.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcscache.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcscache.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcscache.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsbasedata.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsbasedata.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsbasedata.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsbasedata.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsarray.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsarray.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsarray.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsarray.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslist.cmi - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslist.cmti - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslist.cmt - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslist.annot - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstsparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltsparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparserinternal.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltslexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstslexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslmmcformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulalexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautoparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomatalexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparserinternal.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygamelexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitygameparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsparitysolutionlexer.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparserinternal.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsformulaparse.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcspdlformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmmcformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltmcformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsltlformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsctlstarformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmetaformula.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsysparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgameparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomataparser.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstransitionsys.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgames.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautotransform.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautomata.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsautohelper.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fSet.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/fMap.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcstiming.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstats.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmessage.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsargs.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsstrings.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsset.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsqueue.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsmaths.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsgraph.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcscache.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsbasedata.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcsarray.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/tcslist.cmx - Installed /home/opam/.opam/4.05.0/lib/TCSLib/META -> installed TCSLib.0.3 Done. # Run eval $(opam env) to update the current shell environment