Building on x86-bm-7.ocamllabs.io
(from ocurrent/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
2021-07-05 08:08.25 ---> 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 '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\
\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.9.0 [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.3 [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.2
- 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 ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.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.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.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.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz
[opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.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.9.0
-> installed stdlib-shims.0.3.0
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed opam-file-format.2.1.3
-> 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.2
-> 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-solver.2.1.0~beta4
-> installed opam-state.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-07-05 08:08.25 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" 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:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2021-07-05 08:08.25 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" 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-07-05 08:08.25 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-07-05 08:08.25 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.13.0+trunk"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-variants" {= "4.13.0+trunk"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-variants.4.13.0+trunk (https://github.com/ocaml/ocaml/archive/4.13.tar.gz)
-> installed ocaml-variants.4.13.0+trunk
-> installed ocaml-config.2
-> installed ocaml.4.13.0
Done.
# Run eval $(opam env --switch=4.13.0+trunk) to update the current shell environment
2021-07-05 08:08.25 ---> using "fb997f888fe949f951315626b9b99953f30da0e1ee5f3958816c999a85f28f8c" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 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 [8640 kB]
- Fetched 8865 kB in 2s (5342 kB/s)
- Reading package lists...
-
2021-07-05 08:08.25 ---> using "9aeebbbc20e6e9e4a2bbbfab3b9ebc9898081e708ec802b0eae25d96174a2cc8" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"zelus.2.2\"\
\nopam install -vy \"zelus.2.2\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"zelus.2.2\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] zelus.2.2 is not installed.
Nothing to do.
The following actions will be performed:
- install dune 2.9.0 [required by zelus]
- install menhirSdk 20210419 [required by menhir]
- install menhirLib 20210419 [required by menhir]
- install menhir 20210419 [required by zelus]
- install zelus 2.2
===== 5 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/15:
Processing 2/15:
Processing 3/15:
-> retrieved menhir.20210419 (cached)
Processing 4/15:
-> retrieved menhirLib.20210419 (cached)
Processing 5/15:
-> retrieved menhirSdk.20210419 (cached)
-> retrieved dune.2.9.0 (cached)
Processing 6/15: [dune: ocaml bootstrap.ml]
-> retrieved zelus.2.2 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/dune.2.9.0)
- File "./bootstrap.ml", line 46, characters 17-27:
- 46 | && String.sub fn 0 (String.length duneboot) = duneboot
- ^^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- File "./bootstrap.ml", line 103, characters 28-37:
- 103 | let args = Array.to_list (Array.sub Sys.argv 1 (Array.length Sys.argv - 1)) in
- ^^^^^^^^^
- Warning 6 [labels-omitted]: labels pos, len were omitted in the application of this function.
- 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.13.0+trunk/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_base.ml
- File "vendor/cmdliner/src/cmdliner_base.ml", line 158, characters 14-27:
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- cd _boot && /home/opam/.opam/4.13.0+trunk/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_docgen.ml
- File "vendor/cmdliner/src/cmdliner_docgen.ml", line 278, characters 23-39:
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "vendor/cmdliner/src/cmdliner_docgen.ml", line 293, characters 22-56:
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "vendor/cmdliner/src/cmdliner_docgen.ml", line 294, characters 35-51:
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- File "vendor/cmdliner/src/cmdliner_docgen.ml", line 295, characters 36-52:
- Warning 6 [labels-omitted]: label sec was omitted in the application of this function.
- cd _boot && /home/opam/.opam/4.13.0+trunk/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_cline.ml
- File "vendor/cmdliner/src/cmdliner_cline.ml", line 128, characters 20-47:
- Warning 6 [labels-omitted]: labels kind, ambs were omitted in the application of this function.
- cd _boot && /home/opam/.opam/4.13.0+trunk/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner_arg.ml
- File "vendor/cmdliner/src/cmdliner_arg.ml", line 193, characters 24-50:
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "vendor/cmdliner/src/cmdliner_arg.ml", line 243, characters 24-50:
- Warning 6 [labels-omitted]: label err was omitted in the application of this function.
- File "vendor/cmdliner/src/cmdliner_arg.ml", line 260, characters 10-36:
- Warning 6 [labels-omitted]: label pos was omitted in the application of this function.
- cd _boot && /home/opam/.opam/4.13.0+trunk/bin/ocamlopt.opt -c -g -no-alias-deps -w -49 -I +threads cmdliner.ml
- File "vendor/cmdliner/src/cmdliner.ml", line 195, characters 25-47:
- Warning 6 [labels-omitted]: label errs was omitted in the application of this function.
-
Processing 6/15: [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.13.0+trunk/.opam-switch/build/dune.2.9.0)
-> compiled dune.2.9.0
-> installed dune.2.9.0
Processing 8/15: [menhirLib: dune build]
Processing 9/15: [menhirLib: dune build] [menhirSdk: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirSdk" "-j" "31" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/menhirSdk.20210419)
-> compiled menhirSdk.20210419
Processing 9/15: [menhirLib: dune build]
-> installed menhirSdk.20210419
Processing 10/15: [menhirLib: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhirLib" "-j" "31" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/menhirLib.20210419)
- pack lib/pack/menhirLib.{ml,mli}
- Creating menhirLib.ml...
- Creating menhirLib.mli...
-> compiled menhirLib.20210419
-> installed menhirLib.20210419
Processing 12/15: [menhir: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "menhir" "-j" "31" (CWD=/home/opam/.opam/4.13.0+trunk/.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 14/15: [zelus: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix" "/home/opam/.opam/4.13.0+trunk" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/zelus.2.2)
Processing 14/15: [zelus: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "zelus" "-j" "31" "@install" (CWD=/home/opam/.opam/4.13.0+trunk/.opam-switch/build/zelus.2.2)
- ocamlc compiler/.zlcompilerlibs.objs/byte/match2condition.{cmi,cmo,cmt}
- File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19:
- 137 | ..match desc with
- 138 | | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e
- 139 | | Eapp(app, e_arg, e_list) ->
- 140 | { e with e_desc = Eapp(app, expression e_arg,
- 141 | List.map expression e_list) }
- ...
- 150 | | Etuple(e_list) ->
- 151 | { e with e_desc = Etuple(List.map expression e_list) }
- 152 | | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _
- 153 | -> assert false
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- ocamlc compiler/.zlcompilerlibs.objs/byte/zlus2lmm.{cmi,cmo,cmt}
- File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53:
- 189 | ..match desc with
- 190 | | Elocal(id) -> Llocal(id)
- 191 | | Eglobal { lname = lid } -> Lglobal(lid)
- 192 | | Econst(im) -> Lconst(immediate im)
- 193 | | Econstr0(lid) -> Lconstr0(lid)
- ...
- 206 | | Etypeconstraint(e, _) -> expression ck e
- 207 | | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list)
- 208 | | Ematch _ | Eseq _ | Elet _
- 209 | | Eperiod _ | Eblock _ | Epresent _ -> assert false
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71:
- 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- P
- ocamlopt compiler/.zlcompilerlibs.objs/native/match2condition.{cmx,o}
- File "compiler/verif/match2condition.ml", lines 137-153, characters 2-19:
- 137 | ..match desc with
- 138 | | Elocal _ | Eglobal _ | Econst _ | Econstr0 _ | Elast _ -> e
- 139 | | Eapp(app, e_arg, e_list) ->
- 140 | { e with e_desc = Eapp(app, expression e_arg,
- 141 | List.map expression e_list) }
- ...
- 150 | | Etuple(e_list) ->
- 151 | { e with e_desc = Etuple(List.map expression e_list) }
- 152 | | Econstr1 _ | Ematch _ | Eseq _ | Elet _ | Eperiod _ | Eblock _ | Epresent _
- 153 | -> assert false
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- ocamlopt compiler/.zlcompilerlibs.objs/native/zlus2lmm.{cmx,o}
- File "compiler/verif/zlus2lmm.ml", lines 189-209, characters 2-53:
- 189 | ..match desc with
- 190 | | Elocal(id) -> Llocal(id)
- 191 | | Eglobal { lname = lid } -> Lglobal(lid)
- 192 | | Econst(im) -> Lconst(immediate im)
- 193 | | Econstr0(lid) -> Lconstr0(lid)
- ...
- 206 | | Etypeconstraint(e, _) -> expression ck e
- 207 | | Etuple(e_list) -> Ltuple(List.map (expression ck) e_list)
- 208 | | Ematch _ | Eseq _ | Elet _
- 209 | | Eperiod _ | Eblock _ | Epresent _ -> assert false
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Erecord_with (_, _)
- File "compiler/verif/zlus2lmm.ml", line 298, characters 11-71:
- 298 | let kind = function | S | AS | A | AD -> A | D -> D | C -> assert false
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- P
- ocamlc lib/std/.zlstdlib.objs/byte/dump.{cmi,cmo,cmt}
- File "lib/std/dump.ml", line 296, characters 11-16:
- 296 | let (x_469:unit) =
- ^^^^^
- Warning 26 [unused-var]: unused variable x_469.
- ocamlopt lib/std/.zlstdlib.objs/native/dump.{cmx,o}
- File "lib/std/dump.ml", line 296, characters 11-16:
- 296 | let (x_469:unit) =
- ^^^^^
- Warning 26 [unused-var]: unused variable x_469.
-> compiled zelus.2.2
-> installed zelus.2.2
Done.
# Run eval $(opam env) to update the current shell environment
2021-07-05 08:09.20 ---> saved as "c4ccdeb84ef983bcf7c8f9675495c6ec02d39b2d6664a8e3aee46d277a92cc4e"
Job succeeded
Home|Differences with the last checks|Previous runs