Building on x86-bm-15.ocamllabs.io
(from ocurrent/opam:debian-unstable)
2021-05-02 17:19.33 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMDEPEXTYES 1)
/: (env OPAMUTF8 never)
/: (run (network host)
(shell "\
\n set -e\
\n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
\n git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
\n opam remote set-url default git://github.com/ocaml/opam-repository.git\
\n opam pin add -yn /tmp/opam > /dev/null\
\n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
\n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
\n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
\n if ! test -d ~/opam-repository; then\
\n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
\n else\
\n git -C ~/opam-repository pull -q origin master\
\n fi\
\n git -C ~/opam-repository checkout -q '01c350d759f8d4e3202596371818e6d997fa5fe2'\
\n "))
[default] Initialised
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD
The following actions will be performed:
- install ocamlfind 1.9.1
- install seq base [required by re]
- install cmdliner 1.0.4 [required by opam-devel]
- install dune 2.8.5 [required by opam-0install-cudf, opam-devel]
- install ocamlbuild 0.14.0 [required by cudf]
- install base-bytes base [required by extlib]
- install stdlib-shims 0.3.0 [required by ocamlgraph]
- install re 1.9.0 [required by opam-client]
- install opam-file-format 2.1.2 [required by opam-format]
- install cppo 1.6.7 [required by extlib]
- install 0install-solver 2.17 [required by opam-0install-cudf]
- install ocamlgraph 2.0.0 [required by dose3]
- install extlib 1.7.7-1 [required by cudf, opam-client]
- install opam-core 2.1.0~beta4* [required by opam-format]
- install cudf 0.9-1 [required by opam-0install-cudf]
- install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver]
- install opam-0install-cudf 0.4.1
- install mccs 1.1+13 [required by opam-solver]
- install dose3 5.0.1-1 [required by opam-solver]
- install opam-repository 2.1.0~beta4* [required by opam-client]
- install opam-solver 2.1.0~beta4* [required by opam-client]
- install opam-state 2.1.0~beta4* [required by opam-client]
- install opam-client 2.1.0~beta4* [required by opam-devel]
- install opam-devel 2.1.0~beta4*
===== 24 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[dune.2.8.5] downloaded from https://github.com/ocaml/dune/releases/download/2.8.5/dune-2.8.5.tbz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4.1] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.1/opam-0install-cudf-v0.4.1.tbz
[opam-file-format.2.1.2] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.2.tar.gz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.8.5
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.2
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.1
-> installed mccs.1.1+13
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-state.2.1.0~beta4
-> installed opam-solver.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.
<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin
If you just want to give it a try without altering your current installation, you could use instead:
alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
2021-05-02 17:19.33 ---> using "e3e694f2e2acefbb1c736074593e4ed9519fa28bcacb04ce221113caf7c619d7" from cache
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (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:
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
~/.profile is already up-to-date.
2021-05-02 17:19.33 ---> using "994210567fc74f2e4ea2666c54af8efeef1124fd1b8a409e7a42a3900b5b0e3d" from cache
/: (run (network host)
(shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-05-02 17:19.33 ---> using "73d057d9a75d3fb712189b77476927d054d7247f8421955cb72dfcb0294b320e" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-05-02 17:19.33 ---> using "883cc12f2fd777afc528f51cf9b7c4e073248e757811f4b918a5f77d53bb7199" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.08.1"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.08.1"} | "ocaml-system" {= "4.08.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.08.1 (cached)
-> installed ocaml-base-compiler.4.08.1
-> installed ocaml-config.1
-> installed ocaml.4.08.1
Done.
# Run eval $(opam env --switch=4.08.1) to update the current shell environment
2021-05-02 17:19.33 ---> using "85e8469603c96bfab046f3d503a26ba1d34b2729575785cd123d9fbf24156719" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [157 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8626 kB]
- Fetched 8847 kB in 2s (3803 kB/s)
- Reading package lists...
-
2021-05-02 17:19.33 ---> using "80add9045ca2be155c94c0dc498b57bcbb8b5597448a79eba464c92d6448d8af" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam install -vy \"atd.2.2.1\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"atd.2.2.1\" | 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"))
The following actions will be performed:
- install seq base [required by re]
- install dune 2.8.5 [required by atd]
- install re 1.9.0 [required by atd]
- install menhirSdk 20210419 [required by menhir]
- install menhirLib 20210419 [required by menhir]
- install easy-format 1.3.2 [required by atd]
- install menhir 20210419 [required by atd]
- install atd 2.2.1
===== 8 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/24:
Processing 2/24:
Processing 3/24:
-> retrieved easy-format.1.3.2 (cached)
Processing 4/24:
-> retrieved menhir.20210419 (cached)
Processing 5/24:
-> retrieved menhirLib.20210419 (cached)
Processing 6/24:
-> retrieved atd.2.2.1 (cached)
Processing 7/24:
-> retrieved dune.2.8.5 (cached)
Processing 8/24:
Processing 9/24: [dune: ocaml bootstrap.ml]
Processing 10/24: [dune: ocaml bootstrap.ml]
-> installed seq.base
Processing 11/24: [dune: ocaml bootstrap.ml]
-> retrieved menhirSdk.20210419 (cached)
-> retrieved re.1.9.0 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/dune.2.8.5)
- ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 31
-
Processing 11/24: [dune: ./dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./dune.exe" "build" "-p" "dune" "--profile" "dune-bootstrap" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/dune.2.8.5)
-> compiled dune.2.8.5
-> installed dune.2.8.5
Processing 13/24: [easy-format: dune build]
Processing 14/24: [easy-format: dune build] [menhirLib: dune build]
Processing 15/24: [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build]
Processing 16/24: [easy-format: dune build] [menhirLib: dune build] [menhirSdk: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "easy-format" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/easy-format.1.3.2)
- ocamlc src/.easy_format.objs/byte/easy_format.{cmo,cmt}
- File "src/easy_format.ml", line 203, characters 16-46:
- 203 | let tagf0 = pp_get_formatter_tag_functions fmt () in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 232, characters 4-34:
- 232 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 264, characters 9-39:
- 264 | (pp_get_formatter_tag_functions fmt ()) with
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 269, characters 6-36:
- 269 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 322, characters 16-27:
- 322 | | Some s -> pp_open_tag fmt s
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 326, characters 16-28:
- 326 | | Some _ -> pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- File "src/easy_format.ml", line 332, characters 10-21:
- 332 | pp_open_tag fmt tag;
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 334, characters 10-22:
- 334 | pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- ocamlopt src/.easy_format.objs/native/easy_format.{cmx,o}
- File "src/easy_format.ml", line 203, characters 16-46:
- 203 | let tagf0 = pp_get_formatter_tag_functions fmt () in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 232, characters 4-34:
- 232 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 264, characters 9-39:
- 264 | (pp_get_formatter_tag_functions fmt ()) with
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 269, characters 6-36:
- 269 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 322, characters 16-27:
- 322 | | Some s -> pp_open_tag fmt s
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 326, characters 16-28:
- 326 | | Some _ -> pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- File "src/easy_format.ml", line 332, characters 10-21:
- 332 | pp_open_tag fmt tag;
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 334, characters 10-22:
- 334 | pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- ocamlc src/.easy_format.objs/byte/easy_format.{cmo,cmt}
- File "src/easy_format.ml", line 203, characters 16-46:
- 203 | let tagf0 = pp_get_formatter_tag_functions fmt () in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 232, characters 4-34:
- 232 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 264, characters 9-39:
- 264 | (pp_get_formatter_tag_functions fmt ()) with
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 269, characters 6-36:
- 269 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 322, characters 16-27:
- 322 | | Some s -> pp_open_tag fmt s
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 326, characters 16-28:
- 326 | | Some _ -> pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- File "src/easy_format.ml", line 332, characters 10-21:
- 332 | pp_open_tag fmt tag;
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 334, characters 10-22:
- 334 | pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- ocamlopt src/.easy_format.objs/native/easy_format.{cmx,o}
- File "src/easy_format.ml", line 203, characters 16-46:
- 203 | let tagf0 = pp_get_formatter_tag_functions fmt () in
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 232, characters 4-34:
- 232 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 264, characters 9-39:
- 264 | (pp_get_formatter_tag_functions fmt ()) with
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_get_formatter_tag_functions
- Use Format.pp_get_formatter_stag_functions.
- File "src/easy_format.ml", line 269, characters 6-36:
- 269 | pp_set_formatter_tag_functions fmt tagf
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_set_formatter_tag_functions
- This function will erase non-string tag formatting functions. Use Format.pp_set_formatter_stag_functions.
- File "src/easy_format.ml", line 322, characters 16-27:
- 322 | | Some s -> pp_open_tag fmt s
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 326, characters 16-28:
- 326 | | Some _ -> pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
- File "src/easy_format.ml", line 332, characters 10-21:
- 332 | pp_open_tag fmt tag;
- ^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_open_tag
- Use Format.pp_open_stag.
- File "src/easy_format.ml", line 334, characters 10-22:
- 334 | pp_close_tag fmt ()
- ^^^^^^^^^^^^
- Alert deprecated: Stdlib.Format.pp_close_tag
- Use Format.pp_close_stag.
-> compiled easy-format.1.3.2
Processing 16/24: [menhirLib: dune build] [menhirSdk: dune build] [re: dune build]
-> installed easy-format.1.3.2
Processing 17/24: [menhirLib: dune build] [menhirSdk: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/menhirSdk.20210419)
-> compiled menhirSdk.20210419
Processing 17/24: [menhirLib: dune build] [re: dune build]
-> installed menhirSdk.20210419
Processing 18/24: [menhirLib: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/menhirLib.20210419)
- pack lib/pack/menhirLib.{ml,mli}
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- pack lib/pack/menhirLib.{ml,mli}
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20210419
Processing 18/24: [re: dune build]
-> installed menhirLib.20210419
Processing 19/24: [re: dune build]
Processing 20/24: [menhir: dune build] [re: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "re" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/re.1.9.0)
-> compiled re.1.9.0
Processing 20/24: [menhir: dune build]
-> installed re.1.9.0
Processing 21/24: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "31" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/menhir.20210419)
- menhir src/stage2/parserMessages.check
- Read 101 sample input sentences and 101 error messages.
- Read 101 sample input sentences and 48 error messages.
- menhir src/stage2/parserMessages.ml
- Read 101 sample input sentences and 48 error messages.
- menhir src/stage2/parser.{ml,mli}
- Grammar has 56 nonterminal symbols, among which 1 start symbols.
- Grammar has 37 terminal symbols.
- Grammar has 129 productions.
- Built an LR(0) automaton with 194 states.
- The grammar is not SLR(1) -- 5 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 298 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 40 states.
- Priority played a role in 0 of these states.
- 152 out of 298 states have a default reduction.
- 102 out of 298 states are represented.
- 44 out of 96 symbols keep track of their start position.
- 48 out of 96 symbols keep track of their end position.
- The action table is 11324 entries; 1610 non-zero; 1359 compressed.
- The action table occupies roughly 2816 bytes.
- The goto table is 16986 entries; 329 non-zero; 636 compressed.
- The goto table occupies roughly 1368 bytes.
- The error table occupies roughly 1448 bytes.
- The default_reduction table occupies roughly 336 bytes.
- The lhs table occupies roughly 168 bytes.
- The trace table occupies roughly 8 bytes.
-> compiled menhir.20210419
-> installed menhir.20210419
Processing 23/24: [atd: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "atd" "-j" "31" "@install" (CWD=/home/opam/.opam/4.08.1/.opam-switch/build/atd.2.2.1)
-> compiled atd.2.2.1
-> installed atd.2.2.1
Done.
# Run eval $(opam env) to update the current shell environment
2021-05-02 17:21.16 ---> saved as "6d75b791c7cf0c86e44a0ac7ee830a0623d3bb9c8d6eb21c330da00e0343511a"
Job succeeded
Home|Differences with the last checks|Previous runs