Building on summer
(from freebsd-ocaml-5.0)
2023-11-01 19:07.04 ---> using "b0ee167c73857b60ecf6c06eff6bbe96857a02ac84fefd2b9807cb2eea16bf97" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/local/bin/opam-2.1 /usr/local/bin/opam"))
2023-11-01 19:07.04 ---> using "58da31f76f3dd28576bb2b11a05c1473a2cbc0bc8e959f83414ab7001888e94f" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 7b4cedddee88c79d6bdb00eccf7b36a7b617b211"))
2023-11-01 19:07.04 ---> using "ceda9c602c42ecee62840706a0356388ac8fe9b4284a02972fb121a316518aa6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
/usr/home/opam/.profile is already up-to-date.
[NOTE] Make sure that /usr/home/opam/.profile is well sourced in your ~/.bashrc.
2023-11-01 19:07.04 ---> using "3d69dd19638d580f9a84afa315c8a62fa2810666d83257cb65ea0af54a8f6211" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14.1' 'ocaml-base-compiler.4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (https://github.com/ocaml/ocaml/archive/4.14.1.tar.gz)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14.1) to update the current shell environment
2023-11-01 19:07.04 ---> using "c4e27f19fd975d5c280de43fa93fccc258b31be75c65928c8e9a19b3e947d35b" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2023-11-01 19:07.04 ---> using "82fdb51c9bff51a089d72b27d56db2f7612532ea8873173b74f5196406d22ee8" from cache
/: (run (cache (opam-archives (target /usr/home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"squirrel.0.1\"\
\nopam install -vy \"squirrel.0.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"squirrel.0.1\" | grep -q '\"freebsd\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] squirrel.0.1 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 3.11.1 [required by ocamlgraph, alcotest, menhir, pcre]
- install conf-pkg-config 3 [required by conf-libpcre]
- install cmdliner 1.2.0 [required by alcotest]
- install ocamlfind 1.9.6 [required by fmt, astring, uutf]
- install seq base [required by re]
- install conf-which 1 [required by squirrel]
- install ocamlbuild 0.14.2 [required by fmt, astring, uutf]
- install stdlib-shims 0.3.0 [required by alcotest, ocamlgraph]
- install ocaml-syntax-shims 1.0.0 [required by alcotest]
- install menhirSdk 20230608 [required by menhir]
- install menhirLib 20230608 [required by menhir]
- install csexp 1.5.2 [required by dune-configurator]
- install conf-libpcre 1 [required by pcre]
- install re 1.11.0 [required by alcotest]
- install topkg 1.0.7 [required by fmt, astring, uutf]
- install ocamlgraph 2.1.0 [required by squirrel]
- install menhir 20230608 [required by squirrel]
- install dune-configurator 3.11.1 [required by pcre]
- install uutf 1.0.3 [required by alcotest]
- install fmt 0.9.0 [required by squirrel]
- install astring 0.8.5 [required by alcotest]
- install pcre 7.5.0 [required by squirrel]
- install alcotest 1.7.0 [required by squirrel]
- install squirrel 0.1
===== 24 to install =====
The following system packages will first need to be installed:
pcre
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/local/bin/sudo "pkg" "install" "-y" "pcre"
- Updating FreeBSD repository catalogue...
- [summer] Fetching packagesite.pkg: ...
- ....... done
- Processing entries: ..
- ..
- ...
- ... done
- FreeBSD repository update completed. 34071 packages processed.
- All repositories are up to date.
- New version of pkg detected; it needs to be installed first.
- The following 1 package(s) will be affected (of 0 checked):
-
- Installed packages to be UPGRADED:
- pkg: 1.19.2 -> 1.20.8
-
- Number of packages to be upgraded: 1
-
- The process will require 1 MiB more space.
- 9 MiB to be downloaded.
- [summer] [1/1] Fetching pkg-1.20.8.pkg: ....
- ...... done
- Checking integrity... done (0 conflicting)
- [summer] [1/1] Upgrading pkg from 1.19.2 to 1.20.8...
- [summer] [1/1] Extracting pkg-1.20.8: ..
- .......
- . done
- Updating FreeBSD repository catalogue...
- FreeBSD repository is up to date.
- All repositories are up to date.
- The following 1 package(s) will be affected (of 0 checked):
-
- New packages to be INSTALLED:
- pcre: 8.45_3
-
- Number of packages to be installed: 1
-
- The process will require 6 MiB more space.
- 1 MiB to be downloaded.
- [summer] [1/1] Fetching pcre-8.45_3.pkg: .......... done
- Checking integrity... done (0 conflicting)
- [summer] [1/1] Installing pcre-8.45_3...
- [summer] [1/1] Extracting pcre-8.45_3:
- .......... done
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/72:
Processing 2/72:
Processing 3/72:
-> retrieved astring.0.8.5 (cached)
Processing 4/72:
Processing 5/72:
Processing 6/72:
Processing 7/72:
Processing 8/72: [conf-pkg-config: pkg-config]
Processing 9/72: [conf-pkg-config: pkg-config] [conf-which: which which]
- usage: pkgconf [OPTIONS] [LIBRARIES]
-
- basic options:
-
- --help this message
- --about print pkgconf version and license to stdout
- --version print supported pkg-config version to stdout
- --atleast-pkgconfig-version check whether or not pkgconf is compatible
- with a specified pkg-config version
- --errors-to-stdout print all errors on stdout instead of stderr
- --print-errors ensure all errors are printed
- --short-errors be less verbose about some errors
- --silence-errors explicitly be silent about errors
- --list-all list all known packages
- --list-package-names list all known package names
- --simulate simulate walking the calculated dependency graph
- --no-cache do not cache already seen packages when
- walking the dependency graph
- --log-file=filename write an audit log to a specified file
- --with-path=path adds a directory to the search path
- --define-prefix override the prefix variable with one that is guessed based on
- the location of the .pc file
- --dont-define-prefix do not override the prefix variable under any circumstances
- --prefix-variable=varname sets the name of the variable that pkgconf considers
- to be the package prefix
- --relocate=path relocates a path and exits (mostly for testsuite)
- --dont-relocate-paths disables path relocation support
-
- cross-compilation personality support:
-
- --personality=triplet|filename sets the personality to 'triplet' or a file named 'filename'
- --dump-personality dumps details concerning selected personality
-
- checking specific pkg-config database entries:
-
- --atleast-version require a specific version of a module
- --exact-version require an exact version of a module
- --max-version require a maximum version of a module
- --exists check whether or not a module exists
- --uninstalled check whether or not an uninstalled module will be used
- --no-uninstalled never use uninstalled modules when satisfying dependencies
- --no-provides do not use 'provides' rules to resolve dependencies
- --maximum-traverse-depth maximum allowed depth for dependency graph
- --static be more aggressive when computing dependency graph
- (for static linking)
- --shared use a simplified dependency graph (usually default)
- --pure optimize a static dependency graph as if it were a normal
- dependency graph
- --env-only look only for package entries in PKG_CONFIG_PATH
- --ignore-conflicts ignore 'conflicts' rules in modules
- --validate validate specific .pc files for correctness
-
- querying specific pkg-config database fields:
-
- --define-variable=varname=value define variable 'varname' as 'value'
- --variable=varname print specified variable entry to stdout
- --cflags print required CFLAGS to stdout
- --cflags-only-I print required include-dir CFLAGS to stdout
- --cflags-only-other print required non-include-dir CFLAGS to stdout
- --libs print required linker flags to stdout
- --libs-only-L print required LDPATH linker flags to stdout
- --libs-only-l print required LIBNAME linker flags to stdout
- --libs-only-other print required other linker flags to stdout
- --print-requires print required dependency frameworks to stdout
- --print-requires-private print required dependency frameworks for static
- linking to stdout
- --print-provides print provided dependencies to stdout
- --print-variables print all known variables in module to stdout
- --digraph print entire dependency graph in graphviz 'dot' format
- --keep-system-cflags keep -I/usr/include entries in cflags output
- --keep-system-libs keep -L/usr/lib entries in libs output
- --path show the exact filenames for any matching .pc files
- --modversion print the specified module's version to stdout
- --internal-cflags do not filter 'internal' cflags from output
-
- filtering output:
-
- --msvc-syntax print translatable fragments in MSVC syntax
- --fragment-filter=types filter output fragments to the specified types
-
- report bugs to <https://github.com/pkgconf/pkgconf/issues/new>.
-> compiled conf-pkg-config.3
Processing 9/72: [conf-which: which which]
-> installed conf-pkg-config.3
Processing 10/72: [conf-which: which which]
Processing 11/72: [conf-libpcre: pkg-config libpcre] [conf-which: which which]
- /usr/bin/which
-> compiled conf-which.1
Processing 11/72: [conf-libpcre: pkg-config libpcre]
-> installed conf-which.1
Processing 12/72: [conf-libpcre: pkg-config libpcre]
-> retrieved csexp.1.5.2 (cached)
Processing 13/72: [conf-libpcre: pkg-config libpcre]
-> compiled conf-libpcre.1
Processing 13/72:
-> installed conf-libpcre.1
Processing 14/72:
-> retrieved cmdliner.1.2.0 (cached)
Processing 15/72:
Processing 16/72: [cmdliner: gmake all]
-> retrieved dune-configurator.3.11.1 (cached)
Processing 17/72: [cmdliner: gmake all]
-> retrieved dune.3.11.1 (cached)
Processing 18/72: [cmdliner: gmake all]
Processing 19/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved menhir.20230608 (cached)
Processing 20/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved fmt.0.9.0 (cached)
Processing 21/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved alcotest.1.7.0 (cached)
Processing 22/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved menhirSdk.20230608 (cached)
Processing 23/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved ocaml-syntax-shims.1.0.0 (cached)
Processing 24/72: [cmdliner: gmake all] [dune: ocaml 15]
-> retrieved ocamlbuild.0.14.2 (cached)
Processing 25/72: [cmdliner: gmake all] [dune: ocaml 15]
Processing 26/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake configure.make]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 27/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake configure.make]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 28/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake configure.make] [ocamlfind: patch]
-> retrieved pcre.7.5.0 (cached)
Processing 29/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake configure.make] [ocamlfind: patch]
Processing 29/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake configure.make] [ocamlfind: ./configure]
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "OCAML_LIBDIR=/usr/home/opam/.opam/4.14.1/lib/ocaml"; \
- echo "OCAML_MANDIR=/usr/home/opam/.opam/4.14.1/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/usr/home/opam/.opam/4.14.1"; \
- echo "BINDIR=/usr/home/opam/.opam/4.14.1/bin"; \
- echo "LIBDIR=/usr/home/opam/.opam/4.14.1/lib"; \
- echo "MANDIR=/usr/home/opam/.opam/4.14.1/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/usr/home/opam/.opam/4.14.1/bin"'; \
- echo 'let libdir = "/usr/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_libdir = "/usr/home/opam/.opam/4.14.1/lib/ocaml"'; \
- echo 'let libdir_abs = "/usr/home/opam/.opam/4.14.1/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.2"'; \
- ) > src/ocamlbuild_config.ml
Processing 29/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ocamlgraph.2.1.0 (cached)
Processing 30/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
Processing 31/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
Processing 32/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> installed seq.base
Processing 33/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved re.1.11.0 (cached)
Processing 34/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved menhirLib.20230608 (cached)
Processing 35/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 36/72: [squirrel.0.1: http] [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved topkg.1.0.7 (cached)
-> retrieved uutf.1.0.3 (cached)
Processing 36/72: [cmdliner: gmake all] [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
- ocaml build.ml cma
- ocaml build.ml cmxa
- ocaml build.ml cmxs
-> compiled cmdliner.1.2.0
Processing 36/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure]
Processing 37/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: gmake install]
-> retrieved squirrel.0.1 (https://github.com/squirrel-prover/squirrel-prover/archive/0.1.tar.gz)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found (in +ocamldoc)
- raw_spacetime: not present (normal since 4.12)
- threads: found (in +threads)
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /usr/home/opam/.opam/4.14.1/lib
- The configuration file is written to:
- findlib config file: /usr/home/opam/.opam/4.14.1/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /usr/home/opam/.opam/4.14.1/bin
- Manual pages: /usr/home/opam/.opam/4.14.1/man
- topfind script: /usr/home/opam/.opam/4.14.1/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 37/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all] [cmdliner: gmake install]
- install -d "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install cmdliner.opam "/usr/home/opam/.opam/4.14.1/lib/cmdliner/opam"
- install _build/cmdliner.cma "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxa _build/cmdliner.a _build/cmdliner.cmx _build/cmdliner_arg.cmx _build/cmdliner_base.cmx _build/cmdliner_cline.cmx _build/cmdliner_cmd.cmx _build/cmdliner_docgen.cmx _build/cmdliner_eval.cmx _build/cmdliner_exit.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_term.cmx _build/cmdliner_term_deprecated.cmx _build/cmdliner_trie.cmx \
- "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
- install _build/cmdliner.cmxs "/usr/home/opam/.opam/4.14.1/lib/cmdliner"
Processing 37/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all] [cmdliner: gmake install-doc]
- install -d "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
- install CHANGES.md LICENSE.md README.md "/usr/home/opam/.opam/4.14.1/doc/cmdliner"
- install doc/index.mld doc/cli.mld doc/examples.mld doc/tutorial.mld \
- doc/tool_man.mld "/usr/home/opam/.opam/4.14.1/doc/cmdliner/odoc-pages"
-> installed cmdliner.1.2.0
Processing 37/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake all]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake all ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/usr/home/opam/.opam/4.14.1/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/usr/home/opam/.opam/4.14.1/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;freebsd;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake all-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/usr/home/opam/.opam/4.14.1/lib' | \
- tools/patch '@FINDLIB_PATH@' '/usr/home/opam/.opam/4.14.1/lib' -p >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
Processing 37/72: [dune: ocaml 15] [ocamlbuild: gmake check-if-preinstalled] [ocamlfind: gmake opt]
- if test -d /usr/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/usr/home/opam/.opam/4.14.1/lib/ocaml/ocamlbuild";\
- >&2 echo "Installation aborted; if you want to bypass this"\
- "safety check, pass CHECK_IF_PREINSTALLED=false to make";\
- exit 2;\
- fi
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/signatures.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamllex.opt src/glob_lexer.mll
- 55 states, 419 transitions, table size 2006 bytes
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamllex.opt src/lexers.mll
- 251 states, 1051 transitions, table size 5710 bytes
- 4334 additional bytes used for bindings
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlc.opt -pack src/const.cmo src/loc.cmo src/discard_printf.cmo src/signatures.cmi src/my_std.cmo src/my_unix.cmo src/tags.cmo src/display.cmo src/log.cmo src/shell.cmo src/bool.cmo src/glob_ast.cmo src/glob_lexer.cmo src/glob.cmo src/lexers.cmo src/param_tags.cmo src/command.cmo src/ocamlbuild_config.cmo src/ocamlbuild_where.cmo src/slurp.cmo src/options.cmo src/pathname.cmo src/configuration.cmo src/flags.cmo src/hygiene.cmo src/digest_cache.cmo src/resource.cmo src/rule.cmo src/solver.cmo src/report.cmo src/tools.cmo src/fda.cmo src/findlib.cmo src/ocaml_arch.cmo src/ocaml_utils.cmo src/ocaml_dependencies.cmo src/ocaml_compiler.cmo src/ocaml_tools.cmo src/ocaml_specific.cmo src/exit_codes.cmo src/plugin.cmo src/hooks.cmo src/main.cmo -o tmp/ocamlbuild_pack.cmo
- mv tmp/ocamlbuild_pack.cmi src/ocamlbuild_pack.cmi
- mv tmp/ocamlbuild_pack.cmo src/ocamlbuild_pack.cmo
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.mli
- ocamlc.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlc.opt -I +unix -I src -o ocamlbuild.byte unix.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo bin/ocamlbuild.cmo
- ocamlc.opt -a -o plugin-lib/ocamlbuildlib.cma src/ocamlbuild_pack.cmo plugin-lib/ocamlbuild_plugin.cmo plugin-lib/ocamlbuild_executor.cmo plugin-lib/ocamlbuild_unix_plugin.cmo
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/const.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/loc.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/discard_printf.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_std.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/my_unix.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/display.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/log.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/shell.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/bool.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_ast.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob_lexer.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/glob.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/lexers.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/param_tags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/command.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_config.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocamlbuild_where.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/slurp.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/options.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/pathname.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/configuration.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/flags.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hygiene.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/digest_cache.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/resource.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/rule.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/solver.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/report.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/fda.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/findlib.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_arch.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_utils.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_dependencies.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_compiler.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_tools.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/ocaml_specific.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/exit_codes.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/plugin.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/hooks.ml
- ocamlopt.opt -for-pack Ocamlbuild_pack -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c src/main.ml
- mkdir -p tmp
- ocamlopt.opt -pack src/const.cmx src/loc.cmx src/discard_printf.cmx src/signatures.cmi src/my_std.cmx src/my_unix.cmx src/tags.cmx src/display.cmx src/log.cmx src/shell.cmx src/bool.cmx src/glob_ast.cmx src/glob_lexer.cmx src/glob.cmx src/lexers.cmx src/param_tags.cmx src/command.cmx src/ocamlbuild_config.cmx src/ocamlbuild_where.cmx src/slurp.cmx src/options.cmx src/pathname.cmx src/configuration.cmx src/flags.cmx src/hygiene.cmx src/digest_cache.cmx src/resource.cmx src/rule.cmx src/solver.cmx src/report.cmx src/tools.cmx src/fda.cmx src/findlib.cmx src/ocaml_arch.cmx src/ocaml_utils.cmx src/ocaml_dependencies.cmx src/ocaml_compiler.cmx src/ocaml_tools.cmx src/ocaml_specific.cmx src/exit_codes.cmx src/plugin.cmx src/hooks.cmx src/main.cmx -o tmp/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.cmx src/ocamlbuild_pack.cmx
- mv tmp/ocamlbuild_pack.o src/ocamlbuild_pack.o
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_executor.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c plugin-lib/ocamlbuild_unix_plugin.ml
- ocamlopt.opt -w +L -w +R -w +Z -I src -I plugin-lib -I bin -I +unix -safe-string -bin-annot -strict-sequence -c bin/ocamlbuild.ml
- ocamlopt.opt -I +unix -I src -o ocamlbuild.native unix.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx bin/ocamlbuild.cmx
- ocamlopt.opt -a -o plugin-lib/ocamlbuildlib.cmxa src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx
- ocamlc.opt src/ocamlbuild_pack.cmo -I src man/options_man.ml -o man/options_man.byte
- ./man/options_man.byte > man/ocamlbuild.options.1
- cat man/ocamlbuild.header.1 man/ocamlbuild.options.1 man/ocamlbuild.footer.1 > man/ocamlbuild.1
- /usr/local/bin/gmake ocamlbuild.install
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- /usr/local/bin/gmake install-bin-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'lib: [' >> ocamlbuild.install
- /usr/local/bin/gmake install-lib-basics-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-byte-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-lib-native-opam
- gmake[3]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- gmake[3]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-man-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- /usr/local/bin/gmake install-doc-opam
- gmake[2]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- gmake[2]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlbuild.0.14.2'
-> compiled ocamlbuild.0.14.2
Processing 37/72: [dune: ocaml 15] [ocamlfind: gmake opt]
-> installed ocamlbuild.0.14.2
Processing 38/72: [dune: ocaml 15] [ocamlfind: gmake opt]
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake opt ) || exit; done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- -I +unix -I +dynlink ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -I +unix -I +dynlink -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 38/72: [dune: ocaml 15]
Processing 39/72: [dune: ocaml 15] [ocamlfind: gmake install]
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/usr/home/opam/.opam/4.14.1/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//usr/home/opam/.opam/4.14.1/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- install -d "/usr/home/opam/.opam/4.14.1/man"
- /usr/local/bin/gmake install-config
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/usr/home/opam/.opam/4.14.1/lib/findlib.conf\"`"
- test -f "/usr/home/opam/.opam/4.14.1/lib/findlib.conf" || install -c findlib.conf "/usr/home/opam/.opam/4.14.1/lib/findlib.conf"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; /usr/local/bin/gmake install ); done
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"
- install -d "/usr/home/opam/.opam/4.14.1/bin"
- test 1 -eq 0 || install -d "/usr/home/opam/.opam/4.14.1/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/usr/home/opam/.opam/4.14.1/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/usr/home/opam/.opam/4.14.1/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/usr/home/opam/.opam/4.14.1/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/usr/home/opam/.opam/4.14.1/lib/findlib/"; \
- fi
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- /usr/local/bin/gmake install-meta
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/usr/home/opam/.opam/4.14.1/lib/$x"; install -c site-lib-src/$x/META "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" && mv "/usr/home/opam/.opam/4.14.1/lib/$x/META.tmp" "/usr/home/opam/.opam/4.14.1/lib/$x/META"; done
- install -d "/usr/home/opam/.opam/4.14.1/lib/findlib"; install -c Makefile.packages "/usr/home/opam/.opam/4.14.1/lib/findlib/Makefile.packages"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; /usr/local/bin/gmake install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/usr/home/opam/.opam/4.14.1/bin"
- /usr/local/bin/gmake install-doc
- gmake[1]: Entering directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/usr/home/opam/.opam/4.14.1/man/man1" "/usr/home/opam/.opam/4.14.1/man/man3" "/usr/home/opam/.opam/4.14.1/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/usr/home/opam/.opam/4.14.1/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/usr/home/opam/.opam/4.14.1/man/man5"
- gmake[1]: Leaving directory '/usr/home/opam/.opam/4.14.1/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 39/72: [dune: ocaml 15]
Processing 40/72: [dune: ocaml 15] [topkg: ocaml build]
- ocamlfind ocamldep -modules src/topkg.ml > src/topkg.ml.depends
- ocamlfind ocamldep -modules src/topkg.mli > src/topkg.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg.cmi src/topkg.mli
- ocamlfind ocamldep -modules src/topkg_build.ml > src/topkg_build.ml.depends
- ocamlfind ocamldep -modules src/topkg_build.mli > src/topkg_build.mli.depends
- ocamlfind ocamldep -modules src/topkg_cmd.mli > src/topkg_cmd.mli.depends
- ocamlfind ocamldep -modules src/topkg_fpath.mli > src/topkg_fpath.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fpath.cmi src/topkg_fpath.mli
- ocamlfind ocamldep -modules src/topkg_codec.mli > src/topkg_codec.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_cmd.cmi src/topkg_cmd.mli
- ocamlfind ocamldep -modules src/topkg_result.mli > src/topkg_result.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_result.cmi src/topkg_result.mli
- ocamlfind ocamldep -modules src/topkg_conf.mli > src/topkg_conf.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_codec.cmi src/topkg_codec.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_conf.cmi src/topkg_conf.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_build.cmi src/topkg_build.mli
- ocamlfind ocamldep -modules src/topkg_cmd.ml > src/topkg_cmd.ml.depends
- ocamlfind ocamldep -modules src/topkg_fpath.ml > src/topkg_fpath.ml.depends
- ocamlfind ocamldep -modules src/topkg_string.ml > src/topkg_string.ml.depends
- ocamlfind ocamldep -modules src/topkg_string.mli > src/topkg_string.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_string.cmi src/topkg_string.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_string.cmx src/topkg_string.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fpath.cmx src/topkg_fpath.ml
- ocamlfind ocamldep -modules src/topkg_codec.ml > src/topkg_codec.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_cmd.cmx src/topkg_cmd.ml
- ocamlfind ocamldep -modules src/topkg_os.ml > src/topkg_os.ml.depends
- ocamlfind ocamldep -modules src/topkg_os.mli > src/topkg_os.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_os.cmi src/topkg_os.mli
- ocamlfind ocamldep -modules src/topkg_log.ml > src/topkg_log.ml.depends
- ocamlfind ocamldep -modules src/topkg_log.mli > src/topkg_log.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_log.cmi src/topkg_log.mli
- ocamlfind ocamldep -modules src/topkg_result.ml > src/topkg_result.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_result.cmx src/topkg_result.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_log.cmx src/topkg_log.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_os.cmx src/topkg_os.ml
- ocamlfind ocamldep -modules src/topkg_conf.ml > src/topkg_conf.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_codec.cmx src/topkg_codec.ml
- ocamlfind ocamldep -modules src/topkg_vcs.ml > src/topkg_vcs.ml.depends
- ocamlfind ocamldep -modules src/topkg_vcs.mli > src/topkg_vcs.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_vcs.cmi src/topkg_vcs.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_vcs.cmx src/topkg_vcs.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_conf.cmx src/topkg_conf.ml
- ocamlfind ocamldep -modules src/topkg_distrib.ml > src/topkg_distrib.ml.depends
- ocamlfind ocamldep -modules src/topkg_distrib.mli > src/topkg_distrib.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_distrib.cmi src/topkg_distrib.mli
- ocamlfind ocamldep -modules src/topkg_opam.ml > src/topkg_opam.ml.depends
- ocamlfind ocamldep -modules src/topkg_opam.mli > src/topkg_opam.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_opam.cmi src/topkg_opam.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_opam.cmx src/topkg_opam.ml
- ocamlfind ocamldep -modules src/topkg_fexts.ml > src/topkg_fexts.ml.depends
- ocamlfind ocamldep -modules src/topkg_fexts.mli > src/topkg_fexts.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fexts.cmi src/topkg_fexts.mli
- ocamlfind ocamldep -modules src/topkg_install.ml > src/topkg_install.ml.depends
- ocamlfind ocamldep -modules src/topkg_install.mli > src/topkg_install.mli.depends
- ocamlfind ocamldep -modules src/topkg_test.mli > src/topkg_test.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_test.cmi src/topkg_test.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_install.cmi src/topkg_install.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fexts.cmx src/topkg_fexts.ml
- ocamlfind ocamldep -modules src/topkg_test.ml > src/topkg_test.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_test.cmx src/topkg_test.ml
- ocamlfind ocamldep -modules src/topkg_ipc.ml > src/topkg_ipc.ml.depends
- ocamlfind ocamldep -modules src/topkg_ipc.mli > src/topkg_ipc.mli.depends
- ocamlfind ocamldep -modules src/topkg_pkg.mli > src/topkg_pkg.mli.depends
- ocamlfind ocamldep -modules src/topkg_publish.mli > src/topkg_publish.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_publish.cmi src/topkg_publish.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_pkg.cmi src/topkg_pkg.mli
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_ipc.cmi src/topkg_ipc.mli
- ocamlfind ocamldep -modules src/topkg_pkg.ml > src/topkg_pkg.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_build.cmx src/topkg_build.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_distrib.cmx src/topkg_distrib.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_install.cmx src/topkg_install.ml
- ocamlfind ocamldep -modules src/topkg_publish.ml > src/topkg_publish.ml.depends
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_publish.cmx src/topkg_publish.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_pkg.cmx src/topkg_pkg.ml
- ocamlfind ocamldep -modules src/topkg_main.ml > src/topkg_main.ml.depends
- ocamlfind ocamldep -modules src/topkg_main.mli > src/topkg_main.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_main.cmi src/topkg_main.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_ipc.cmx src/topkg_ipc.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_main.cmx src/topkg_main.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg.cmx src/topkg.ml
- ocamlfind ocamlopt -a -I src src/topkg_string.cmx src/topkg_fpath.cmx src/topkg_cmd.cmx src/topkg_result.cmx src/topkg_log.cmx src/topkg_os.cmx src/topkg_codec.cmx src/topkg_vcs.cmx src/topkg_conf.cmx src/topkg_build.cmx src/topkg_opam.cmx src/topkg_distrib.cmx src/topkg_fexts.cmx src/topkg_test.cmx src/topkg_install.cmx src/topkg_publish.cmx src/topkg_pkg.cmx src/topkg_ipc.cmx src/topkg_main.cmx src/topkg.cmx -o src/topkg.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/topkg.cmxa -o src/topkg.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg.cmo src/topkg.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_build.cmo src/topkg_build.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_cmd.cmo src/topkg_cmd.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_codec.cmo src/topkg_codec.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_conf.cmo src/topkg_conf.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_distrib.cmo src/topkg_distrib.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fexts.cmo src/topkg_fexts.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_fpath.cmo src/topkg_fpath.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_install.cmo src/topkg_install.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_ipc.cmo src/topkg_ipc.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_log.cmo src/topkg_log.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_main.cmo src/topkg_main.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_opam.cmo src/topkg_opam.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_os.cmo src/topkg_os.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_pkg.cmo src/topkg_pkg.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_publish.cmo src/topkg_publish.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_result.cmo src/topkg_result.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_string.cmo src/topkg_string.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_test.cmo src/topkg_test.ml
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I src-bin -I test -I src-care -o src/topkg_vcs.cmo src/topkg_vcs.ml
- ocamlfind ocamlc -a -I src src/topkg_string.cmo src/topkg_fpath.cmo src/topkg_cmd.cmo src/topkg_result.cmo src/topkg_log.cmo src/topkg_os.cmo src/topkg_codec.cmo src/topkg_vcs.cmo src/topkg_conf.cmo src/topkg_build.cmo src/topkg_opam.cmo src/topkg_distrib.cmo src/topkg_fexts.cmo src/topkg_test.cmo src/topkg_install.cmo src/topkg_publish.cmo src/topkg_pkg.cmo src/topkg_ipc.cmo src/topkg_main.cmo src/topkg.cmo -o src/topkg.cma
- # Parallel statistics: { count(total): 2(84), max: 20, min: 2, average(total): 11.000(1.238) }
-> compiled topkg.1.0.7
Processing 40/72: [dune: ocaml 15]
-> installed topkg.1.0.7
Processing 41/72: [dune: ocaml 15]
Processing 42/72: [astring: ocaml build] [dune: ocaml 15]
Processing 43/72: [astring: ocaml build] [dune: ocaml 15] [fmt: ocaml build]
Processing 44/72: [astring: ocaml build] [dune: ocaml 15] [fmt: ocaml build] [uutf: ocaml build]
- ocamlfind ocamldep -modules src/uutf.ml > src/uutf.ml.depends
- ocamlfind ocamldep -modules src/uutf.mli > src/uutf.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/uutf.cmi src/uutf.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/uutf.cmx src/uutf.ml
- ocamlfind ocamlopt -a -I src src/uutf.cmx -o src/uutf.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/uutf.cmxa -o src/uutf.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/uutf.cmo src/uutf.ml
- ocamlfind ocamlc -a -I src src/uutf.cmo -o src/uutf.cma
- ocamlfind ocamldep -package unix -package cmdliner -modules test/utftrip.ml > test/utftrip.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package unix -package cmdliner -I test -I src -o test/utftrip.cmo test/utftrip.ml
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package unix -package cmdliner -I test -I src -o test/utftrip.cmo test/utftrip.ml
- File "test/utftrip.ml", line 385, characters 8-12:
- 385 | Term.(pure do_cmd $ cmd $ file $ sin $ sout $ use_unix $ usize $
- ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "test/utftrip.ml", line 387, characters 2-11:
- 387 | Term.info "utftrip" ~version:"v1.0.3" ~doc ~man
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "test/utftrip.ml", line 389, characters 15-24:
- 389 | let () = match Term.eval cmd with
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package unix -package cmdliner -I test -I src -o test/utftrip.cmx test/utftrip.ml
- + ocamlfind ocamlopt -c -g -bin-annot -safe-string -package unix -package cmdliner -I test -I src -o test/utftrip.cmx test/utftrip.ml
- File "test/utftrip.ml", line 385, characters 8-12:
- 385 | Term.(pure do_cmd $ cmd $ file $ sin $ sout $ use_unix $ usize $
- ^^^^
- Alert deprecated: Cmdliner.Term.pure
- Use Term.const instead.
- File "test/utftrip.ml", line 387, characters 2-11:
- 387 | Term.info "utftrip" ~version:"v1.0.3" ~doc ~man
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.info
- Use Cmd.info instead.
- File "test/utftrip.ml", line 389, characters 15-24:
- 389 | let () = match Term.eval cmd with
- ^^^^^^^^^
- Alert deprecated: Cmdliner.Term.eval
- Use Cmd.v and one of Cmd.eval* instead.
- ocamlfind ocamlopt -linkpkg -g -package unix -package cmdliner -I src -I test src/uutf.cmx test/utftrip.cmx -o test/utftrip.native
- # No parallelism done
-> compiled uutf.1.0.3
Processing 44/72: [astring: ocaml build] [dune: ocaml 15] [fmt: ocaml build]
-> installed uutf.1.0.3
Processing 45/72: [astring: ocaml build] [dune: ocaml 15] [fmt: ocaml build]
- ocamlfind ocamldep -modules src/fmt.ml > src/fmt.ml.depends
- ocamlfind ocamldep -modules src/fmt.mli > src/fmt.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/fmt.cmi src/fmt.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/fmt.cmx src/fmt.ml
- ocamlfind ocamlopt -a -I src src/fmt.cmx -o src/fmt.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/fmt.cmxa -o src/fmt.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/fmt.cmo src/fmt.ml
- ocamlfind ocamlc -a -I src src/fmt.cmo -o src/fmt.cma
- ocamlfind ocamldep -package unix -modules src/fmt_tty.ml > src/fmt_tty.ml.depends
- ocamlfind ocamldep -package unix -modules src/fmt_tty.mli > src/fmt_tty.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package unix -I src -I test -o src/fmt_tty.cmi src/fmt_tty.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package unix -I src -I test -o src/fmt_tty.cmx src/fmt_tty.ml
- + ocamlfind ocamlopt -c -g -bin-annot -safe-string -package unix -I src -I test -o src/fmt_tty.cmx src/fmt_tty.ml
- File "src/fmt_tty.ml", line 49, characters 12-20:
- 49 | try is_infix "UTF-8" (String.uppercase_ascii (Sys.getenv var))
- ^^^^^^^^
- Warning 6 [labels-omitted]: label affix was omitted in the application of this function.
- ocamlfind ocamlopt -a -package unix -I src src/fmt_tty.cmx -o src/fmt_tty.cmxa
- ocamlfind ocamlopt -shared -linkall -package unix -I src src/fmt_tty.cmxa -o src/fmt_tty.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package unix -I src -I test -o src/fmt_tty.cmo src/fmt_tty.ml
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package unix -I src -I test -o src/fmt_tty.cmo src/fmt_tty.ml
- File "src/fmt_tty.ml", line 49, characters 12-20:
- 49 | try is_infix "UTF-8" (String.uppercase_ascii (Sys.getenv var))
- ^^^^^^^^
- Warning 6 [labels-omitted]: label affix was omitted in the application of this function.
- ocamlfind ocamlc -a -package unix -I src src/fmt_tty.cmo -o src/fmt_tty.cma
- ocamlfind ocamldep -package cmdliner -modules src/fmt_cli.ml > src/fmt_cli.ml.depends
- ocamlfind ocamldep -package cmdliner -modules src/fmt_cli.mli > src/fmt_cli.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package cmdliner -I src -I test -o src/fmt_cli.cmi src/fmt_cli.mli
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package cmdliner -I src -I test -o src/fmt_cli.cmi src/fmt_cli.mli
- File "src/fmt_cli.mli", line 10, characters 26-42:
- 10 | val style_renderer : ?env:Cmdliner.Arg.env -> ?docs:string -> unit ->
- ^^^^^^^^^^^^^^^^
- Alert deprecated: Cmdliner.Arg.env
- Use Cmd.Env.info instead.
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package cmdliner -I src -I test -o src/fmt_cli.cmx src/fmt_cli.ml
- ocamlfind ocamlopt -a -package cmdliner -I src src/fmt_cli.cmx -o src/fmt_cli.cmxa
- ocamlfind ocamlopt -shared -linkall -package cmdliner -I src src/fmt_cli.cmxa -o src/fmt_cli.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package cmdliner -I src -I test -o src/fmt_cli.cmo src/fmt_cli.ml
- ocamlfind ocamlc -a -package cmdliner -I src src/fmt_cli.cmo -o src/fmt_cli.cma
- ocamlfind ocamldep -package compiler-libs.toplevel -modules src/fmt_top.ml > src/fmt_top.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/fmt_top.cmo src/fmt_top.ml
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/fmt_top.cmo src/fmt_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/fmt_top.cmx src/fmt_top.ml
- + ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/fmt_top.cmx src/fmt_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/fmt_top.cmx -o src/fmt_top.cmxa
- + ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/fmt_top.cmx -o src/fmt_top.cmxa
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/fmt_top.cmxa -o src/fmt_top.cmxs
- + ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/fmt_top.cmxa -o src/fmt_top.cmxs
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/fmt_top.cmo -o src/fmt_top.cma
- + ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/fmt_top.cmo -o src/fmt_top.cma
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- # No parallelism done
-> compiled fmt.0.9.0
Processing 45/72: [astring: ocaml build] [dune: ocaml 15]
-> installed fmt.0.9.0
Processing 46/72: [astring: ocaml build] [dune: ocaml 15]
- ocamlfind ocamldep -modules src/astring_unsafe.ml > src/astring_unsafe.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_unsafe.cmo src/astring_unsafe.ml
- ocamlfind ocamldep -modules src/astring_base.ml > src/astring_base.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_base.cmo src/astring_base.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_unsafe.cmx src/astring_unsafe.ml
- ocamlfind ocamldep -modules src/astring_escape.ml > src/astring_escape.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_escape.cmo src/astring_escape.ml
- ocamlfind ocamldep -modules src/astring_char.ml > src/astring_char.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_char.cmo src/astring_char.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_escape.cmx src/astring_escape.ml
- ocamlfind ocamldep -modules src/astring_sub.ml > src/astring_sub.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_sub.cmo src/astring_sub.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_base.cmx src/astring_base.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_char.cmx src/astring_char.ml
- ocamlfind ocamldep -modules src/astring_string.ml > src/astring_string.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring_string.cmo src/astring_string.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_sub.cmx src/astring_sub.ml
- ocamlfind ocamldep -modules src/astring.ml > src/astring.ml.depends
- ocamlfind ocamldep -modules src/astring.mli > src/astring.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring.cmi src/astring.mli
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring_string.cmx src/astring_string.ml
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -I src -I test -o src/astring.cmx src/astring.ml
- ocamlfind ocamlopt -a -I src src/astring_unsafe.cmx src/astring_base.cmx src/astring_escape.cmx src/astring_char.cmx src/astring_sub.cmx src/astring_string.cmx src/astring.cmx -o src/astring.cmxa
- ocamlfind ocamlopt -shared -linkall -I src src/astring.cmxa -o src/astring.cmxs
- ocamlfind ocamlc -c -g -bin-annot -safe-string -I src -I test -o src/astring.cmo src/astring.ml
- ocamlfind ocamlc -a -I src src/astring_unsafe.cmo src/astring_base.cmo src/astring_escape.cmo src/astring_char.cmo src/astring_sub.cmo src/astring_string.cmo src/astring.cmo -o src/astring.cma
- ocamlfind ocamldep -package compiler-libs.toplevel -modules src/astring_top.ml > src/astring_top.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/astring_top.cmo src/astring_top.ml
- + ocamlfind ocamlc -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/astring_top.cmo src/astring_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/astring_top.cmx src/astring_top.ml
- + ocamlfind ocamlopt -c -g -bin-annot -safe-string -package compiler-libs.toplevel -I src -I test -o src/astring_top.cmx src/astring_top.ml
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/astring_top.cmx -o src/astring_top.cmxa
- + ocamlfind ocamlopt -a -package compiler-libs.toplevel -I src src/astring_top.cmx -o src/astring_top.cmxa
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/astring_top.cmxa -o src/astring_top.cmxs
- + ocamlfind ocamlopt -shared -linkall -package compiler-libs.toplevel -I src src/astring_top.cmxa -o src/astring_top.cmxs
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/astring_top.cmo -o src/astring_top.cma
- + ocamlfind ocamlc -a -package compiler-libs.toplevel -I src src/astring_top.cmo -o src/astring_top.cma
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /usr/home/opam/.opam/4.14.1/lib/ocaml, /usr/home/opam/.opam/4.14.1/lib/ocaml/compiler-libs
- # No parallelism done
-> compiled astring.0.8.5
Processing 46/72: [dune: ocaml 15]
-> installed astring.0.8.5
Processing 47/72: [dune: ocaml 15]
+ /usr/home/opam/.opam/4.14.1/bin/ocaml "boot/bootstrap.ml" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 15
-
Processing 47/72: [dune: ./_boot/dune.exe build]
+ /usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/dune.3.11.1)
-> compiled dune.3.11.1
-> installed dune.3.11.1
Processing 49/72: [csexp: dune build]
Processing 50/72: [csexp: dune build] [menhirLib: dune build]
Processing 51/72: [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 52/72: [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build]
Processing 53/72: [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build]
Processing 54/72: [csexp: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build] [stdlib-shims: dune build]
-> compiled csexp.1.5.2
Processing 54/72: [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build] [stdlib-shims: dune build]
-> installed csexp.1.5.2
Processing 55/72: [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build] [stdlib-shims: dune build]
Processing 56/72: [dune-configurator: rm] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build] [stdlib-shims: dune build]
Processing 56/72: [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build] [stdlib-shims: dune build]
-> compiled stdlib-shims.0.3.0
Processing 56/72: [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build]
-> installed stdlib-shims.0.3.0
Processing 57/72: [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [re: dune build]
Processing 58/72: [dune-configurator: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [re: dune build]
-> compiled menhirSdk.20230608
Processing 58/72: [dune-configurator: dune build] [menhirLib: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [re: dune build]
-> installed menhirSdk.20230608
Processing 59/72: [dune-configurator: dune build] [menhirLib: dune build] [ocaml-syntax-shims: dune build] [ocamlgraph: dune build] [re: dune build]
-> compiled ocaml-syntax-shims.1.0.0
Processing 59/72: [dune-configurator: dune build] [menhirLib: dune build] [ocamlgraph: dune build] [re: dune build]
-> installed ocaml-syntax-shims.1.0.0
Processing 60/72: [dune-configurator: dune build] [menhirLib: dune build] [ocamlgraph: dune build] [re: dune build]
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20230608
Processing 60/72: [dune-configurator: dune build] [ocamlgraph: dune build] [re: dune build]
-> installed menhirLib.20230608
Processing 61/72: [dune-configurator: dune build] [ocamlgraph: dune build] [re: dune build]
Processing 62/72: [dune-configurator: dune build] [menhir: dune build] [ocamlgraph: dune build] [re: dune build]
-> compiled re.1.11.0
Processing 62/72: [dune-configurator: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> installed re.1.11.0
Processing 63/72: [dune-configurator: dune build] [menhir: dune build] [ocamlgraph: dune build]
Processing 64/72: [alcotest: dune build] [dune-configurator: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> compiled dune-configurator.3.11.1
Processing 64/72: [alcotest: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> installed dune-configurator.3.11.1
Processing 65/72: [alcotest: dune build] [menhir: dune build] [ocamlgraph: dune build]
Processing 66/72: [alcotest: dune build] [menhir: dune build] [ocamlgraph: dune build] [pcre: dune build]
-> compiled pcre.7.5.0
Processing 66/72: [alcotest: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> installed pcre.7.5.0
Processing 67/72: [alcotest: dune build] [menhir: dune build] [ocamlgraph: dune build]
-> compiled alcotest.1.7.0
Processing 67/72: [menhir: dune build] [ocamlgraph: dune build]
-> installed alcotest.1.7.0
Processing 68/72: [menhir: dune build] [ocamlgraph: dune build]
-> compiled ocamlgraph.2.1.0
Processing 68/72: [menhir: dune build]
-> installed ocamlgraph.2.1.0
Processing 69/72: [menhir: dune build]
+ /usr/home/opam/.opam/4.14.1/bin/dune "build" "-p" "menhir" "-j" "15" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/menhir.20230608)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compare-errors parserMessages.auto.messages --compare-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- (cd _build/default && src/stage2/.bin/menhir --exn-carries-state --no-pager --require-aliases --strict -lg 1 -la 1 -lc 1 -v src/stage2/parser.mly --base src/stage2/parser --infer-read-reply src/stage2/parser__mock.mli.inferred)
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 41 out of 96 symbols keep track of their end position.
- The StackLang code contains 3973 instructions in 267 blocks.
- The StackLang code comprises 5 mutually recursive groups.
- (cd _build/default/src/stage2 && .bin/menhir --exn-carries-state --no-pager --require-aliases --strict parser.mly --compile-errors parserMessages.messages) > _build/default/src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
-> compiled menhir.20230608
-> installed menhir.20230608
Processing 71/72: [squirrel: gmake]
+ /usr/local/bin/gmake (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/squirrel.0.1)
- gmake: scripts/git-hash: No such file or directory
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- Checking for menhir... /usr/home/opam/.opam/4.14.1/bin/menhir
- Checking for fmt... /usr/home/opam/.opam/4.14.1/lib/fmt
- Checking for ocamlgraph... /usr/home/opam/.opam/4.14.1/lib/ocamlgraph
- Checking for alcotest... /usr/home/opam/.opam/4.14.1/lib/alcotest
- Checking for pcre... /usr/home/opam/.opam/4.14.1/lib/pcre
- mkdir -p _build
- touch _build/requirements
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre squirrel.byte
- ocamlfind ocamlopt unix.cmxa -I /usr/home/opam/.opam/4.14.1/lib/ocamlbuild /usr/home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /usr/home/opam/.opam/4.14.1/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/squirrel.ml > src/squirrel.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.mli > src/main.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmi src/main.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/squirrel.cmo src/squirrel.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.ml > src/main.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.mli > src/action.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/channel.mli > src/channel.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.mli > src/location.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.mli > src/symbols.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmi src/location.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/type.mli > src/type.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/ident.mli > src/ident.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmi src/ident.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmi src/type.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmi src/symbols.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/term.mli > src/term.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/vars.mli > src/vars.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.mli > src/utils.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmi src/utils.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmi src/vars.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmi src/channel.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmi src/term.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/checks.ml > src/checks.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.mli > src/commit.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.mli > src/config.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivTactics.ml > src/equivTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmi src/action.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/cca.ml > src/cca.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/euf.mli > src/euf.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/constr.mli > src/constr.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemExpr.mli > src/systemExpr.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/system.mli > src/system.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmi src/system.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmi src/systemExpr.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equiv.mli > src/equiv.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.mli > src/tactics.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmi src/constr.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmi src/equiv.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmi src/tactics.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/iter.ml > src/iter.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/macros.mli > src/macros.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/match.mli > src/match.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmi src/macros.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmi src/match.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmi src/euf.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.ml
- File "src/iter.ml", line 306, characters 20-32:
- 306 | if (match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/iter.ml", line 306, characters 42-54:
- 306 | if (match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmi src/config.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivSequent.mli > src/equivSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowEquivSequent.mli > src/lowEquivSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.mli > src/hint.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/rewrite.mli > src/rewrite.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.mli > src/tacticsArgs.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.mli > src/theory.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmi src/theory.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmi src/tacticsArgs.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmi src/rewrite.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowSequent.ml > src/lowSequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmi src/hint.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hyps.mli > src/hyps.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmi src/hyps.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTraceSequent.mli > src/lowTraceSequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/completion.mli > src/completion.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowSequent.cmo src/lowSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmi src/completion.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmi src/lowTraceSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/sequent.mli > src/sequent.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.mli > src/goal.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmi src/lowEquivSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/reduction.mli > src/reduction.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmi src/goal.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmi src/reduction.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmi src/sequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/fresh.ml > src/fresh.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTactics.ml > src/lowTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmi src/equivSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.mli > src/printer.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.mli > src/prover.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/decl.mli > src/decl.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.mli > src/process.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmi src/process.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmi src/decl.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceSequent.mli > src/traceSequent.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmi src/printer.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmi src/prover.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmi src/traceSequent.mli
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prf.ml > src/prf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/fresh.cmo src/fresh.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceTactics.ml > src/traceTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/cca.cmo src/cca.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.ml
- File "src/lowTactics.ml", line 77, characters 18-26:
- 77 | (Failure (Fmt.strf "types %a and %a are not compatible"
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- File "src/lowTactics.ml", line 85, characters 18-26:
- 85 | (Failure (Fmt.strf "types %a and %a are not compatible"
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- File "src/lowTactics.ml", line 1443, characters 31-39:
- 1443 | (Tactics.NotDepends (Fmt.strf "%a" Term.pp a1,
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- File "src/lowTactics.ml", line 1444, characters 31-39:
- 1444 | Fmt.strf "%a" Term.pp a2))
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.ml
- File "src/prf.ml", line 234, characters 27-39:
- 234 | let param = prf_param (Term.pi_term proj hash) in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/prf.ml", line 243, characters 25-37:
- 243 | let e_without_hash = Term.pi_term proj e_without_hash in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.ml
- File "src/traceTactics.ml", line 1496, characters 4-35:
- 1496 | Cca.check_encryption_randomness
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cntxt was omitted in the application of this function.
- File "src/traceTactics.ml", line 1794, characters 35-47:
- 1794 | match List.find_opt (fun e -> (Term.pi_term src e) = t) biframe with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/traceTactics.ml", line 1795, characters 22-34:
- 1795 | | Some e -> Some (Term.pi_term dst e)
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/highTactics.ml > src/highTactics.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.ml
- File "src/equivTactics.ml", line 714, characters 10-22:
- 714 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 714, characters 32-44:
- 714 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2024, characters 8-20:
- 2024 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2024, characters 30-42:
- 2024 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2030, characters 8-20:
- 2030 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2030, characters 38-50:
- 2030 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2091, characters 14-26:
- 2091 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2091, characters 36-48:
- 2091 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2101, characters 14-26:
- 2101 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2101, characters 44-56:
- 2101 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2103, characters 22-34:
- 2103 | begin match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- File "src/equivTactics.ml", line 2103, characters 44-56:
- 2103 | begin match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application of this function.
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.mli > src/html.mli.depends
- menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/parser.mly > src/parser.mly.depends
- menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/parser.mly
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.mli > src/parser.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parserbuf.ml > src/parserbuf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/checks.cmo src/checks.ml
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/lexer.mll
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lexer.ml > src/lexer.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmi src/parser.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lexer.cmo src/lexer.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmi src/commit.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/highTactics.cmo src/highTactics.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmi src/html.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.ml
- File "src/parserbuf.ml", line 78, characters 18-26:
- 78 | let msg = Fmt.strf "%a" pp_error () in
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmo src/main.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.ml > src/action.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.ml > src/commit.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.ml > src/config.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.ml > src/goal.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.ml > src/hint.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.ml > src/html.ml.depends
- /usr/home/opam/.opam/4.14.1/bin/ocamllex.opt -q src/htmlLexer.mll
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlLexer.ml > src/htmlLexer.ml.depends
- menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/htmlParser.mly > src/htmlParser.mly.depends
- menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/htmlParser.mly
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlParser.mli > src/htmlParser.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmi src/htmlParser.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlLexer.cmo src/htmlLexer.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.ml > src/location.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.ml > src/parser.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.ml > src/printer.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.ml > src/process.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.ml > src/prover.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prof.mli > src/prof.mli.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemModifiers.ml > src/systemModifiers.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmi src/prof.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemModifiers.cmo src/systemModifiers.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.ml > src/symbols.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.ml > src/tactics.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.ml > src/tacticsArgs.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.ml > src/theory.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.ml > src/utils.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/puf.mli > src/puf.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmi src/puf.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmo src/action.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmo src/commit.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmo src/config.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmo src/goal.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmo src/hint.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmo src/html.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmo src/location.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmo src/parser.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.ml
- File "src/printer.ml", line 220, characters 11-19:
- 220 | let strf = Fmt.strf
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmo src/process.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmo src/prover.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmo src/prover.ml
- File "src/prover.ml", line 244, characters 4-12:
- 244 | Fmt.strf "%a"
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- File "src/prover.ml", line 249, characters 4-12:
- 249 | Fmt.strf "%s \n %s: @[ %s @] " th.general_help
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmo src/symbols.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmo src/tactics.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmo src/tacticsArgs.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmo src/theory.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmo src/utils.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/channel.ml > src/channel.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/term.ml > src/term.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/type.ml > src/type.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/vars.ml > src/vars.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmo src/channel.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmo src/term.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmo src/type.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmo src/vars.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/ident.ml > src/ident.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmo src/ident.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/puf.ml > src/puf.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmo src/puf.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/constr.ml > src/constr.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equiv.ml > src/equiv.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivSequent.ml > src/equivSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/euf.ml > src/euf.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/reduction.ml > src/reduction.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemExpr.ml > src/systemExpr.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmo src/constr.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmo src/equiv.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmo src/equivSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmo src/euf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmo src/euf.ml
- File "src/euf.ml", line 149, characters 26-40:
- 149 | let mk_rule ?(elems=[]) ?(drop_head=true) ~fun_wrap_key
- ^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "src/euf.ml", line 149, characters 14-22:
- 149 | let mk_rule ?(elems=[]) ?(drop_head=true) ~fun_wrap_key
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmo src/reduction.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmo src/systemExpr.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/macros.ml > src/macros.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/match.ml > src/match.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmo src/macros.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmo src/macros.ml
- File "src/macros.ml", line 126, characters 8-17:
- 126 | is_prefix strict a0 (Action.get_shape action)
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label strict was omitted in the application of this function.
- File "src/macros.ml", line 296, characters 14-23:
- 296 | if not (is_prefix strict glob_a (Action.get_shape action)) then
- ^^^^^^^^^
- Warning 6 [labels-omitted]: label strict was omitted in the application of this function.
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmo src/match.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/system.ml > src/system.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmo src/system.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/completion.ml > src/completion.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmo src/completion.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prof.ml > src/prof.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmo src/prof.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowEquivSequent.ml > src/lowEquivSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/postQuantum.ml > src/postQuantum.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/postQuantum.cmo src/postQuantum.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/sequent.ml > src/sequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmo src/lowEquivSequent.ml
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmo src/sequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTraceSequent.ml > src/lowTraceSequent.ml.depends
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/atom.mli > src/atom.mli.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/atom.cmi src/atom.mli
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmo src/lowTraceSequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hyps.ml > src/hyps.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmo src/hyps.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/rewrite.ml > src/rewrite.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmo src/rewrite.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/atom.ml > src/atom.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/atom.cmo src/atom.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/decl.ml > src/decl.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmo src/decl.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceSequent.ml > src/traceSequent.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmo src/traceSequent.ml
- ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlParser.ml > src/htmlParser.ml.depends
- ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmo src/htmlParser.ml
- ocamlfind ocamlc -linkpkg -g -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src src/checks.cmo src/location.cmo src/printer.cmo src/ident.cmo src/type.cmo src/puf.cmo src/utils.cmo src/symbols.cmo src/channel.cmo src/vars.cmo src/term.cmo src/action.cmo src/commit.cmo src/config.cmo src/system.cmo src/systemExpr.cmo src/constr.cmo src/prof.cmo src/completion.cmo src/tactics.cmo src/equiv.cmo src/macros.cmo src/match.cmo src/iter.cmo src/euf.cmo src/cca.cmo src/theory.cmo src/tacticsArgs.cmo src/rewrite.cmo src/hint.cmo src/hyps.cmo src/lowSequent.cmo src/atom.cmo src/lowTraceSequent.cmo src/postQuantum.cmo src/lowEquivSequent.cmo src/goal.cmo src/process.cmo src/decl.cmo src/fresh.cmo src/prf.cmo src/systemModifiers.cmo src/prover.cmo src/reduction.cmo src/sequent.cmo src/equivSequent.cmo src/traceSequent.cmo src/lowTactics.cmo src/traceTactics.cmo src/equivTactics.cmo src/highTactics.cmo src/htmlParser.cmo src/htmlLexer.cmo src/html.cmo src/parser.cmo src/lexer.cmo src/parserbuf.cmo src/main.cmo src/squirrel.cmo -o src/squirrel.byte
-> compiled squirrel.0.1
Processing 72/72: [squirrel: gmake install]
+ /usr/local/bin/gmake "PREFIX=/usr/home/opam/.opam/4.14.1" "install" (CWD=/usr/home/opam/.opam/4.14.1/.opam-switch/build/squirrel.0.1)
- gmake: scripts/git-hash: No such file or directory
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre squirrel.byte
- cp squirrel.byte /usr/home/opam/.opam/4.14.1/bin/squirrel.byte
-> installed squirrel.0.1
Done.
2023-11-01 19:11.54 ---> saved as "f7b847c556226c5d1aba129e3821db7f43abc5aacf5dbfa95c6fe286402c113b"
Job succeeded
Home|Differences with the last checks|Previous runs