Building on x86-bm-c7.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
d17903a8b5bb: Pulling fs layer
d17903a8b5bb: Verifying Checksum
d17903a8b5bb: Download complete
d17903a8b5bb: Pull complete
Digest: sha256:fc4a1db9bca3b44e988887700974d69f848529f31aed5bce3d9808f8cf771239
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-06-17 05:06.04 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-06-17 05:06.04 ---> using "65c3237f501f7c75f3828458ecf2342bc41c98aaef8c6a7fd82bf46a58cb258c" 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 b6de4bb8dee70812d424cc3121b00a1e03b2b447"))
2024-06-17 05:06.04 ---> using "c05b640e056fc7736f091703acc1f33b2a48ca7986a88e13a45001559758722b" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-06-17 05:06.04 ---> using "cb635b61e2263d56d86e61e3043edc291cc3e2a30881bddfc276f2ded9643c83" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.14' '4.14.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.14.1"} | "ocaml-system" {= "4.14.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.14.1 (cached)
-> installed ocaml-base-compiler.4.14.1
-> installed ocaml-config.2
-> installed ocaml.4.14.1
Done.
# Run eval $(opam env --switch=4.14) to update the current shell environment
2024-06-17 05:06.04 ---> using "8cabd928e8892ffee69870e0c070cc5fd1114243629f13e36269c4651d99d476" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [198 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-06-16-1405.07-F-2024-06-04-0804.54.pdiff [632 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-06-16-1405.07-F-2024-06-04-0804.54.pdiff [632 kB]
- Fetched 894 kB in 3s (332 kB/s)
- Reading package lists...
-
2024-06-17 05:06.04 ---> using "9a65afbf792012812c29e2a1efc6d5fd77a76cdcd75e47059cae1d36a9e26772" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"lambdapi.2.1.0\"\
\nopam install -vy \"lambdapi.2.1.0\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"lambdapi.2.1.0\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
Nothing to do.
[NOTE] lambdapi.2.1.0 is not installed.
The following actions will be performed:
=== install 25 packages
- install bindlib 5.0.1 [required by lambdapi]
- install camlp-streams 5.0.1 [required by pratter]
- install cmdliner 1.0.4 [required by lambdapi]
- install conf-autoconf 0.2 [required by why3]
- install dune 3.15.3 [required by lambdapi]
- install gen 1.1 [required by sedlex]
- install lambdapi 2.1.0
- install menhir 20231231 [required by lambdapi]
- install menhirCST 20231231 [required by menhir]
- install menhirLib 20231231 [required by menhir]
- install menhirSdk 20231231 [required by menhir]
- install num 1.5 [required by why3]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlbuild 0.14.3 [required by bindlib]
- install ocamlfind 1.9.6 [required by bindlib, why3]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.32.1 [required by sedlex]
- install pratter 1.2.1 [required by lambdapi]
- install sedlex 3.2 [required by lambdapi]
- install seq base [required by yojson]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by lambdapi]
- install timed 1.1 [required by lambdapi]
- install why3 1.4.1 [required by lambdapi]
- install yojson 2.2.1 [required by lambdapi]
The following system packages will first need to be installed:
autoconf
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package m4.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19447 files and directories currently installed.)
- Preparing to unpack .../archives/m4_1.4.19-4_amd64.deb ...
- Unpacking m4 (1.4.19-4) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../autoconf_2.71-3_all.deb ...
- Unpacking autoconf (2.71-3) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../autotools-dev_20220109.1_all.deb ...
- Unpacking autotools-dev (20220109.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../automake_1%3a1.16.5-1.3_all.deb ...
- Unpacking automake (1:1.16.5-1.3) ...
- Setting up m4 (1.4.19-4) ...
- Setting up autotools-dev (20220109.1) ...
- Setting up autoconf (2.71-3) ...
- Setting up automake (1:1.16.5-1.3) ...
- update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/72:
Processing 2/72:
Processing 3/72:
-> retrieved bindlib.5.0.1 (cached)
Processing 4/72:
Processing 5/72:
Processing 6/72: [conf-autoconf: autoconf]
-> retrieved camlp-streams.5.0.1 (cached)
Processing 7/72: [conf-autoconf: autoconf]
-> retrieved cmdliner.1.0.4 (cached)
Processing 8/72: [lambdapi.2.1.0: http] [conf-autoconf: autoconf]
Processing 9/72: [lambdapi.2.1.0: http] [cmdliner: make all] [conf-autoconf: autoconf]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "autoconf" "-V" (CWD=/home/opam/.opam/4.14/.opam-switch/build/conf-autoconf.0.2)
- autoconf (GNU Autoconf) 2.71
- Copyright (C) 2021 Free Software Foundation, Inc.
- License GPLv3+/Autoconf: GNU GPL version 3 or later
- <https://gnu.org/licenses/gpl.html>, <https://gnu.org/licenses/exceptions.html>
- This is free software: you are free to change and redistribute it.
- There is NO WARRANTY, to the extent permitted by law.
-
- Written by David J. MacKenzie and Akim Demaille.
-> compiled conf-autoconf.0.2
Processing 9/72: [lambdapi.2.1.0: http] [cmdliner: make all]
-> installed conf-autoconf.0.2
Processing 10/72: [lambdapi.2.1.0: http] [cmdliner: make all]
-> retrieved gen.1.1 (cached)
Processing 11/72: [lambdapi.2.1.0: http] [cmdliner: make all]
-> retrieved menhir.20231231, menhirCST.20231231, menhirLib.20231231, menhirSdk.20231231 (cached)
Processing 12/72: [lambdapi.2.1.0: http] [cmdliner: make all]
Processing 12/72: [cmdliner: make all]
-> retrieved num.1.5 (cached)
Processing 13/72: [cmdliner: make all]
Processing 14/72: [cmdliner: make all] [num: make opam-legacy]
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
Processing 15/72: [cmdliner: make all] [num: make opam-legacy]
-> retrieved ocamlbuild.0.14.3 (cached)
Processing 16/72: [cmdliner: make all] [num: make opam-legacy]
Processing 17/72: [cmdliner: make all] [num: make opam-legacy] [ocamlbuild: make configure.make]
-> retrieved dune.3.15.3 (cached)
Processing 18/72: [cmdliner: make all] [num: make opam-legacy] [ocamlbuild: make configure.make]
Processing 19/72: [cmdliner: make all] [dune: ocaml 31] [num: make opam-legacy] [ocamlbuild: make configure.make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" "PREFIX=/home/opam/.opam/4.14" (CWD=/home/opam/.opam/4.14/.opam-switch/build/cmdliner.1.0.4)
- ocaml build.ml cma
- File "cmdliner_base.ml", line 158, characters 14-27:
- 158 | `Error (err_ambiguous "enum value" s ambs)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_docgen.ml", line 278, characters 23-39:
- 278 | if Cmdliner_manpage.(smap_has_section sm s_name) then sm else
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 293, characters 22-56:
- 293 | let ins sm (s, b) = Cmdliner_manpage.smap_append_block sm s b in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 294, characters 35-51:
- 294 | let has_senv = Cmdliner_manpage.(smap_has_section sm s_environment) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 295, characters 36-52:
- 295 | let has_sexit = Cmdliner_manpage.(smap_has_section sm s_exit_status) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_cline.ml", line 123, characters 20-47:
- 123 | let err = Cmdliner_base.err_ambiguous "option" name ambs in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_arg.ml", line 164, characters 24-50:
- 164 | | `Error e -> failwith (Cmdliner_msg.err_opt_parse f e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 214, characters 24-50:
- 214 | | `Error e -> failwith (Cmdliner_msg.err_pos_parse a e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 231, characters 10-36:
- 231 | let a = Cmdliner_info.arg_make_pos pos a in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label pos was omitted in the application of this function.
- File "cmdliner.ml", line 195, characters 25-47:
- 195 | | `Std_help fmt -> Cmdliner_docgen.pp_man err_ppf fmt help_ppf ei; `Help
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label errs was omitted in the application of this function.
- ocaml build.ml cmxa
- File "cmdliner_base.ml", line 158, characters 14-27:
- 158 | `Error (err_ambiguous "enum value" s ambs)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_docgen.ml", line 278, characters 23-39:
- 278 | if Cmdliner_manpage.(smap_has_section sm s_name) then sm else
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 293, characters 22-56:
- 293 | let ins sm (s, b) = Cmdliner_manpage.smap_append_block sm s b in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 294, characters 35-51:
- 294 | let has_senv = Cmdliner_manpage.(smap_has_section sm s_environment) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 295, characters 36-52:
- 295 | let has_sexit = Cmdliner_manpage.(smap_has_section sm s_exit_status) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_cline.ml", line 123, characters 20-47:
- 123 | let err = Cmdliner_base.err_ambiguous "option" name ambs in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_arg.ml", line 164, characters 24-50:
- 164 | | `Error e -> failwith (Cmdliner_msg.err_opt_parse f e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 214, characters 24-50:
- 214 | | `Error e -> failwith (Cmdliner_msg.err_pos_parse a e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 231, characters 10-36:
- 231 | let a = Cmdliner_info.arg_make_pos pos a in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label pos was omitted in the application of this function.
- File "cmdliner.ml", line 195, characters 25-47:
- 195 | | `Std_help fmt -> Cmdliner_docgen.pp_man err_ppf fmt help_ppf ei; `Help
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label errs was omitted in the application of this function.
- ocaml build.ml cmxs
- File "cmdliner_base.ml", line 158, characters 14-27:
- 158 | `Error (err_ambiguous "enum value" s ambs)
- ^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_docgen.ml", line 278, characters 23-39:
- 278 | if Cmdliner_manpage.(smap_has_section sm s_name) then sm else
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 293, characters 22-56:
- 293 | let ins sm (s, b) = Cmdliner_manpage.smap_append_block sm s b in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 294, characters 35-51:
- 294 | let has_senv = Cmdliner_manpage.(smap_has_section sm s_environment) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_docgen.ml", line 295, characters 36-52:
- 295 | let has_sexit = Cmdliner_manpage.(smap_has_section sm s_exit_status) in
- ^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "cmdliner_cline.ml", line 123, characters 20-47:
- 123 | let err = Cmdliner_base.err_ambiguous "option" name ambs in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- File "cmdliner_arg.ml", line 164, characters 24-50:
- 164 | | `Error e -> failwith (Cmdliner_msg.err_opt_parse f e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 214, characters 24-50:
- 214 | | `Error e -> failwith (Cmdliner_msg.err_pos_parse a e)
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "cmdliner_arg.ml", line 231, characters 10-36:
- 231 | let a = Cmdliner_info.arg_make_pos pos a in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label pos was omitted in the application of this function.
- File "cmdliner.ml", line 195, characters 25-47:
- 195 | | `Std_help fmt -> Cmdliner_docgen.pp_man err_ppf fmt help_ppf ei; `Help
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label errs was omitted in the application of this function.
-> compiled cmdliner.1.0.4
Processing 19/72: [dune: ocaml 31] [num: make opam-legacy] [ocamlbuild: make configure.make]
Processing 20/72: [dune: ocaml 31] [num: make opam-legacy] [ocamlbuild: make configure.make] [cmdliner: make install]
-> retrieved lambdapi.2.1.0 (https://github.com/Deducteam/lambdapi/releases/download/2.1.0/lambdapi-2.1.0.tbz)
Processing 21/72: [dune: ocaml 31] [num: make opam-legacy] [ocamlbuild: make configure.make] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "PROFILE=release" "opam-legacy" (CWD=/home/opam/.opam/4.14/.opam-switch/build/num.1.5)
- make -C src all
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5/src'
- ocamlc -ccopt -DBNG_ARCH_amd64 -c bng.c
- ocamlc -ccopt -DBNG_ARCH_amd64 -c nat_stubs.c
- ocamlmklib -oc nums bng.o nat_stubs.o
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmo nat.cmo big_int.cmo arith_flags.cmo ratio.cmo num.cmo arith_status.cmo
- cp ../toplevel/num_top_printers.mli ../toplevel/num_top.mli ../toplevel/num_top_printers.ml ../toplevel/num_top.ml .
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top_printers.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.mli
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num_top.ml
- ocamlc -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- echo 'version = "1.6~dev"' > META.top
- cat META.num-top.in >> META.top
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c int_misc.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c nat.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c big_int.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_flags.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c ratio.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c num.ml
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -c arith_status.ml
- ocamlmklib -o nums -oc nums -linkall int_misc.cmx nat.cmx big_int.cmx arith_flags.cmx ratio.cmx num.cmx arith_status.cmx
- ocamlopt -w +a-4-9-41-42-44-45-48 -bin-annot -g -safe-string -strict-sequence -strict-formats -I +compiler-libs -I . -shared -o nums.cmxs nums.cmxa
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/num.1.5/src'
- cp src/num-legacy.install num.install
-> compiled num.1.5
Processing 21/72: [dune: ocaml 31] [ocamlbuild: make configure.make] [cmdliner: make install]
-> retrieved ocamlfind.1.9.6 (cached)
Processing 22/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make configure.make] [cmdliner: make install]
[ocamlfind: patch] applying 0001-Harden-test-for-OCaml-5.patch
Processing 23/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make configure.make] [ocamlfind: patch] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-f" "configure.make" "all" "OCAMLBUILD_PREFIX=/home/opam/.opam/4.14" "OCAMLBUILD_BINDIR=/home/opam/.opam/4.14/bin" "OCAMLBUILD_LIBDIR=/home/opam/.opam/4.14/lib" "OCAMLBUILD_MANDIR=/home/opam/.opam/4.14/man" "OCAML_NATIVE=true" "OCAML_NATIVE_TOOLS=true" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3)
- (echo "# This file was generated from configure.make"; \
- echo ;\
- echo "OCAML_PREFIX="; \
- echo "OCAML_BINDIR=/home/opam/.opam/4.14/bin"; \
- echo "OCAML_LIBDIR=/home/opam/.opam/4.14/lib/ocaml"; \
- echo "OCAML_MANDIR=/home/opam/.opam/4.14/man"; \
- echo ;\
- echo "EXT_OBJ=.o"; \
- echo "EXT_ASM=.s"; \
- echo "EXT_LIB=.a"; \
- echo "EXT_DLL=.so"; \
- echo "EXE="; \
- echo ;\
- echo "OCAML_NATIVE=true"; \
- echo "OCAML_NATIVE_TOOLS=true"; \
- echo "NATDYNLINK=true"; \
- echo "SUPPORT_SHARED_LIBRARIES=true"; \
- echo ;\
- echo "PREFIX=/home/opam/.opam/4.14"; \
- echo "BINDIR=/home/opam/.opam/4.14/bin"; \
- echo "LIBDIR=/home/opam/.opam/4.14/lib"; \
- echo "MANDIR=/home/opam/.opam/4.14/man"; \
- ) > Makefile.config
- (echo "(* This file was generated from ../configure.make *)"; \
- echo ;\
- echo 'let bindir = "/home/opam/.opam/4.14/bin"'; \
- echo 'let libdir = "/home/opam/.opam/4.14/lib"'; \
- echo 'let ocaml_libdir = "/home/opam/.opam/4.14/lib/ocaml"'; \
- echo 'let libdir_abs = "/home/opam/.opam/4.14/lib"'; \
- echo 'let ocaml_native = true'; \
- echo 'let ocaml_native_tools = true'; \
- echo 'let supports_shared_libraries = true';\
- echo 'let a = "a"'; \
- echo 'let o = "o"'; \
- echo 'let so = "so"'; \
- echo 'let ext_dll = ".so"'; \
- echo 'let exe = ""'; \
- echo 'let version = "0.14.3"'; \
- ) > src/ocamlbuild_config.ml
Processing 23/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: patch] [cmdliner: make install]
-> retrieved ppx_derivers.1.2.1 (cached)
Processing 24/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: patch] [cmdliner: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "LIBDIR=/home/opam/.opam/4.14/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.14/doc/cmdliner" (CWD=/home/opam/.opam/4.14/.opam-switch/build/cmdliner.1.0.4)
- install -d /home/opam/.opam/4.14/lib/cmdliner
- install pkg/META _build/cmdliner.mli _build/cmdliner.cmi _build/cmdliner.cmti /home/opam/.opam/4.14/lib/cmdliner
- install cmdliner.opam /home/opam/.opam/4.14/lib/cmdliner/opam
- install _build/cmdliner.cma /home/opam/.opam/4.14/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_docgen.cmx _build/cmdliner_info.cmx _build/cmdliner_manpage.cmx _build/cmdliner_msg.cmx _build/cmdliner_suggest.cmx _build/cmdliner_term.cmx _build/cmdliner_trie.cmx \
- /home/opam/.opam/4.14/lib/cmdliner
- install _build/cmdliner.cmxs /home/opam/.opam/4.14/lib/cmdliner
Processing 24/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: patch] [cmdliner: make install-doc]
Processing 24/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
-> retrieved sedlex.3.2 (cached)
-> retrieved seq.base (cached)
Processing 25/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
Processing 26/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
Processing 27/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
-> retrieved sexplib0.v0.17.0 (cached)
Processing 28/72: [pratter.1.2.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
-> retrieved stdlib-shims.0.3.0 (cached)
Processing 29/72: [pratter.1.2.1: http] [timed.1.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure] [cmdliner: make install-doc]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install-doc" "LIBDIR=/home/opam/.opam/4.14/lib/cmdliner" "DOCDIR=/home/opam/.opam/4.14/doc/cmdliner" (CWD=/home/opam/.opam/4.14/.opam-switch/build/cmdliner.1.0.4)
- install -d /home/opam/.opam/4.14/doc/cmdliner
- install CHANGES.md LICENSE.md README.md /home/opam/.opam/4.14/doc/cmdliner
-> installed cmdliner.1.0.4
Processing 29/72: [pratter.1.2.1: http] [timed.1.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> installed num.1.5
Processing 30/72: [pratter.1.2.1: http] [timed.1.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> installed seq.base
Processing 31/72: [pratter.1.2.1: http] [timed.1.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved ppxlib.0.32.1 (cached)
Processing 32/72: [pratter.1.2.1: http] [timed.1.1: http] [why3.1.4.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
Processing 32/72: [pratter.1.2.1: http] [why3.1.4.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved timed.1.1 (https://github.com/rlepigre/ocaml-timed/archive/1.1.tar.gz)
Processing 33/72: [pratter.1.2.1: http] [why3.1.4.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved yojson.2.2.1 (cached)
Processing 33/72: [why3.1.4.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: ./configure]
-> retrieved pratter.1.2.1 (https://github.com/gabrielhdt/pratter/releases/download/1.2.1/pratter-1.2.1.tbz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.14/bin" "-sitelib" "/home/opam/.opam/4.14/lib" "-mandir" "/home/opam/.opam/4.14/man" "-config" "/home/opam/.opam/4.14/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6)
- Welcome to findlib version 1.9.6
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Checking for ocamlopt -g...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- dynlink: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: found
- 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 num written to site-lib-src/num/META
- Configuration for num-top written to site-lib-src/num-top/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.14/lib/ocaml
- Binaries: /home/opam/.opam/4.14/bin
- Manual pages: /home/opam/.opam/4.14/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.14/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.14/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.14/bin
- Manual pages: /home/opam/.opam/4.14/man
- topfind script: /home/opam/.opam/4.14/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 33/72: [why3.1.4.1: http] [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
Processing 33/72: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make all]
-> retrieved why3.1.4.1 (https://why3.gitlabpages.inria.fr/releases/why3-1.4.1.tar.gz)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.14/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.14/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_package_base.ml
- File "fl_package_base.ml", line 304, characters 22-40:
- 304 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 350, characters 18-36:
- 350 | let ancestors = query_requirements predlist package_name in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 375, characters 23-41:
- 375 | let pkg_ancestors = query_requirements predlist pkg in
- ^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "fl_package_base.ml", line 510, characters 16-35:
- 510 | ( let c = package_definitions search_path pkg.package_name in
- ^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label search_path was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c findlib.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c findlib.ml
- File "findlib.ml", line 390, characters 2-26:
- 390 | Fl_package_base.requires predlist pkg
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- File "findlib.ml", line 396, characters 2-33:
- 396 | Fl_package_base.requires_deeply predlist pkglist
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c frontend.ml
- File "frontend.ml", line 859, characters 10-39:
- 859 | Fl_package_base.package_users predicates1 packages1
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label preds was omitted in the application of this function.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- -I +unix -I +dynlink ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c topfind.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c topfind.ml
- File "topfind.ml", line 128, characters 40-63:
- 128 | match Hashtbl.find Toploop.directive_table "ppx" with
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 258, characters 4-27:
- 258 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 268, characters 4-27:
- 268 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 280, characters 4-27:
- 280 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 293, characters 4-27:
- 293 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 307, characters 4-27:
- 307 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- File "topfind.ml", line 319, characters 4-27:
- 319 | Toploop.directive_table
- ^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Toploop.directive_table
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.14/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top_printers.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top_printers.ml
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -c num_top.mli
- ocamlc -I +compiler-libs -opaque -I +unix -I +dynlink -g -c num_top.ml
- ocamlc -I +compiler-libs -a -o num_top.cma num_top_printers.cmo num_top.cmo
- ocamlc -I +compiler-libs -opaque -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
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.14/lib' | \
- tools/patch '@FINDLIB_PATH@' '/home/opam/.opam/4.14/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
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
Processing 33/72: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.14/.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
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
-> compiled ocamlfind.1.9.6
Processing 33/72: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled]
Processing 34/72: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled] [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.14/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.14/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi; \
- fi; \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- install -d "/home/opam/.opam/4.14/bin"
- install -d "/home/opam/.opam/4.14/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- install -d "`dirname \"/home/opam/.opam/4.14/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.14/lib/findlib.conf" || install -c findlib.conf "/home/opam/.opam/4.14/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- install -d "/home/opam/.opam/4.14/lib/findlib"
- install -d "/home/opam/.opam/4.14/bin"
- test 1 -eq 0 || install -d "/home/opam/.opam/4.14/lib/ocaml"
- test 1 -eq 0 || install -c topfind "/home/opam/.opam/4.14/lib/ocaml/"
- files=` ../../tools/collect_files ../../Makefile.config \
- findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs \
- findlib_config.cmi findlib_config.ml topfind.cmi topfind.mli \
- fl_args.cmi fl_lint.cmi fl_meta.cmi fl_split.cmi fl_topo.cmi ocaml_args.cmi \
- fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi \
- fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs \
- findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi \
- META` && \
- install -c $files "/home/opam/.opam/4.14/lib/findlib/"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- install -c $f "/home/opam/.opam/4.14/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.14/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.14/lib/ocaml/compiler-libs/"; \
- install -c topdirs.cmi toploop.cmi "/home/opam/.opam/4.14/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- for x in bigarray bytes compiler-libs dynlink ocamldoc stdlib str threads unix ; do install -d "/home/opam/.opam/4.14/lib/$x"; install -c site-lib-src/$x/META "/home/opam/.opam/4.14/lib/$x/META.tmp" && mv "/home/opam/.opam/4.14/lib/$x/META.tmp" "/home/opam/.opam/4.14/lib/$x/META"; done
- install -d "/home/opam/.opam/4.14/lib/findlib"; install -c Makefile.packages "/home/opam/.opam/4.14/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || install -c tools/safe_camlp4 "/home/opam/.opam/4.14/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
- install -d "/home/opam/.opam/4.14/man/man1" "/home/opam/.opam/4.14/man/man3" "/home/opam/.opam/4.14/man/man5"
- install -c doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.14/man/man1"
- install -c doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.14/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlfind.1.9.6'
-> installed ocamlfind.1.9.6
Processing 34/72: [dune: ocaml 31] [ocamlbuild: make check-if-preinstalled]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "check-if-preinstalled" "all" "opam-install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3)
- if test -d /home/opam/.opam/4.14/lib/ocaml/ocamlbuild; then\
- >&2 echo "ERROR: Preinstalled ocamlbuild detected at"\
- "/home/opam/.opam/4.14/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
- make ocamlbuild.install
- make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- rm -f ocamlbuild.install
- touch ocamlbuild.install
- make install-bin-opam
- make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'bin: [' >> ocamlbuild.install
- echo ' "ocamlbuild.byte" {"ocamlbuild.byte"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild.native"}' >> ocamlbuild.install
- echo ' "ocamlbuild.native" {"ocamlbuild"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make install-lib-opam
- make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'lib: [' >> ocamlbuild.install
- make install-lib-basics-opam
- make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo ' "ocamlbuild.opam" {"opam"}' >> ocamlbuild.install
- echo ' "META"' >> ocamlbuild.install
- for lib in src/signatures.mli src/signatures.cmi src/signatures.cmti; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make install-lib-byte-opam
- make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cma bin/ocamlbuild.cmo src/ocamlbuild_pack.cmi plugin-lib/ocamlbuild_plugin.cmi plugin-lib/ocamlbuild_executor.cmi plugin-lib/ocamlbuild_unix_plugin.cmi; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make install-lib-native-opam
- make[3]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- for lib in plugin-lib/ocamlbuildlib.cmxa plugin-lib/ocamlbuildlib.a bin/ocamlbuild.cmx bin/ocamlbuild.o src/ocamlbuild_pack.cmx plugin-lib/ocamlbuild_plugin.cmx plugin-lib/ocamlbuild_executor.cmx plugin-lib/ocamlbuild_unix_plugin.cmx plugin-lib/ocamlbuild_plugin.o plugin-lib/ocamlbuild_executor.o plugin-lib/ocamlbuild_unix_plugin.o; do \
- echo " \"$lib\" {\"$(basename $lib)\"}" >> ocamlbuild.install; \
- done
- make[3]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make install-man-opam
- make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'man: [' >> ocamlbuild.install
- echo ' "man/ocamlbuild.1" {"man1/ocamlbuild.1"}' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- echo >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make install-doc-opam
- make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- echo 'doc: [' >> ocamlbuild.install
- echo ' "LICENSE"' >> ocamlbuild.install
- echo ' "Changes"' >> ocamlbuild.install
- echo ' "Readme.md"' >> ocamlbuild.install
- echo ']' >> ocamlbuild.install
- make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
- make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/ocamlbuild.0.14.3'
-> compiled ocamlbuild.0.14.3
Processing 34/72: [dune: ocaml 31]
-> installed ocamlbuild.0.14.3
Processing 35/72: [dune: ocaml 31]
Processing 36/72: [bindlib: make] [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.14/.opam-switch/build/bindlib.5.0.1)
- ocamlbuild -quiet -cflags -w,A bindlib.cma
- ocamlbuild -quiet -cflags -w,A bindlib.cmxa
- ocamlbuild -quiet -cflags -w,A bindlib.cmxs
-> compiled bindlib.5.0.1
Processing 36/72: [dune: ocaml 31]
Processing 37/72: [dune: ocaml 31] [bindlib: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/bindlib.5.0.1)
- ocamlbuild -quiet -cflags -w,A bindlib.cma
- ocamlbuild -quiet -cflags -w,A bindlib.cmxa
- ocamlbuild -quiet -cflags -w,A bindlib.cmxs
- ocamlfind remove bindlib
- ocamlfind: [WARNING] No such file: /home/opam/.opam/4.14/lib/bindlib/META
- ocamlfind install bindlib _build/bindlib.cmx _build/bindlib.a \
- _build/bindlib.cmi _build/bindlib.ml _build/bindlib.cma \
- _build/bindlib.cmxa _build/bindlib.mli _build/bindlib.o \
- _build/bindlib.cmo META
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.cmo
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.o
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.mli
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.cmxa
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.cma
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.ml
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.cmi
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.a
- Installed /home/opam/.opam/4.14/lib/bindlib/bindlib.cmx
- Installed /home/opam/.opam/4.14/lib/bindlib/META
-> installed bindlib.5.0.1
Processing 37/72: [dune: ocaml 31]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.15.3)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
- cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamLocal.ml
- File "vendor/opam/src/repository/opamLocal.ml", lines 109-114, characters 46-34:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 170-189, characters 44-56:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamLocal.ml", lines 209-231, characters 8-44:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamVCS.ml
- File "vendor/opam/src/repository/opamVCS.ml", lines 179-182, characters 11-40:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamDownload.ml
- File "vendor/opam/src/repository/opamDownload.ml", lines 323-361, characters 42-41:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- cd _boot && /home/opam/.opam/4.14/bin/ocamlopt.opt -c -g -no-alias-deps -w -49-6 -alert -unstable -I +threads opamRepository.ml
- File "vendor/opam/src/repository/opamRepository.ml", lines 88-90, characters 45-77:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 277-281, characters 38-17:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Checksum_mismatch _
- File "vendor/opam/src/repository/opamRepository.ml", lines 423-427, characters 12-42:
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- (_, Checksum_mismatch _)
-
Processing 37/72: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/dune.3.15.3)
-> compiled dune.3.15.3
-> installed dune.3.15.3
Processing 39/72: [camlp-streams: dune build]
Processing 40/72: [camlp-streams: dune build] [gen: dune build]
Processing 41/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build]
Processing 42/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build]
Processing 43/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 44/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build]
Processing 45/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build]
Processing 46/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build]
Processing 47/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build]
Processing 48/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build]
Processing 49/72: [camlp-streams: dune build] [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "camlp-streams" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/camlp-streams.5.0.1)
-> compiled camlp-streams.5.0.1
Processing 49/72: [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
-> installed camlp-streams.5.0.1
Processing 50/72: [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
Processing 51/72: [gen: dune build] [menhirCST: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirCST" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhirCST.20231231)
-> compiled menhirCST.20231231
Processing 51/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
-> installed menhirCST.20231231
Processing 52/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [ppx_derivers: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppx_derivers" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ppx_derivers.1.2.1)
-> compiled ppx_derivers.1.2.1
Processing 52/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
-> installed ppx_derivers.1.2.1
Processing 53/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [timed: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "timed" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/timed.1.1)
-> compiled timed.1.1
Processing 53/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
-> installed timed.1.1
Processing 54/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [stdlib-shims: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "stdlib-shims" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/stdlib-shims.0.3.0)
-> compiled stdlib-shims.0.3.0
Processing 54/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed stdlib-shims.0.3.0
Processing 55/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [pratter: dune build] [sexplib0: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "pratter" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/pratter.1.2.1)
-> compiled pratter.1.2.1
Processing 55/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed pratter.1.2.1
Processing 56/72: [gen: dune build] [menhirLib: dune build] [menhirSdk: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhirSdk.20231231)
-> compiled menhirSdk.20231231
Processing 56/72: [gen: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed menhirSdk.20231231
Processing 57/72: [gen: dune build] [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "@install" "-p" "gen" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/gen.1.1)
-> compiled gen.1.1
Processing 57/72: [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
-> installed gen.1.1
Processing 58/72: [menhirLib: dune build] [ocaml-compiler-libs: dune build] [sexplib0: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sexplib0" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sexplib0.v0.17.0)
-> compiled sexplib0.v0.17.0
Processing 58/72: [menhirLib: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
-> installed sexplib0.v0.17.0
Processing 59/72: [menhirLib: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhirLib.20231231)
- (cd _build/default/lib/pack && ./pack.exe)
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20231231
Processing 59/72: [ocaml-compiler-libs: dune build] [yojson: dune build]
-> installed menhirLib.20231231
Processing 60/72: [ocaml-compiler-libs: dune build] [yojson: dune build]
Processing 61/72: [menhir: dune build] [ocaml-compiler-libs: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ocaml-compiler-libs" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ocaml-compiler-libs.v0.12.4)
-> compiled ocaml-compiler-libs.v0.12.4
Processing 61/72: [menhir: dune build] [yojson: dune build]
-> installed ocaml-compiler-libs.v0.12.4
Processing 62/72: [menhir: dune build] [yojson: dune build]
Processing 63/72: [menhir: dune build] [ppxlib: dune build] [yojson: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "yojson" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/yojson.2.2.1)
-> compiled yojson.2.2.1
Processing 63/72: [menhir: dune build] [ppxlib: dune build]
-> installed yojson.2.2.1
Processing 64/72: [menhir: dune build] [ppxlib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "31" (CWD=/home/opam/.opam/4.14/.opam-switch/build/menhir.20231231)
- (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 99 sample input sentences and 99 error messages.
- Read 99 sample input sentences and 47 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 199 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 308 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 156 out of 308 states have a default reduction.
- 108 out of 308 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 39 out of 96 symbols keep track of their end position.
- The StackLang code contains 4113 instructions in 277 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 99 sample input sentences and 47 error messages.
-> compiled menhir.20231231
Processing 64/72: [ppxlib: dune build]
-> installed menhir.20231231
Processing 65/72: [ppxlib: dune build]
Processing 66/72: [ppxlib: dune build] [why3: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "ppxlib" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/ppxlib.0.32.1)
-> compiled ppxlib.0.32.1
Processing 66/72: [why3: ./configure]
-> installed ppxlib.0.32.1
Processing 67/72: [why3: ./configure]
Processing 68/72: [sedlex: dune build] [why3: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.14" "--disable-frama-c" "--disable-coq-libs" "--disable-js-of-ocaml" "--disable-ide" (CWD=/home/opam/.opam/4.14/.opam-switch/build/why3.1.4.1)
- checking executable suffix... <none>
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for gcc option to accept ISO C99... none needed
- checking for gcc option to accept ISO Standard C... (cached) none needed
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for ocamlc... ocamlc
- ocaml version is 4.14.1
- ocaml library path is /home/opam/.opam/4.14/lib/ocaml
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlc.opt version... ok
- checking for ocamldep... ocamldep
- checking for ocamldep.opt... ocamldep.opt
- checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for ocamlyacc... ocamlyacc
- checking for ocamldoc... ocamldoc
- checking for ocamldoc.opt... ocamldoc.opt
- checking for menhir... menhir
- checking for ocamlfind... ocamlfind
- ocamlfind found compiler-libs in /home/opam/.opam/4.14/lib/ocaml/compiler-libs
- checking for sphinx-build... no
- configure: WARNING: Cannot find sphinx-build, Documentation disabled.
- checking for emacs... no
- configure: WARNING: Cannot find emacs, compilation of why3.elc disabled.
- ocamlfind found num in /home/opam/.opam/4.14/lib/num
- checking for /home/opam/.opam/4.14/lib/num/nums.cma... no
- checking for /home/opam/.opam/4.14/lib/num/num.cmi... no
- checking for /home/opam/.opam/4.14/lib/ocaml/nums.cma... yes
- checking for /home/opam/.opam/4.14/lib/ocaml/num.cmi... yes
- ocamlfind: Package `zarith' not found
- checking for /home/opam/.opam/4.14/lib/ocaml/zarith/zarith.cma... no
- checking for /home/opam/.opam/4.14/lib/ocaml/zarith/z.cmi... no
- configure: WARNING: Lib Zarith not found, using Nums instead.
- ocamlfind: Package `zip' not found
- checking for /home/opam/.opam/4.14/lib/ocaml/zip/zip.cma... no
- checking for /home/opam/.opam/4.14/lib/ocaml/zip/zip.cmi... no
- configure: WARNING: Lib camlzip not found, sessions files will not be compressed.
- ocamlfind found menhirLib in /home/opam/.opam/4.14/lib/menhirLib
- checking for /home/opam/.opam/4.14/lib/menhirLib/menhirLib.cmi... yes
- ocamlfind found seq in /home/opam/.opam/4.14/lib/seq
- checking for /home/opam/.opam/4.14/lib/seq/seq.cma... no
- checking for /home/opam/.opam/4.14/lib/seq/seq.cmi... no
- checking for /home/opam/.opam/4.14/lib/ocaml/stdlib__seq.cmi... no
- configure: WARNING: Library seq not found.
- ocamlfind: Package `ocamlgraph' not found
- checking for /home/opam/.opam/4.14/lib/ocaml/ocamlgraph/graph.cma... no
- checking for /home/opam/.opam/4.14/lib/ocaml/ocamlgraph/graph.cmi... no
- configure: WARNING: Lib ocamlgraph not found, hypothesis selection disabled.
- ocamlfind: Package `mlmpfr' not found
- ocamlfind: Package `ppx_sexp_conv' not found
- checking for pvs... no
- configure: WARNING: Cannot find pvs.
- checking for isabelle... no
- configure: WARNING: Cannot find isabelle.
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating src/config.sh
- config.status: creating lib/why3/META
- config.status: creating .merlin
- config.status: creating src/jessie/Makefile
- config.status: creating src/jessie/.merlin
- config.status: creating lib/coq/version
- config.status: creating lib/pvs/version
- config.status: executing chmod commands
-
- Summary
- -----------------------------------------
- Verbose make : no
- OCaml compiler : yes
- Version : 4.14.1
- Library path : /home/opam/.opam/4.14/lib/ocaml
- Ocamlfind : yes
- Native compilation : yes
- Profiling : no
- Memory profiling : no (disabled by default)
- PPX : yes
- S-expr for why3pp : no (requires ppx_sexp_conv)
- Javascript support : no (disabled by user)
- MPFR support : no (mlmpfr not found)
- Re support : no (seq not found)
- Components
- Why3 library : yes
- GTK IDE : no (disabled by user)
- Web IDE : no (Javascript support not available)
- GMP arithmetic : no (zarith not found)
- Compressed sessions : no (camlzip not found)
- Hypothesis selection : no (ocamlgraph not found)
- Invariant inference(exp): no (disabled by default)
- Frama-C support : no
- Documentation : no (sphinx-build not found)
- Support for interactive proof assistants
- Coq : no (disabled by user)
- PVS : no (pvs not found)
- Isabelle : no (isabelle not found)
- Installable : yes
- Binary path : ${exec_prefix}/bin
- Library path : ${exec_prefix}/lib/why3
- Data path : ${prefix}/share/why3
- OCaml library path : /home/opam/.opam/4.14/lib/why3
- Relocatable : no
Processing 68/72: [sedlex: dune build] [why3: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "sedlex" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/sedlex.3.2)
-> compiled sedlex.3.2
Processing 68/72: [why3: make all]
-> installed sedlex.3.2
Processing 69/72: [why3: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j31" "all" "opt" "byte" (CWD=/home/opam/.opam/4.14/.opam-switch/build/why3.1.4.1)
- Ocamldep src/trywhy3/worker_proto.ml
- Ocamldep src/trywhy3/why3_worker.ml
- Ocamldep src/trywhy3/trywhy3.ml
- Ocamldep src/trywhy3/shortener.ml
- Ocamldep src/trywhy3/bindings.ml
- Ocamldep src/trywhy3/alt_ergo_worker.ml
- Ocamllex src/why3doc/doc_lexer.mll
- cp src/tools/why3pp_sexp-dummy.ml src/tools/why3pp_sexp.ml
- Ocamldep src/isabelle-client/isabelle_client_main.ml
- Ocamldep src/tools/why3shell.ml
- 125 states, 1119 transitions, table size 5226 bytes
- 1793 additional bytes used for bindings
- Ocamldep src/why3session/why3session_main.ml
- Ocamldep src/why3session/why3session_update.ml
- Ocamldep src/why3session/why3session_latex.ml
- Ocamldep src/why3session/why3session_html.ml
- Ocamldep src/why3session/why3session_info.ml
- Ocamldep src/why3session/why3session_lib.ml
- Ocamldep src/ide/why3web.ml
- Ocamldep src/ide/wserver.ml
- Ocamllex src/tools/why3wc.mll
- Ocamllex plugins/tptp/tptp_lexer.mll
- Menhir plugins/tptp/tptp_parser.mly
- 101 states, 1563 transitions, table size 6858 bytes
- 3126 additional bytes used for bindings
- Ocamllex plugins/python/py_lexer.mll
- Menhir plugins/python/py_parser.mly
- 56 states, 651 transitions, table size 2940 bytes
- 1375 additional bytes used for bindings
- Ocamllex plugins/microc/mc_lexer.mll
- Menhir plugins/microc/mc_parser.mly
- 77 states, 473 transitions, table size 2354 bytes
- 1504 additional bytes used for bindings
- 307 states, 15627 transitions, table size 64350 bytes
- Ocamllex plugins/cfg/cfg_lexer.mll
- Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
- 155 states, 4342 transitions, table size 18298 bytes
- 7537 additional bytes used for bindings
- Menhir src/parser/parser_common.mly plugins/cfg/cfg_parser.mly
- Ocamllex plugins/parser/dimacs.mll
- 34 states, 434 transitions, table size 1940 bytes
- 1293 additional bytes used for bindings
- Generate src/util/config.ml
- Ocamllex src/util/rc.mll
- cp src/util/mysexplib-dummy.ml src/util/mysexplib.ml
- Ocamllex src/util/lexlib.mll
- Menhir src/util/json_parser.mly
- 48 states, 1889 transitions, table size 7844 bytes
- 3073 additional bytes used for bindings
- 39 states, 600 transitions, table size 2634 bytes
- 1338 additional bytes used for bindings
- cp src/util/mlmpfr_dummy.ml src/util/mlmpfr_wrapper.ml
- Ocamllex src/util/json_lexer.mll
- cp src/util/dynlink_new.ml src/util/dynlink_wrapper.ml
- 52 states, 495 transitions, table size 2292 bytes
- Ocamllex src/parser/lexer.mll
- Menhir src/parser/parser_common.mly src/parser/parser.mly
- Menhir src/parser/parser_common.mly src/parser/parser.mly
- Menhir src/driver/driver_parser.mly
- 158 states, 4359 transitions, table size 18384 bytes
- 7555 additional bytes used for bindings
- Ocamllex src/driver/driver_lexer.mll
- cp src/session/compress_none.ml src/session/compress.ml
- Ocamllex src/driver/sexp.mll
- 34 states, 1366 transitions, table size 5668 bytes
- 27 states, 306 transitions, table size 1386 bytes
- Ocamllex src/session/xml.mll
- Ocamllex src/session/strategy_parser.mll
- cp src/util/recompat.ml src/util/re.ml
- 43 states, 639 transitions, table size 2814 bytes
- 1799 additional bytes used for bindings
- 117 states, 1396 transitions, table size 6286 bytes
- 3556 additional bytes used for bindings
- Read 3 sample input sentences and 3 error messages.
- menhir --explain --strict src/parser/parser_common.mly src/parser/parser.mly --base src/parser/parser --compile-errors \
- src/parser/handcrafted.messages > src/parser/parser_messages.ml
- Read 3 sample input sentences and 3 error messages.
- Ocamldep src/why3doc/doc_main.ml
- Ocamldep src/why3doc/doc_lexer.ml
- Ocamldep src/why3doc/doc_def.ml
- Ocamldep src/why3doc/doc_html.ml
- Ocamldep src/tools/why3pp.ml
- Ocamldep src/tools/why3pp_sexp.ml
- Ocamldep src/tools/why3wc.ml
- Ocamldep src/tools/why3replay.ml
- Ocamldep src/tools/why3realize.ml
- Ocamldep src/tools/why3prove.ml
- Ocamldep src/tools/why3extract.ml
- Ocamldep src/tools/why3execute.ml
- Ocamldep src/tools/why3config.ml
- Ocamldep src/tools/main.ml
- Ocamldep plugins/cfg/cfg_main.ml
- Ocamldep plugins/cfg/cfg_lexer.ml
- Ocamldep plugins/cfg/cfg_parser.ml
- Ocamldep plugins/cfg/cfg_tokens.ml
- Ocamldep plugins/cfg/cfg_ast.ml
- Ocamldep plugins/microc/mc_main.ml
- Ocamldep plugins/microc/mc_printer.ml
- Ocamldep plugins/microc/mc_lexer.ml
- Ocamldep plugins/microc/mc_parser.ml
- Ocamldep plugins/microc/mc_ast.ml
- Ocamldep plugins/python/py_main.ml
- Ocamldep plugins/python/py_lexer.ml
- Ocamldep plugins/python/py_parser.ml
- Ocamldep plugins/python/py_ast.ml
- Ocamldep plugins/tptp/tptp_printer.ml
- Ocamldep plugins/tptp/tptp_lexer.ml
- Ocamldep plugins/tptp/tptp_parser.ml
- Ocamldep plugins/tptp/tptp_typing.ml
- Ocamldep plugins/tptp/tptp_ast.ml
- Ocamldep plugins/parser/dimacs.ml
- Ocamldep plugins/parser/genequlin.ml
- Ocamldep src/session/unix_scheduler.ml
- Ocamldep src/session/json_util.ml
- Ocamldep src/session/itp_server.ml
- Ocamldep src/session/itp_communication.ml
- Ocamldep src/session/server_utils.ml
- Ocamldep src/session/controller_itp.ml
- Ocamldep src/session/strategy_parser.ml
- Ocamldep src/session/strategy.ml
- Ocamldep src/session/session_itp.ml
- Ocamldep src/session/termcode.ml
- Ocamldep src/session/xml.ml
- Ocamldep src/session/compress.ml
- Ocamldep src/printer/mathematica.ml
- Ocamldep src/printer/yices.ml
- Ocamldep src/printer/cvc3.ml
- Ocamldep src/printer/gappa.ml
- Ocamldep src/printer/simplify.ml
- Ocamldep src/printer/isabelle.ml
- Ocamldep src/printer/pvs.ml
- Ocamldep src/printer/coq.ml
- Ocamldep src/printer/smtv2.ml
- Ocamldep src/printer/smtv1.ml
- Ocamldep src/printer/why3printer.ml
- Ocamldep src/printer/alt_ergo.ml
- Ocamldep src/printer/cntexmp_printer.ml
- Ocamldep src/transform/reflection.ml
- Ocamldep src/transform/matching.ml
- Ocamldep src/transform/induction_pr.ml
- Ocamldep src/transform/induction.ml
- Ocamldep src/transform/prepare_for_counterexmp.ml
- Ocamldep src/transform/intro_vc_vars_counterexmp.ml
- Ocamldep src/transform/congruence.ml
- Ocamldep src/transform/cut.ml
- Ocamldep src/transform/destruct.ml
- Ocamldep src/transform/ind_itp.ml
- Ocamldep src/transform/introduction.ml
- Ocamldep src/transform/subst.ml
- Ocamldep src/transform/apply.ml
- Ocamldep src/transform/case.ml
- Ocamldep src/transform/generic_arg_trans_utils.ml
- Ocamldep src/transform/eliminate_literal.ml
- Ocamldep src/transform/prop_curry.ml
- Ocamldep src/transform/smoke_detector.ml
- Ocamldep src/transform/instantiate_predicate.ml
- Ocamldep src/transform/intro_projections_counterexmp.ml
- Ocamldep src/transform/eliminate_epsilon.ml
- Ocamldep src/transform/lift_epsilon.ml
- Ocamldep src/transform/close_epsilon.ml
- Ocamldep src/transform/abstraction.ml
- Ocamldep src/transform/filter_trigger.ml
- Ocamldep src/transform/simplify_array.ml
- Ocamldep src/transform/encoding_sort.ml
- Ocamldep src/transform/encoding_twin.ml
- Ocamldep src/transform/encoding_tags.ml
- Ocamldep src/transform/encoding_guards.ml
- Ocamldep src/transform/encoding_tags_full.ml
- Ocamldep src/transform/encoding_guards_full.ml
- Ocamldep src/transform/encoding.ml
- Ocamldep src/transform/encoding_select.ml
- Ocamldep src/transform/discriminate.ml
- Ocamldep src/transform/libencoding.ml
- Ocamldep src/transform/eliminate_if.ml
- Ocamldep src/transform/eliminate_let.ml
- Ocamldep src/transform/eliminate_inductive.ml
- Ocamldep src/transform/eliminate_symbol.ml
- Ocamldep src/transform/eliminate_unknown_lsymbols.ml
- Ocamldep src/transform/eliminate_unknown_types.ml
- Ocamldep src/transform/abstract_quantifiers.ml
- Ocamldep src/transform/eliminate_algebraic.ml
- Ocamldep src/transform/eliminate_definition.ml
- Ocamldep src/transform/compute.ml
- Ocamldep src/transform/reduction_engine.ml
- Ocamldep src/transform/detect_polymorphism.ml
- Ocamldep src/transform/args_wrapper.ml
- Ocamldep src/transform/split_goal.ml
- Ocamldep src/transform/inlining.ml
- Ocamldep src/transform/simplify_formula.ml
- Ocamldep src/parser/mlw_printer.ml
- Ocamldep src/parser/lexer.ml
- Ocamldep src/parser/report.ml
- Ocamldep src/parser/typing.ml
- Ocamldep src/parser/parser.ml
- Ocamldep src/parser/parser_messages.ml
- Ocamldep src/parser/glob.ml
- Ocamldep src/parser/ptree_helpers.ml
- Ocamldep src/parser/ptree.ml
- Ocamldep src/extract/cakeml.ml
- Ocamldep src/extract/ocaml.ml
- Ocamldep src/extract/c.ml
- Ocamldep src/extract/ml_printer.ml
- Ocamldep src/extract/pdriver.ml
- Ocamldep src/extract/mlinterp.ml
- Ocamldep src/extract/compile.ml
- Ocamldep src/extract/mltree.ml
- Ocamldep src/mlw/counterexample.ml
- Ocamldep src/mlw/pinterp.ml
- Ocamldep src/mlw/big_real.ml
- Ocamldep src/mlw/dexpr.ml
- Ocamldep src/mlw/pmodule.ml
- Ocamldep src/mlw/vc.ml
- Ocamldep src/mlw/typeinv.ml
- Ocamldep src/mlw/eval_match.ml
- Ocamldep src/mlw/pdecl.ml
- Ocamldep src/mlw/expr.ml
- Ocamldep src/mlw/ity.ml
- Ocamldep src/driver/smtv2_model_parser.ml
- Ocamldep src/driver/sexp.ml
- Ocamldep src/driver/collect_data_model.ml
- Ocamldep src/driver/smtv2_model_defs.ml
- Ocamldep src/driver/autodetection.ml
- Ocamldep src/driver/whyconf.ml
- Ocamldep src/driver/driver.ml
- Ocamldep src/driver/driver_lexer.ml
- Ocamldep src/driver/driver_parser.ml
- Ocamldep src/driver/driver_ast.ml
- Ocamldep src/driver/call_provers.ml
- Ocamldep src/driver/prove_client.ml
- Ocamldep src/core/model_parser.ml
- Ocamldep src/core/printer.ml
- Ocamldep src/core/trans.ml
- Ocamldep src/core/env.ml
- Ocamldep src/core/dterm.ml
- Ocamldep src/core/pretty.ml
- Ocamldep src/core/task.ml
- Ocamldep src/core/theory.ml
- Ocamldep src/core/coercion.ml
- Ocamldep src/core/decl.ml
- Ocamldep src/core/pattern.ml
- Ocamldep src/core/term.ml
- Ocamldep src/core/ty.ml
- Ocamldep src/core/ident.ml
- Ocamldep src/util/re.ml
- Ocamldep src/util/pqueue.ml
- Ocamldep src/util/vector.ml
- Ocamldep src/util/constant.ml
- Ocamldep src/util/number.ml
- Ocamldep src/util/bigInt.ml
- Ocamldep src/util/plugin.ml
- Ocamldep src/util/rc.ml
- Ocamldep src/util/sysutil.ml
- Ocamldep src/util/warning.ml
- Ocamldep src/util/cmdline.ml
- Ocamldep src/util/dynlink_wrapper.ml
- Ocamldep src/util/print_tree.ml
- Ocamldep src/util/lexlib.ml
- Ocamldep src/util/loc.ml
- Ocamldep src/util/debug.ml
- Ocamldep src/util/json_parser.ml
- Ocamldep src/util/json_lexer.ml
- Ocamldep src/util/json_base.ml
- Ocamldep src/util/getopt.ml
- Ocamldep src/util/exn_printer.ml
- Ocamldep src/util/wstdlib.ml
- Ocamldep src/util/hashcons.ml
- Ocamldep src/util/diffmap.ml
- Ocamldep src/util/weakhtbl.ml
- Ocamldep src/util/exthtbl.ml
- Ocamldep src/util/extset.ml
- Ocamldep src/util/extmap.ml
- Ocamldep src/util/pp.ml
- Ocamldep src/util/strings.ml
- Ocamldep src/util/lists.ml
- Ocamldep src/util/opt.ml
- Ocamldep src/util/util.ml
- Ocamldep src/util/mlmpfr_wrapper.ml
- Ocamldep src/util/config.ml
- Ocamldep src/util/mysexplib.ml
- mkdir lib/plugins
- Ocamlc src/util/mysexplib.ml
- Ocamlc src/util/config.ml
- Ocamlc src/util/bigInt.mli
- File "src/util/mysexplib.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/util/mlmpfr_wrapper.mli
- Ocamlc src/util/util.mli
- Ocamlc src/util/opt.mli
- File "src/util/config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/util/lists.mli
- Ocamlc src/util/strings.mli
- Ocamlc src/util/pp.mli
- Ocamlc src/util/extmap.mli
- Ocamlc src/util/exthtbl.mli
- Ocamlc src/util/weakhtbl.mli
- File "src/util/util.mli", line 103, characters 22-52:
- 103 | val ansi_color_tags : Format.formatter_tag_functions
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.formatter_tag_functions
- Use formatter_stag_functions.
- Ocamlc src/util/hashcons.mli
- File "src/util/pp.mli", line 122, characters 33-51:
- 122 | ('b, formatter, unit, string) Pervasives.format4 -> 'b
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/pp.mli", line 125, characters 33-51:
- 125 | ('b, formatter, unit, string) Pervasives.format4 -> 'b
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/util/exn_printer.mli
- Ocamlc src/util/getopt.mli
- Ocamlc src/util/loc.mli
- Ocamlc src/util/lexlib.mli
- Ocamlc src/util/print_tree.mli
- Ocamlc src/util/dynlink_wrapper.ml
- Ocamlc src/util/cmdline.mli
- Ocamlc src/util/sysutil.mli
- Ocamlc src/util/number.mli
- Ocamlc src/util/vector.mli
- File "src/util/dynlink_wrapper.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/util/pqueue.mli
- Ocamlc src/util/re.ml
- Ocamlc src/driver/prove_client.mli
- Ocamlc src/driver/driver_ast.ml
- Ocamlc src/driver/sexp.mli
- File "src/util/re.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/mlw/big_real.mli
- File "src/driver/driver_ast.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Linking src/util/ppx_debug_optim
- Ocamlc src/parser/parser_messages.ml
- Ocamlc src/transform/encoding_select.mli
- Ocamlc src/transform/encoding_guards_full.mli
- findlib: [WARNING] Interface topdirs.cmi occurs in several directories: /home/opam/.opam/4.14/lib/ocaml, /home/opam/.opam/4.14/lib/ocaml/compiler-libs
- Ocamlc src/transform/encoding_tags_full.mli
- File "src/parser/parser_messages.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/encoding_guards.mli
- Ocamlc src/transform/encoding_tags.mli
- Ocamlc src/transform/encoding_twin.mli
- Ocamlc src/transform/encoding_sort.mli
- Ocamlc src/transform/simplify_array.mli
- Ocamlc src/transform/filter_trigger.mli
- Ocamlc src/transform/lift_epsilon.mli
- Ocamlc src/transform/instantiate_predicate.mli
- Ocamlc src/transform/induction.mli
- Ocamlc src/transform/induction_pr.mli
- Ocamlc src/printer/alt_ergo.mli
- Ocamlc src/printer/why3printer.mli
- Ocamlc src/printer/smtv1.mli
- Ocamlc src/printer/smtv2.mli
- Ocamlc src/printer/coq.mli
- Ocamlc src/printer/simplify.mli
- Ocamlc src/printer/gappa.mli
- Ocamlc src/printer/cvc3.mli
- Ocamlc src/session/compress.mli
- Ocamlc src/session/xml.mli
- Ocamlc src/session/unix_scheduler.mli
- Ocamlc src/util/bigInt.ml
- Ocamlc src/util/mlmpfr_wrapper.ml
- Ocamlc src/util/util.ml
- Ocamlc src/util/opt.ml
- Ocamlc src/util/lists.ml
- Ocamlc src/util/strings.ml
- Ocamlc src/util/pp.ml
- Ocamlc src/util/extmap.ml
- Ocamlc src/util/exthtbl.ml
- Ocamlc src/util/weakhtbl.ml
- Ocamlc src/util/hashcons.ml
- Ocamlc src/util/exn_printer.ml
- Ocamlc src/util/getopt.ml
- Ocamlc src/util/lexlib.ml
- File "src/util/weakhtbl.ml", line 98, characters 13-19:
- 98 | let iter = H.iter
- ^^^^^^
- Alert old_ephemeron_api: H.iter
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 99, characters 13-19:
- 99 | let fold = H.fold
- ^^^^^^
- Alert old_ephemeron_api: H.fold
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 101, characters 19-25:
- 101 | let iterk fn t = H.iter (fun k _ -> fn k) t
- ^^^^^^
- Alert old_ephemeron_api: H.iter
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 102, characters 19-25:
- 102 | let foldk fn t = H.fold (fun k _ -> fn k) t
- ^^^^^^
- Alert old_ephemeron_api: H.fold
- This function won't be available in 5.0
- Ocamlc src/util/print_tree.ml
- Ocamlc src/util/cmdline.ml
- Ocamlc src/util/sysutil.ml
- Ocamlc src/util/vector.ml
- Ocamlc src/util/pqueue.ml
- Ocamlc src/driver/prove_client.ml
- Ocamlc src/driver/sexp.ml
- File "src/util/vector.ml", line 22, characters 22-30:
- 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- Ocamlc src/mlw/big_real.ml
- Ocamlc src/session/compress.ml
- Ocamlc src/session/unix_scheduler.ml
- Ocamlc plugins/tptp/tptp_printer.mli
- File "src/session/compress_none.ml", line 43, characters 23-33:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/session/compress_none.ml", line 45, characters 20-30:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/ide/wserver.mli
- Ocamlc src/tools/why3pp_sexp.ml
- Ocamlc src/why3doc/doc_html.mli
- gcc -Wall -O -g -o src/server/logging.o -c src/server/logging.c
- gcc -Wall -O -g -o src/server/arraylist.o -c src/server/arraylist.c
- gcc -Wall -O -g -o src/server/options.o -c src/server/options.c
- gcc -Wall -O -g -o src/server/queue.o -c src/server/queue.c
- File "src/tools/why3pp_sexp.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- gcc -Wall -O -g -o src/server/readbuf.o -c src/server/readbuf.c
- gcc -Wall -O -g -o src/server/request.o -c src/server/request.c
- gcc -Wall -O -g -o src/server/proc.o -c src/server/proc.c
- File "src/ide/wserver.mli", line 71, characters 35-43:
- 71 | val get_request_and_content : char Stream.t -> string list * string
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- gcc -Wall -O -g -o src/server/writebuf.o -c src/server/writebuf.c
- gcc -Wall -O -g -o src/server/server-unix.o -c src/server/server-unix.c
- gcc -Wall -O -g -o src/server/server-win.o -c src/server/server-win.c
- gcc -Wall -O -g -o src/server/cpulimit-unix.o -c src/server/cpulimit-unix.c
- gcc -Wall -O -g -o src/server/cpulimit-win.o -c src/server/cpulimit-win.c
- Generate drivers/coq-realizations.aux
- Generate drivers/pvs-realizations.aux
- Generate drivers/isabelle-realizations.aux
- Ocamlopt src/util/mysexplib.ml
- Ocamlopt src/util/config.ml
- Ocamlopt src/util/mlmpfr_wrapper.ml
- Ocamlopt src/util/util.ml
- Ocamlopt src/util/opt.ml
- Ocamlopt src/util/lists.ml
- Ocamlopt src/util/strings.ml
- Ocamlopt src/util/extmap.ml
- Ocamlc src/util/extset.mli
- Ocamlopt src/util/exthtbl.ml
- Ocamlopt src/util/weakhtbl.ml
- Ocamlc src/util/diffmap.mli
- File "src/util/weakhtbl.ml", line 98, characters 13-19:
- 98 | let iter = H.iter
- ^^^^^^
- Alert old_ephemeron_api: H.iter
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 99, characters 13-19:
- 99 | let fold = H.fold
- ^^^^^^
- Alert old_ephemeron_api: H.fold
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 101, characters 19-25:
- 101 | let iterk fn t = H.iter (fun k _ -> fn k) t
- ^^^^^^
- Alert old_ephemeron_api: H.iter
- This function won't be available in 5.0
- File "src/util/weakhtbl.ml", line 102, characters 19-25:
- 102 | let foldk fn t = H.fold (fun k _ -> fn k) t
- ^^^^^^
- Alert old_ephemeron_api: H.fold
- This function won't be available in 5.0
- Ocamlopt src/util/hashcons.ml
- Ocamlopt src/util/exn_printer.ml
- Ocamlopt src/util/getopt.ml
- Ocamlc src/util/debug.mli
- Ocamlopt src/util/print_tree.ml
- Ocamlopt src/util/dynlink_wrapper.ml
- Ocamlc src/util/warning.mli
- Ocamlc src/util/constant.mli
- Ocamlopt src/util/vector.ml
- Ocamlopt src/util/re.ml
- Ocamlc src/core/ident.mli
- Ocamlc src/driver/driver_parser.mli
- Ocamlc src/driver/driver_lexer.mli
- File "src/util/vector.ml", line 22, characters 22-30:
- 22 | let create ?capacity:(capacity: (int) option) ~dummy:(dummy: 'a) : 'a t =
- ^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- Ocamlopt src/driver/sexp.ml
- Ocamlopt src/mlw/big_real.ml
- Ocamlopt src/parser/parser_messages.ml
- Ocamlopt src/session/compress.ml
- Ocamlopt src/session/unix_scheduler.ml
- Ocamlc src/util/extset.ml
- Ocamlc src/util/diffmap.ml
- Ocamlc src/util/debug.ml
- File "src/session/compress_none.ml", line 43, characters 23-33:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/session/compress_none.ml", line 45, characters 20-30:
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/util/loc.ml
- Ocamlc src/util/warning.ml
- File "src/util/loc.ml", line 69, characters 14-32:
- 69 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/loc.ml", line 70, characters 12-26:
- 70 | let equal = Pervasives.(=)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/util/number.ml
- File "src/util/debug.ml", line 115, characters 21-39:
- 115 | (List.sort Pervasives.compare list);
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/util/constant.ml
- Ocamlc src/driver/driver_parser.ml
- Ocamlc src/driver/driver_lexer.ml
- File "src/util/constant.ml", line 26, characters 33-51:
- 26 | let c = if structural then Pervasives.compare k1 k2 else 0 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/constant.ml", line 29, characters 33-51:
- 29 | let c = if structural then Pervasives.compare k1 k2 else 0 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/constant.ml", line 32, characters 6-24:
- 32 | Pervasives.compare c1 c2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/session/xml.ml
- Ocamlopt src/tools/why3pp_sexp.ml
- gcc -Wall -o lib/why3server src/server/logging.o src/server/arraylist.o src/server/options.o src/server/queue.o src/server/readbuf.o src/server/request.o src/server/proc.o src/server/writebuf.o src/server/server-unix.o src/server/server-win.o
- gcc -Wall -o lib/why3cpulimit src/server/cpulimit-unix.o src/server/cpulimit-win.o
- Ocamlopt src/util/bigInt.ml
- Ocamlopt src/util/pp.ml
- Ocamlc src/util/wstdlib.mli
- Ocamlopt src/util/cmdline.ml
- Ocamlc src/util/plugin.mli
- Ocamlopt src/util/pqueue.ml
- Ocamlc src/core/ty.mli
- Ocamlopt src/driver/prove_client.ml
- Ocamlc src/parser/glob.mli
- Ocamlopt src/util/diffmap.ml
- Ocamlc src/util/plugin.ml
- Ocamlc src/parser/glob.ml
- Ocamlc src/util/json_base.mli
- Ocamlc src/util/rc.mli
- Ocamlc src/util/wstdlib.ml
- Ocamlc src/core/ident.ml
- Ocamlopt src/util/extset.ml
- Ocamlc src/util/json_parser.mli
- Ocamlopt src/util/debug.ml
- Ocamlopt src/util/sysutil.ml
- Ocamlc src/core/term.mli
- Ocamlc src/util/json_base.ml
- Ocamlc src/util/json_parser.ml
- Ocamlc src/util/rc.ml
- Ocamlc src/core/ty.ml
- File "src/util/debug.ml", line 115, characters 21-39:
- 115 | (List.sort Pervasives.compare list);
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/util/json_lexer.ml
- File "src/util/json_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlopt src/util/wstdlib.ml
- Ocamlc src/core/pattern.mli
- Ocamlc src/core/decl.mli
- Ocamlc src/core/coercion.mli
- Ocamlc src/mlw/ity.mli
- Ocamlc src/transform/close_epsilon.mli
- Ocamlc src/transform/matching.ml
- Ocamlc src/printer/cntexmp_printer.mli
- Ocamlopt src/session/xml.ml
- Ocamlc src/core/term.ml
- Ocamlc src/core/pattern.ml
- File "src/transform/matching.ml", line 157, characters 15-33:
- 157 | let (--) = Pervasives.compare in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/core/decl.ml
- File "src/transform/matching.ml", line 268, characters 16-34:
- 268 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/core/coercion.ml
- Ocamlopt src/util/json_base.ml
- Ocamlopt src/util/loc.ml
- Ocamlopt src/util/rc.ml
- Ocamlopt src/util/plugin.ml
- Ocamlopt src/util/number.ml
- Ocamlc src/core/theory.mli
- Ocamlc src/core/dterm.mli
- File "src/core/term.ml", line 281, characters 39-57:
- 281 | let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/loc.ml", line 69, characters 14-32:
- 69 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/loc.ml", line 70, characters 12-26:
- 70 | let equal = Pervasives.(=)
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/mlw/expr.mli
- Ocamlc src/printer/cntexmp_printer.ml
- File "src/transform/matching.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlopt src/util/json_parser.ml
- Ocamlopt src/util/lexlib.ml
- Ocamlopt src/util/warning.ml
- Ocamlopt src/core/ident.ml
- Ocamlopt src/driver/driver_ast.ml
- Ocamlc src/mlw/pdecl.mli
- Ocamlc src/parser/ptree.ml
- Ocamlc src/transform/detect_polymorphism.mli
- Ocamlc src/transform/eliminate_literal.mli
- Ocamlc src/core/theory.ml
- Ocamlc src/core/task.mli
- Ocamlc src/core/env.mli
- File "src/parser/ptree.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/mlw/eval_match.mli
- Ocamlc src/mlw/typeinv.mli
- Ocamlc src/parser/ptree_helpers.mli
- Ocamlc src/parser/mlw_printer.mli
- Ocamlopt src/util/json_lexer.ml
- Ocamlopt src/util/constant.ml
- Ocamlc src/core/pretty.mli
- Ocamlc src/core/trans.mli
- Ocamlc src/mlw/vc.mli
- Ocamlc src/mlw/pmodule.mli
- Ocamlc src/transform/reduction_engine.mli
- Ocamlc src/session/termcode.mli
- Ocamlc src/core/task.ml
- Ocamlc src/core/env.ml
- Ocamlc src/mlw/eval_match.ml
- Ocamlc src/mlw/typeinv.ml
- File "src/util/constant.ml", line 26, characters 33-51:
- 26 | let c = if structural then Pervasives.compare k1 k2 else 0 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/constant.ml", line 29, characters 33-51:
- 29 | let c = if structural then Pervasives.compare k1 k2 else 0 in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/util/constant.ml", line 32, characters 6-24:
- 32 | Pervasives.compare c1 c2
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/parser/ptree_helpers.ml
- Ocamlc src/parser/mlw_printer.ml
- Ocamlc src/transform/simplify_array.ml
- Ocamlc src/transform/close_epsilon.ml
- Ocamlc src/transform/lift_epsilon.ml
- Ocamlc src/transform/instantiate_predicate.ml
- Ocamlc src/session/termcode.ml
- Ocamlopt src/core/ty.ml
- Ocamlc src/core/printer.mli
- Ocamlopt src/driver/driver_parser.ml
- Ocamlc src/mlw/dexpr.mli
- Ocamlc src/extract/mlinterp.mli
- Ocamlopt src/parser/glob.ml
- Ocamlc src/parser/parser.mli
- Ocamlc src/parser/lexer.mli
- Ocamlc src/transform/simplify_formula.mli
- Ocamlc src/transform/inlining.mli
- File "src/session/termcode.ml", line 1106, characters 24-42:
- 1106 | let compare e1 e2 = Pervasives.compare e1.shape e2.shape in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/transform/split_goal.mli
- Ocamlc src/transform/args_wrapper.mli
- Ocamlc src/transform/compute.mli
- Ocamlc src/transform/eliminate_definition.mli
- Ocamlc src/transform/eliminate_algebraic.mli
- Ocamlc src/transform/abstract_quantifiers.ml
- Ocamlc src/transform/eliminate_unknown_types.ml
- Ocamlc src/transform/eliminate_unknown_lsymbols.ml
- Ocamlc src/transform/eliminate_symbol.ml
- Ocamlc src/transform/eliminate_inductive.mli
- File "src/transform/abstract_quantifiers.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/eliminate_let.mli
- Ocamlc src/transform/eliminate_if.mli
- Ocamlc src/transform/libencoding.mli
- File "src/transform/eliminate_unknown_types.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/discriminate.mli
- File "src/transform/eliminate_unknown_lsymbols.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/transform/eliminate_symbol.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/encoding.mli
- Ocamlc src/transform/abstraction.mli
- Ocamlc src/transform/eliminate_epsilon.mli
- Ocamlc src/transform/intro_projections_counterexmp.mli
- Ocamlc src/transform/smoke_detector.mli
- Ocamlc src/transform/prop_curry.ml
- Ocamlc src/transform/generic_arg_trans_utils.mli
- Ocamlc src/transform/apply.mli
- Ocamlc src/transform/subst.mli
- Ocamlc src/transform/introduction.mli
- Ocamlc src/transform/ind_itp.mli
- File "src/transform/prop_curry.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/destruct.mli
- Ocamlc src/transform/congruence.ml
- Ocamlc src/transform/intro_vc_vars_counterexmp.mli
- Ocamlc src/transform/prepare_for_counterexmp.mli
- Ocamlc src/transform/reflection.mli
- Ocamlc src/printer/pvs.ml
- Ocamlc src/printer/isabelle.ml
- Ocamlc src/printer/yices.ml
- Ocamlc src/printer/mathematica.ml
- Ocamlc src/core/pretty.ml
- Ocamlc src/core/dterm.ml
- Ocamlc src/core/trans.ml
- File "src/transform/congruence.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/core/printer.ml
- Ocamlc src/mlw/ity.ml
- Ocamlc src/mlw/expr.ml
- Ocamlc src/mlw/pdecl.ml
- File "src/printer/yices.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/mlw/vc.ml
- Ocamlc src/mlw/pmodule.ml
- Ocamlc src/mlw/dexpr.ml
- File "src/printer/isabelle.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/printer/mathematica.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/simplify_formula.ml
- Ocamlc src/transform/inlining.ml
- Ocamlc src/transform/split_goal.ml
- Ocamlc src/transform/detect_polymorphism.ml
- File "src/printer/pvs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/transform/reduction_engine.ml
- Ocamlc src/transform/compute.ml
- Ocamlc src/transform/eliminate_definition.ml
- Ocamlc src/transform/eliminate_algebraic.ml
- File "src/transform/inlining.ml", line 98, characters 25-38:
- 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "src/transform/inlining.ml", line 98, characters 8-21:
- 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- Ocamlc src/transform/eliminate_inductive.ml
- Ocamlc src/transform/eliminate_let.ml
- Ocamlc src/transform/eliminate_if.ml
- Ocamlc src/transform/libencoding.ml
- Ocamlc src/transform/discriminate.ml
- Ocamlc src/transform/encoding.ml
- Ocamlc src/transform/encoding_select.ml
- Ocamlc src/transform/encoding_guards_full.ml
- Ocamlc src/transform/encoding_tags_full.ml
- Ocamlc src/transform/encoding_guards.ml
- Ocamlc src/transform/encoding_tags.ml
- Ocamlc src/transform/encoding_twin.ml
- Ocamlc src/transform/encoding_sort.ml
- Ocamlc src/transform/filter_trigger.ml
- Ocamlc src/transform/abstraction.ml
- Ocamlc src/transform/eliminate_epsilon.ml
- Ocamlc src/transform/intro_projections_counterexmp.ml
- Ocamlc src/transform/smoke_detector.ml
- Ocamlc src/transform/eliminate_literal.ml
- Ocamlc src/transform/generic_arg_trans_utils.ml
- Ocamlc src/transform/apply.ml
- Ocamlc src/transform/subst.ml
- Ocamlc src/transform/introduction.ml
- Ocamlc src/transform/ind_itp.ml
- Ocamlc src/transform/destruct.ml
- Ocamlc src/transform/intro_vc_vars_counterexmp.ml
- Ocamlc src/transform/prepare_for_counterexmp.ml
- Ocamlc src/transform/induction.ml
- Ocamlc src/transform/induction_pr.ml
- Ocamlc src/printer/alt_ergo.ml
- File "src/transform/intro_vc_vars_counterexmp.ml", line 31, characters 2-24:
- 31 | vc_pre_or_post : bool;
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field vc_pre_or_post is never read.
- (However, this field is used to build or mutate values.)
- Ocamlc src/printer/why3printer.ml
- Ocamlc src/printer/smtv1.ml
- Ocamlc src/printer/smtv2.ml
- Ocamlc src/printer/coq.ml
- Ocamlc src/printer/simplify.ml
- Ocamlc src/printer/gappa.ml
- Ocamlc src/printer/cvc3.ml
- File "src/printer/alt_ergo.ml", line 47, characters 2-29:
- 47 | mutable info_in_goal: bool;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field info_in_goal is never mutated.
- File "src/printer/alt_ergo.ml", line 49, characters 2-45:
- 49 | mutable list_field_def: Ident.ident Mstr.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field list_field_def is never mutated.
- File "src/printer/alt_ergo.ml", line 51, characters 2-26:
- 51 | meta_record_def : Sls.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field meta_record_def is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/core/term.ml
- Ocamlc src/core/model_parser.mli
- Ocamlopt src/driver/driver_lexer.ml
- Ocamlc src/extract/mltree.ml
- Ocamlc src/parser/typing.mli
- Ocamlc src/parser/report.mli
- Ocamlc src/transform/case.ml
- Ocamlc src/transform/cut.ml
- Ocamlc src/core/model_parser.ml
- File "src/core/term.ml", line 281, characters 39-57:
- 281 | let perv_compare h1 h2 = comp_raise (Pervasives.compare h1 h2) in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/printer/gappa.ml", line 97, characters 2-23:
- 97 | info_symbols : Sid.t;
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field info_symbols is never read.
- (However, this field is used to build or mutate values.)
- Ocamlc src/driver/call_provers.mli
- Ocamlc src/driver/smtv2_model_defs.mli
- Ocamlc src/parser/typing.ml
- Ocamlc src/parser/parser.ml
- File "src/transform/case.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/extract/mltree.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/transform/cut.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/parser/report.ml
- Ocamlc src/parser/lexer.ml
- Ocamlc src/transform/args_wrapper.ml
- Ocamlc src/driver/driver.mli
- Ocamlc src/driver/collect_data_model.mli
- Ocamlc src/driver/call_provers.ml
- Ocamlc src/driver/smtv2_model_defs.ml
- Ocamlc src/transform/reflection.ml
- Ocamlc src/driver/whyconf.mli
- Ocamlc src/driver/driver.ml
- Ocamlc src/driver/collect_data_model.ml
- Ocamlc src/driver/smtv2_model_parser.ml
- Ocamlc src/extract/compile.mli
- Ocamlc src/extract/pdriver.mli
- Ocamlc src/driver/autodetection.mli
- Ocamlc src/mlw/pinterp.mli
- Ocamlc src/session/session_itp.mli
- Ocamlc src/session/strategy.mli
- Ocamlc src/driver/whyconf.ml
- Ocamlc src/driver/autodetection.ml
- Ocamlc src/extract/compile.ml
- File "src/driver/smtv2_model_parser.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/extract/mlinterp.ml
- Ocamlc src/extract/pdriver.ml
- Ocamlc src/extract/ml_printer.mli
- Ocamlc src/extract/c.ml
- Ocamlc src/session/strategy_parser.mli
- Ocamlc src/session/controller_itp.mli
- Ocamlc src/session/session_itp.ml
- Ocamlc src/session/strategy.ml
- Ocamlc src/session/strategy_parser.ml
- Ocamlc src/mlw/counterexample.mli
- Ocamlc src/extract/ocaml.ml
- Ocamlc src/extract/cakeml.ml
- Ocamlc src/session/itp_communication.mli
- Ocamlc src/mlw/pinterp.ml
- Ocamlc src/extract/ml_printer.ml
- Ocamlc src/session/controller_itp.ml
- Ocamlc src/mlw/counterexample.ml
- Ocamlc src/session/server_utils.mli
- Ocamlc src/session/itp_server.mli
- Ocamlc src/session/json_util.mli
- Ocamlc src/session/itp_communication.ml
- File "src/extract/mlinterp.ml", line 42, characters 4-18:
- 42 | env : Env.env;
- ^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field env is never read.
- (However, this field is used to build or mutate values.)
- File "src/extract/mlinterp.ml", line 43, characters 4-33:
- 43 | mm : Pmodule.pmodule Mstr.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field mm is never read.
- (However, this field is used to build or mutate values.)
- Ocamlc src/session/server_utils.ml
- File "src/mlw/pinterp.ml", line 60, characters 14-28:
- 60 | let n = Pervasives.max 0 (Array.length a - 25) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlc src/session/itp_server.ml
- File "src/extract/c.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/session/controller_itp.ml", line 570, characters 36-43:
- 570 | let schedule_proof_attempt c id pr ?save_to ~limit ~callback ~notification =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "src/session/session_itp.ml", line 36, characters 2-41:
- 36 | mutable theory_parent_name : fileID;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field theory_parent_name is never mutated.
- File "src/session/session_itp.ml", line 1938, characters 2-30:
- 1938 | prover_ids : int PHprover.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prover_ids is never read.
- (However, this field is used to build or mutate values.)
- Ocamlc src/session/json_util.ml
- File "src/extract/cakeml.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/session/controller_itp.ml", line 307, characters 4-38:
- 307 | tp_session : Session_itp.session;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_session is never read.
- (However, this field is used to build or mutate values.)
- File "src/session/controller_itp.ml", line 308, characters 4-30:
- 308 | tp_id : proofNodeID;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_id is never read.
- (However, this field is used to build or mutate values.)
- File "src/session/controller_itp.ml", line 309, characters 4-33:
- 309 | tp_pr : Whyconf.prover;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_pr is never read.
- (However, this field is used to build or mutate values.)
- File "src/extract/ocaml.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/mlw/pinterp.ml", line 1851, characters 48-62:
- 1851 | let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlopt src/core/pattern.ml
- Ocamlopt src/transform/matching.ml
- Ocamlopt src/core/coercion.ml
- File "src/transform/matching.ml", line 157, characters 15-33:
- 157 | let (--) = Pervasives.compare in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- File "src/transform/matching.ml", line 268, characters 16-34:
- 268 | let compare = Pervasives.compare
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlopt src/core/decl.ml
- Ocamlopt src/core/theory.ml
- Ocamlopt src/core/task.ml
- Ocamlopt src/core/env.ml
- Ocamlopt src/core/pretty.ml
- Ocamlopt src/core/dterm.ml
- Ocamlopt src/core/trans.ml
- Ocamlopt src/mlw/ity.ml
- Ocamlopt src/transform/reduction_engine.ml
- Ocamlopt src/core/printer.ml
- Ocamlopt src/transform/simplify_formula.ml
- Ocamlopt src/transform/inlining.ml
- Ocamlopt src/transform/split_goal.ml
- Ocamlopt src/transform/detect_polymorphism.ml
- Ocamlopt src/transform/abstract_quantifiers.ml
- Ocamlopt src/transform/eliminate_symbol.ml
- Ocamlopt src/transform/eliminate_let.ml
- Ocamlopt src/transform/simplify_array.ml
- Ocamlopt src/transform/abstraction.ml
- File "src/transform/inlining.ml", line 98, characters 25-38:
- 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "src/transform/inlining.ml", line 98, characters 8-21:
- 98 | let t ?(use_meta=true) ?(in_goal=false) ~notls ~notdef =
- ^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- Ocamlopt src/transform/close_epsilon.ml
- Ocamlopt src/transform/eliminate_epsilon.ml
- Ocamlopt src/transform/instantiate_predicate.ml
- Ocamlopt src/transform/intro_projections_counterexmp.ml
- Ocamlopt src/transform/smoke_detector.ml
- Ocamlopt src/transform/prop_curry.ml
- Ocamlopt src/session/termcode.ml
- Ocamlopt src/transform/congruence.ml
- Ocamlopt src/transform/eliminate_inductive.ml
- Ocamlopt src/transform/lift_epsilon.ml
- Ocamlopt src/core/model_parser.ml
- Ocamlopt src/transform/eliminate_algebraic.ml
- Ocamlopt src/transform/eliminate_unknown_types.ml
- File "src/session/termcode.ml", line 1106, characters 24-42:
- 1106 | let compare e1 e2 = Pervasives.compare e1.shape e2.shape in
- ^^^^^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlopt src/transform/eliminate_unknown_lsymbols.ml
- Ocamlopt src/transform/eliminate_if.ml
- Ocamlopt src/transform/libencoding.ml
- Ocamlopt src/transform/encoding_sort.ml
- Ocamlopt src/transform/filter_trigger.ml
- Ocamlopt src/transform/generic_arg_trans_utils.ml
- Ocamlopt src/printer/coq.ml
- Ocamlopt src/printer/pvs.ml
- Ocamlopt src/printer/isabelle.ml
- Ocamlopt src/printer/mathematica.ml
- Ocamlopt src/transform/encoding.ml
- Ocamlopt src/transform/eliminate_literal.ml
- Ocamlopt src/driver/call_provers.ml
- Ocamlopt src/driver/smtv2_model_defs.ml
- Ocamlopt src/transform/encoding_guards_full.ml
- Ocamlopt src/transform/encoding_tags_full.ml
- Ocamlopt src/transform/encoding_guards.ml
- Ocamlopt src/transform/encoding_tags.ml
- Ocamlopt src/transform/encoding_twin.ml
- Ocamlopt src/transform/intro_vc_vars_counterexmp.ml
- Ocamlopt src/printer/cntexmp_printer.ml
- Ocamlopt src/mlw/expr.ml
- Ocamlopt src/driver/collect_data_model.ml
- File "src/transform/intro_vc_vars_counterexmp.ml", line 31, characters 2-24:
- 31 | vc_pre_or_post : bool;
- ^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field vc_pre_or_post is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/driver/driver.ml
- Linking lib/why3/why3.cmo
- Ocamlopt src/driver/smtv2_model_parser.ml
- Ocamlopt src/driver/whyconf.ml
- Ocamlopt src/driver/autodetection.ml
- Ocamlopt src/session/strategy.ml
- Ocamlopt src/session/strategy_parser.ml
- Ocamlopt src/mlw/pdecl.ml
- Ocamlopt src/parser/ptree.ml
- Ocamlopt src/parser/ptree_helpers.ml
- Ocamlopt src/parser/mlw_printer.ml
- Ocamlopt src/mlw/eval_match.ml
- Ocamlopt src/mlw/typeinv.ml
- Ocamlc plugins/parser/genequlin.ml
- Ocamlc plugins/parser/dimacs.ml
- Ocamlc plugins/tptp/tptp_ast.ml
- Ocamlc plugins/python/py_ast.ml
- Ocamlc plugins/microc/mc_ast.ml
- Ocamlc plugins/microc/mc_printer.mli
- Ocamlc plugins/cfg/cfg_ast.ml
- Ocamlc plugins/cfg/cfg_tokens.ml
- Ocamlc src/tools/main.ml
- Ocamlc src/tools/why3config.ml
- Ocamlc src/tools/why3execute.ml
- Ocamlc src/tools/why3extract.ml
- Ocamlc src/tools/why3prove.ml
- Ocamlc src/tools/why3realize.ml
- Ocamlc src/tools/why3replay.ml
- Ocamlc src/tools/why3wc.ml
- Ocamlc src/ide/why3web.ml
- Ocamlc src/why3session/why3session_lib.mli
- Ocamlc src/tools/why3shell.ml
- Ocamlc src/isabelle-client/isabelle_client_main.ml
- Ocamlc src/tools/why3pp.ml
- Ocamlc src/why3doc/doc_def.mli
- Ocamlc plugins/tptp/tptp_printer.ml
- Linking lib/why3/why3.cma
- Ocamlc src/ide/wserver.ml
- File "plugins/python/py_ast.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/cfg/cfg_tokens.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/microc/mc_ast.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/tptp/tptp_ast.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/why3doc/doc_html.ml
- File "plugins/cfg/cfg_ast.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/python/py_parser.mli
- File "src/tools/why3realize.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/microc/mc_parser.mli
- File "src/tools/why3config.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/parser/dimacs.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/tools/why3wc.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/ide/why3web.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/tools/main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/parser/genequlin.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/isabelle-client/isabelle_client_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/cfg/cfg_parser.mli
- File "src/tools/why3replay.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/tools/why3execute.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/microc/mc_printer.ml
- Ocamlc src/why3session/why3session_lib.ml
- File "src/tools/why3shell.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/why3doc/doc_def.ml
- File "src/tools/why3extract.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/tools/why3prove.ml", line 446, characters 6-40:
- 446 | Format.set_formatter_tag_functions Util.ansi_color_tags;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.set_formatter_tag_functions
- Use Format.set_formatter_stag_functions.
- File "src/tools/why3prove.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/tptp/tptp_parser.mli
- File "src/ide/wserver.ml", line 198, characters 27-35:
- 198 | let rec loop (strm__ : _ Stream.t) =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- Ocamlc plugins/tptp/tptp_typing.mli
- File "src/ide/wserver.ml", line 199, characters 10-21:
- 199 | match Stream.peek strm__ with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 201, characters 6-17:
- 201 | Stream.junk strm__;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 207, characters 21-32:
- 207 | | Some '\013' -> Stream.junk strm__; loop strm__
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 209, characters 6-17:
- 209 | Stream.junk strm__;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 223, characters 24-32:
- 223 | let (strm__ : _ Stream.t) = strm in
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 224, characters 14-25:
- 224 | match Stream.peek strm__ with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 225, characters 20-31:
- 225 | | Some x -> Stream.junk strm__; x
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/tools/why3pp.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/ide/wserver.ml", line 240, characters 6-17:
- 240 | Stream.from
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- Ocamlc plugins/tptp/tptp_lexer.mli
- Ocamlc plugins/python/py_lexer.ml
- Ocamlc plugins/microc/mc_lexer.ml
- Ocamlc plugins/cfg/cfg_lexer.ml
- Ocamlc src/why3session/why3session_info.ml
- Ocamlc src/why3session/why3session_html.ml
- Ocamlc src/why3session/why3session_latex.ml
- Ocamlc src/why3session/why3session_update.ml
- Ocamlc src/why3doc/doc_lexer.ml
- File "plugins/python/py_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/tptp/tptp_parser.ml
- File "plugins/microc/mc_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/why3session/why3session_lib.ml", line 130, characters 6-30:
- 130 | archived : filter_three;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field archived is never read.
- (However, this field is used to build or mutate values.)
- Ocamlc plugins/tptp/tptp_typing.ml
- File "plugins/cfg/cfg_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/tptp/tptp_lexer.ml
- File "src/why3session/why3session_update.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "src/why3session/why3session_html.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/python/py_parser.ml
- Ocamlc plugins/microc/mc_parser.ml
- File "src/why3session/why3session_info.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc plugins/cfg/cfg_parser.ml
- Linking bin/why3config.cma
- Linking bin/why3realize.cma
- Linking bin/why3wc.cma
- File "src/why3session/why3session_latex.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Linking bin/why3webserver.cma
- Linking bin/isabelle_client.byte
- Ocamlc plugins/python/py_main.ml
- Ocamlopt src/mlw/vc.ml
- Ocamlc plugins/microc/mc_main.ml
- Ocamlc plugins/cfg/cfg_main.ml
- Linking lib/plugins/genequlin.cmo
- Linking lib/plugins/dimacs.cmo
- Linking bin/why3.byte
- File "src/why3doc/doc_lexer.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Linking bin/why3execute.cma
- Linking bin/why3shell.cma
- File "plugins/microc/mc_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/python/py_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- File "plugins/cfg/cfg_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Ocamlc src/why3doc/doc_main.ml
- Linking bin/why3replay.cma
- File "src/why3doc/doc_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Linking bin/why3doc.cma
- Linking bin/why3prove.cma
- Ocamlc src/why3session/why3session_main.ml
- Linking bin/why3extract.cma
- File "src/why3session/why3session_main.ml", line 1:
- Warning 70 [missing-mli]: Cannot find interface file.
- Linking bin/why3session.cma
- Linking bin/why3pp.cma
- Ocamlopt src/mlw/pmodule.ml
- Linking lib/plugins/python.cmo
- Linking lib/plugins/microc.cmo
- Ocamlopt src/mlw/dexpr.ml
- Ocamlopt src/mlw/pinterp.ml
- File "src/mlw/pinterp.ml", line 60, characters 14-28:
- 60 | let n = Pervasives.max 0 (Array.length a - 25) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Linking lib/plugins/tptp.cmo
- File "src/mlw/pinterp.ml", line 1851, characters 48-62:
- 1851 | let s = String.(if length s > n then sub s 0 (Pervasives.min n (length s)) ^ "..." else s) in
- ^^^^^^^^^^^^^^
- Alert deprecated: module Stdlib.Pervasives
- Use Stdlib instead.
-
- If you need to stay compatible with OCaml < 4.07, you can use the
- stdlib-shims library: https://github.com/ocaml/stdlib-shims
- Ocamlopt src/extract/mltree.ml
- Ocamlopt src/parser/typing.ml
- Ocamlopt src/extract/compile.ml
- Ocamlopt src/extract/pdriver.ml
- Ocamlopt src/mlw/counterexample.ml
- Ocamlopt src/extract/ml_printer.ml
- Ocamlopt src/extract/ocaml.ml
- Ocamlopt src/extract/cakeml.ml
- Ocamlopt src/extract/mlinterp.ml
- Ocamlopt src/extract/c.ml
- Ocamlopt src/parser/parser.ml
- File "src/extract/mlinterp.ml", line 42, characters 4-18:
- 42 | env : Env.env;
- ^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field env is never read.
- (However, this field is used to build or mutate values.)
- File "src/extract/mlinterp.ml", line 43, characters 4-33:
- 43 | mm : Pmodule.pmodule Mstr.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field mm is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/parser/report.ml
- Ocamlopt src/parser/lexer.ml
- Ocamlopt src/transform/args_wrapper.ml
- Ocamlopt src/transform/compute.ml
- Ocamlopt src/transform/case.ml
- Ocamlopt src/transform/apply.ml
- Ocamlopt src/transform/subst.ml
- Ocamlopt src/transform/ind_itp.ml
- Ocamlopt src/transform/cut.ml
- Ocamlopt src/transform/eliminate_definition.ml
- Ocamlopt src/transform/discriminate.ml
- Ocamlopt src/printer/gappa.ml
- Ocamlopt src/transform/induction.ml
- Ocamlopt src/transform/induction_pr.ml
- Ocamlopt src/transform/introduction.ml
- Ocamlopt src/transform/destruct.ml
- File "src/printer/gappa.ml", line 97, characters 2-23:
- 97 | info_symbols : Sid.t;
- ^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field info_symbols is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/transform/reflection.ml
- Ocamlopt src/transform/prepare_for_counterexmp.ml
- Ocamlopt src/transform/encoding_select.ml
- Ocamlopt src/printer/alt_ergo.ml
- Ocamlopt src/printer/why3printer.ml
- Ocamlopt src/printer/smtv1.ml
- Ocamlopt src/printer/smtv2.ml
- Ocamlopt src/printer/simplify.ml
- Ocamlopt src/printer/cvc3.ml
- Ocamlopt src/printer/yices.ml
- File "src/printer/alt_ergo.ml", line 47, characters 2-29:
- 47 | mutable info_in_goal: bool;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field info_in_goal is never mutated.
- File "src/printer/alt_ergo.ml", line 49, characters 2-45:
- 49 | mutable list_field_def: Ident.ident Mstr.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field list_field_def is never mutated.
- File "src/printer/alt_ergo.ml", line 51, characters 2-26:
- 51 | meta_record_def : Sls.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field meta_record_def is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/session/session_itp.ml
- File "src/session/session_itp.ml", line 36, characters 2-41:
- 36 | mutable theory_parent_name : fileID;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: mutable record field theory_parent_name is never mutated.
- File "src/session/session_itp.ml", line 1938, characters 2-30:
- 1938 | prover_ids : int PHprover.t;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field prover_ids is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/session/controller_itp.ml
- File "src/session/controller_itp.ml", line 570, characters 36-43:
- 570 | let schedule_proof_attempt c id pr ?save_to ~limit ~callback ~notification =
- ^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- File "src/session/controller_itp.ml", line 307, characters 4-38:
- 307 | tp_session : Session_itp.session;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_session is never read.
- (However, this field is used to build or mutate values.)
- File "src/session/controller_itp.ml", line 308, characters 4-30:
- 308 | tp_id : proofNodeID;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_id is never read.
- (However, this field is used to build or mutate values.)
- File "src/session/controller_itp.ml", line 309, characters 4-33:
- 309 | tp_pr : Whyconf.prover;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field tp_pr is never read.
- (However, this field is used to build or mutate values.)
- Ocamlopt src/session/itp_communication.ml
- Ocamlopt src/session/server_utils.ml
- Ocamlopt src/session/json_util.ml
- Ocamlopt src/session/itp_server.ml
- Linking lib/why3/why3.cmx
- Ocamlopt plugins/parser/genequlin.ml
- Ocamlopt plugins/parser/dimacs.ml
- Ocamlopt plugins/tptp/tptp_ast.ml
- Ocamlopt plugins/tptp/tptp_printer.ml
- Ocamlopt plugins/python/py_ast.ml
- Ocamlopt plugins/microc/mc_ast.ml
- Ocamlopt plugins/microc/mc_printer.ml
- Ocamlopt plugins/cfg/cfg_ast.ml
- Ocamlopt plugins/cfg/cfg_tokens.ml
- Linking lib/why3/why3.cmxa
- Linking lib/why3/why3.cmxs
- Ocamlopt src/tools/main.ml
- Ocamlopt src/tools/why3config.ml
- Ocamlopt src/tools/why3execute.ml
- Ocamlopt src/tools/why3extract.ml
- Ocamlopt src/tools/why3prove.ml
- Ocamlopt src/tools/why3realize.ml
- Ocamlopt src/tools/why3replay.ml
- Ocamlopt src/tools/why3wc.ml
- Ocamlopt src/ide/wserver.ml
- Ocamlopt src/why3session/why3session_lib.ml
- Ocamlopt src/tools/why3shell.ml
- Ocamlopt src/isabelle-client/isabelle_client_main.ml
- Ocamlopt src/tools/why3pp.ml
- Ocamlopt src/why3doc/doc_html.ml
- Ocamlopt src/why3doc/doc_def.ml
- Ocamlopt plugins/tptp/tptp_parser.ml
- Ocamlopt plugins/tptp/tptp_typing.ml
- Ocamlopt plugins/python/py_parser.ml
- Ocamlopt plugins/cfg/cfg_parser.ml
- Ocamlopt plugins/microc/mc_parser.ml
- File "src/why3session/why3session_lib.ml", line 130, characters 6-30:
- 130 | archived : filter_three;
- ^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 69 [unused-field]: record field archived is never read.
- (However, this field is used to build or mutate values.)
- File "src/ide/wserver.ml", line 198, characters 27-35:
- 198 | let rec loop (strm__ : _ Stream.t) =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 199, characters 10-21:
- 199 | match Stream.peek strm__ with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 201, characters 6-17:
- 201 | Stream.junk strm__;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 207, characters 21-32:
- 207 | | Some '\013' -> Stream.junk strm__; loop strm__
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 209, characters 6-17:
- 209 | Stream.junk strm__;
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 223, characters 24-32:
- 223 | let (strm__ : _ Stream.t) = strm in
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 224, characters 14-25:
- 224 | match Stream.peek strm__ with
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 225, characters 20-31:
- 225 | | Some x -> Stream.junk strm__; x
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/ide/wserver.ml", line 240, characters 6-17:
- 240 | Stream.from
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/tools/why3prove.ml", line 446, characters 6-40:
- 446 | Format.set_formatter_tag_functions Util.ansi_color_tags;
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.set_formatter_tag_functions
- Use Format.set_formatter_stag_functions.
- Ocamlopt src/why3doc/doc_lexer.ml
- Linking bin/why3realize.cmxs
- Linking bin/why3config.cmxs
- Linking bin/why3wc.cmxs
- Ocamlopt src/ide/why3web.ml
- Linking lib/plugins/dimacs.cmxs
- Linking lib/plugins/genequlin.cmxs
- Linking bin/isabelle_client.opt
- Ocamlopt src/why3session/why3session_info.ml
- Ocamlopt src/why3session/why3session_html.ml
- Ocamlopt src/why3session/why3session_latex.ml
- Ocamlopt src/why3session/why3session_update.ml
- Linking bin/why3.opt
- Linking bin/why3execute.cmxs
- Ocamlopt src/why3doc/doc_main.ml
- Linking bin/why3webserver.cmxs
- Linking bin/why3replay.cmxs
- Linking bin/why3shell.cmxs
- Linking bin/why3doc.cmxs
- Linking bin/why3prove.cmxs
- Linking bin/why3extract.cmxs
- Linking bin/why3pp.cmxs
- Ocamlopt src/why3session/why3session_main.ml
- Ocamlopt plugins/python/py_lexer.ml
- Linking bin/why3session.cmxs
- Ocamlopt plugins/microc/mc_lexer.ml
- Ocamlopt plugins/python/py_main.ml
- Ocamlopt plugins/microc/mc_main.ml
- Ocamlopt plugins/tptp/tptp_lexer.ml
- Linking lib/plugins/tptp.cmxs
- Linking lib/plugins/microc.cmxs
- Linking lib/plugins/python.cmxs
- Linking lib/plugins/cfg.cmo
- Ocamlopt plugins/cfg/cfg_lexer.ml
- Ocamlopt plugins/cfg/cfg_main.ml
- Linking lib/plugins/cfg.cmxs
- make: Nothing to be done for 'opt'.
-> compiled why3.1.4.1
Processing 70/72: [why3: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" "install-lib" (CWD=/home/opam/.opam/4.14/.opam-switch/build/why3.1.4.1)
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/plugins
- /usr/bin/install -c -m 644 lib/plugins/genequlin.cmo lib/plugins/dimacs.cmo lib/plugins/tptp.cmo lib/plugins/python.cmo lib/plugins/microc.cmo lib/plugins/cfg.cmo lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/microc.cmxs lib/plugins/cfg.cmxs /home/opam/.opam/4.14/lib/why3/plugins
- /usr/bin/mkdir -p /home/opam/.opam/4.14/bin
- /usr/bin/install -c bin/why3.opt /home/opam/.opam/4.14/bin/why3
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3config.cmxs bin/why3execute.cmxs bin/why3extract.cmxs bin/why3prove.cmxs bin/why3realize.cmxs bin/why3replay.cmxs bin/why3wc.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3
- /usr/bin/install -c lib/why3server /home/opam/.opam/4.14/lib/why3/why3server
- /usr/bin/install -c lib/why3cpulimit /home/opam/.opam/4.14/lib/why3/why3cpulimit
- /usr/bin/install -c lib/why3-call-pvs /home/opam/.opam/4.14/lib/why3/why3-call-pvs
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3webserver.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3session.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3shell.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3pp.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/install -c -m 644 bin/why3doc.cmxs /home/opam/.opam/4.14/lib/why3/commands
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/vim
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/vim/ftdetect
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/vim/syntax
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/lang
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/stdlib
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/stdlib/mach
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/drivers
- /usr/bin/install -c -m 644 stdlib/*.mlw /home/opam/.opam/4.14/share/why3/stdlib
- /usr/bin/install -c -m 644 stdlib/mach/*.mlw /home/opam/.opam/4.14/share/why3/stdlib/mach
- /usr/bin/install -c -m 644 drivers/*.drv drivers/*.gen /home/opam/.opam/4.14/share/why3/drivers
- /usr/bin/install -c -m 644 LICENSE /home/opam/.opam/4.14/share/why3/
- /usr/bin/install -c -m 644 share/provers-detection-data.conf /home/opam/.opam/4.14/share/why3/
- /usr/bin/install -c -m 644 share/why3session.dtd /home/opam/.opam/4.14/share/why3
- /usr/bin/install -c -m 644 share/Makefile.config /home/opam/.opam/4.14/share/why3
- /usr/bin/install -c -m 644 share/vim/ftdetect/why3.vim /home/opam/.opam/4.14/share/why3/vim/ftdetect/why3.vim
- /usr/bin/install -c -m 644 share/vim/syntax/why3.vim /home/opam/.opam/4.14/share/why3/vim/syntax/why3.vim
- /usr/bin/install -c -m 644 share/lang/why3.lang /home/opam/.opam/4.14/share/why3/lang/why3.lang
- /usr/bin/install -c -m 644 share/lang/why3c.lang /home/opam/.opam/4.14/share/why3/lang/why3c.lang
- /usr/bin/install -c -m 644 share/lang/why3py.lang /home/opam/.opam/4.14/share/why3/lang/why3py.lang
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/drivers
- /usr/bin/install -c -m 644 drivers/coq-realizations.aux /home/opam/.opam/4.14/share/why3/drivers/
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/why3/drivers/
- /usr/bin/install -c -m 644 drivers/pvs-realizations.aux /home/opam/.opam/4.14/share/why3/drivers/
- /usr/bin/install -c -m 644 drivers/isabelle-realizations.aux /home/opam/.opam/4.14/share/why3/drivers/
- /usr/bin/mkdir -p /home/opam/.opam/4.14/share/emacs/site-lisp/
- /usr/bin/install -c -m 644 share/emacs/why3.el /home/opam/.opam/4.14/share/emacs/site-lisp/why3.el
- if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \
- /usr/bin/install -c share/bash/why3 /etc/bash_completion.d; \
- fi
- /usr/bin/mkdir -p /home/opam/.opam/4.14/lib/why3
- /usr/bin/install -c -m 644 lib/why3/why3.a lib/why3/why3.cma lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt \
- lib/why3/META /home/opam/.opam/4.14/lib/why3
-> installed why3.1.4.1
Processing 71/72: [lambdapi: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "lambdapi" "-j" "31" "@install" (CWD=/home/opam/.opam/4.14/.opam-switch/build/lambdapi.2.1.0)
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlc.opt -w -40 -g -bin-annot -I src/common/.common.objs/byte -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/timed -I src/lplib/.lplib.objs/byte -no-alias-deps -open Common -o src/common/.common.objs/byte/common__Debug.cmo -c -impl src/common/debug.ml)
- File "src/common/debug.ml", line 167, characters 37-45:
- 167 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 167, characters 37-45:
- 167 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 168, characters 29-40:
- 168 | if not !do_print_time then Stream.iter else fun f strm ->
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 171, characters 40-51:
- 171 | record_time Parsing (fun () -> r := Stream.peek strm); !r
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 175, characters 16-27:
- 175 | Some a -> Stream.junk strm; ignore(f a); do_rec ()
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- (cd _build/default && /home/opam/.opam/4.14/bin/ocamlopt.opt -w -40 -g -I src/common/.common.objs/byte -I src/common/.common.objs/native -I /home/opam/.opam/4.14/lib/stdlib-shims -I /home/opam/.opam/4.14/lib/timed -I src/lplib/.lplib.objs/byte -I src/lplib/.lplib.objs/native -intf-suffix .ml -no-alias-deps -open Common -o src/common/.common.objs/native/common__Debug.cmx -c -impl src/common/debug.ml)
- File "src/common/debug.ml", line 167, characters 37-45:
- 167 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 167, characters 37-45:
- 167 | let stream_iter : ('a -> unit) -> 'a Stream.t -> unit =
- ^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 168, characters 29-40:
- 168 | if not !do_print_time then Stream.iter else fun f strm ->
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 171, characters 40-51:
- 171 | record_time Parsing (fun () -> r := Stream.peek strm); !r
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
- File "src/common/debug.ml", line 175, characters 16-27:
- 175 | Some a -> Stream.junk strm; ignore(f a); do_rec ()
- ^^^^^^^^^^^
- Alert deprecated: module Stdlib.Stream
- Use the camlp-streams library instead.
-> compiled lambdapi.2.1.0
-> installed lambdapi.2.1.0
Done.
# Run eval $(opam env) to update the current shell environment
2024-06-17 05:08.29 ---> saved as "2790d95a93f6c9a42c77e00bd76ab8974018af63b9f10fdd4cca33f9965287ab"
Job succeeded
Home|Differences with the last checks|Previous runs