Start of evaluation.
| view log » | |
| install-ocaml-deps | view log » |
| build | view log » |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 |
[#1307243] 2024/08/19 18:41:55 Booting image alpine/edge (x86_64) on port 22811 [#1307243] 2024/08/19 18:41:55 Waiting for guest to settle [#1307243] 2024/08/19 18:42:04 Sending tasks [#1307243] 2024/08/19 18:42:05 Sending build environment [#1307243] 2024/08/19 18:42:05 Installing packages Warning: Permanently added '[localhost]:22811' (ED25519) to the list of known hosts. fetch http://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz fetch http://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz fetch http://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz (1/1) Upgrading binutils (2.43-r0 -> 2.43.1-r0) Executing busybox-1.36.1-r31.trigger OK: 489 MiB in 139 packages Warning: Permanently added '[localhost]:22811' (ED25519) to the list of known hosts. (1/21) Installing dune (3.16.0-r0) (2/21) Installing libgmpxx (6.3.0-r1) (3/21) Installing gmp-dev (6.3.0-r1) (4/21) Installing ocaml-runtime (4.14.2-r1) (5/21) Installing ocaml (4.14.2-r1) (6/21) Installing perl (5.40.0-r1) (7/21) Installing perl-error (0.17029-r2) (8/21) Installing perl-git (2.46.0-r0) (9/21) Installing git-perl (2.46.0-r0) (10/21) Installing rpm-scripts (4.19.1.1-r1) (11/21) Installing ocaml-abuild-helper (4.14.2-r1) (12/21) Installing ocaml-compiler-libs (4.14.2-r1) (13/21) Installing unzip (6.0-r15) (14/21) Installing coreutils-env (9.5-r1) (15/21) Installing coreutils-fmt (9.5-r1) (16/21) Installing coreutils-sha512sum (9.5-r1) (17/21) Installing skalibs (2.14.2.0-r0) (18/21) Installing utmps-libs (0.1.2.2-r1) (19/21) Installing coreutils (9.5-r1) (20/21) Installing bubblewrap (0.10.0-r0) (21/21) Installing opam (2.2.0-r0) Executing busybox-1.36.1-r31.trigger OK: 771 MiB in 160 packages [#1307243] 2024/08/19 18:42:08 Cloning repositories Cloning into 'sylvan'... + cd sylvan + git checkout -q d30a4e7a17f61fc6605f44abf3af62c39666886f + cd sylvan + git submodule update --init --recursive [#1307243] 2024/08/19 18:42:10 Running task install-ocaml-deps [#1307243] 2024/08/19 18:45:36 Running task build [#1307243] 2024/08/19 18:45:40 Build failed. [#1307243] 2024/08/19 18:45:40 The build environment will be kept alive for 10 minutes. [#1307243] 2024/08/19 18:45:40 To log in with SSH and examine it, use the following command: [#1307243] 2024/08/19 18:45:40 [#1307243] 2024/08/19 18:45:40 ssh -t builds@fra01.builds.sr.ht connect 1307243 [#1307243] 2024/08/19 18:45:40 [#1307243] 2024/08/19 18:45:40 After logging in, the deadline is increased to your remaining build time. [#1307243] 2024/08/19 18:55:40 Deadline elapsed. Terminating build environment. [#1307243] 2024/08/19 18:55:40 Error: Running task on guest: exit status 1 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 |
+ opam init --yes
No configuration file found, using built-in defaults.
Checking for available remotes: git, mercurial.
- you won't be able to use rsync and local repositories unless you install the rsync 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
<><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><><><>
In normal operation, opam only alters files within ~/.opam.
However, to best integrate with your system, some environment variables
should be set. If you allow it to, this initialisation step will update
your bash configuration by adding the following line to ~/.bash_profile:
test -r '/home/build/.opam/opam-init/init.sh' && . '/home/build/.opam/opam-init/init.sh' > /dev/null 2> /dev/null || true
Otherwise, every time you want to access your opam installation, you will
need to run:
eval $(opam env)
You can always re-run this setup with 'opam init' later.
[WARNING] Shell not updated in non-interactive mode: use --shell-setup
<><> Creating initial switch 'default' (invariant ["ocaml" {>= "4.05.0"}] - initially with ocaml-system)
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml" {>= "4.05.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> retrieved ocaml-system.4.14.2 (https://opam.ocaml.org/cache)
-> installed ocaml-system.4.14.2
-> retrieved ocaml-config.2 (2 extra sources)
-> retrieved ocaml-config.2 (2 extra sources)
-> installed ocaml-config.2
-> installed ocaml.4.14.2
Done.
# Run eval $(opam env --switch=default) to update the current shell environment
++ opam env
+ eval 'OPAM_LAST_ENV='\''/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0'\'';' export 'OPAM_LAST_ENV;' 'OPAM_SWITCH_PREFIX='\''/home/build/.opam/default'\'';' export 'OPAM_SWITCH_PREFIX;' 'CAML_LD_LIBRARY_PATH='\''/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml'\'';' export 'CAML_LD_LIBRARY_PATH;' 'OCAML_TOPLEVEL_PATH='\''/home/build/.opam/default/lib/toplevel'\'';' export 'OCAML_TOPLEVEL_PATH;' 'MANPATH='\'':/home/build/.opam/default/man'\'';' export 'MANPATH;' 'PATH='\''/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'\'';' export 'PATH;'
++ OPAM_LAST_ENV=/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0
++ export OPAM_LAST_ENV
++ OPAM_SWITCH_PREFIX=/home/build/.opam/default
++ export OPAM_SWITCH_PREFIX
++ CAML_LD_LIBRARY_PATH=/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml
++ export CAML_LD_LIBRARY_PATH
++ OCAML_TOPLEVEL_PATH=/home/build/.opam/default/lib/toplevel
++ export OCAML_TOPLEVEL_PATH
++ MANPATH=:/home/build/.opam/default/man
++ export MANPATH
++ PATH=/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
++ export PATH
+ cd sylvan/bs
+ opam install --deps-only --yes .
The following actions will be performed:
=== install 43 packages
- install base v0.16.3 [required by ppx_expect]
- install conf-bash 1 [required by base]
- install conf-gmp 4 [required by zarith]
- install conf-pkg-config 3 [required by zarith]
- install cppo 1.6.9 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.16.0 [required by sylvan_stage0, sylvan_stage0_parser]
- install dune-configurator 3.16.0 [required by base]
- install gen 1.1 [required by sedlex]
- install jane-street-headers v0.16.0 [required by time_now]
- install jst-config v0.16.0 [required by time_now]
- install menhir 20240715 [required by sylvan_stage0_parser]
- install menhirCST 20240715 [required by menhir]
- install menhirLib 20240715 [required by menhir]
- install menhirSdk 20240715 [required by menhir]
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlbuild 0.15.0 [required by uucp]
- install ocamlfind 1.9.6 [required by uucp, ppx_deriving, zarith]
- install ppx_assert v0.16.0 [required by jst-config]
- install ppx_base v0.16.0 [required by time_now]
- install ppx_cold v0.16.0 [required by ppx_base]
- install ppx_compare v0.16.0 [required by ppx_base]
- install ppx_derivers 1.2.1 [required by ppx_deriving]
- install ppx_deriving 6.0.2 [required by sylvan_stage0, sylvan_stage0_parser]
- install ppx_enumerate v0.16.0 [required by ppx_base]
- install ppx_expect v0.16.0 [required by sylvan_stage0, sylvan_stage0_parser]
- install ppx_globalize v0.16.0 [required by ppx_base]
- install ppx_hash v0.16.0 [required by ppx_base]
- install ppx_here v0.16.0 [required by ppx_expect]
- install ppx_inline_test v0.16.1 [required by ppx_expect]
- install ppx_optcomp v0.16.0 [required by time_now]
- install ppx_sexp_conv v0.16.0 [required by ppx_base]
- install ppxlib 0.33.0 [required by ppx_expect, ppx_deriving, sedlex]
- install re 1.11.0 [required by ppx_expect]
- install sedlex 3.2 [required by sylvan_stage0_parser]
- install seq base [required by re, gen]
- install sexplib0 v0.16.0 [required by ppxlib, base]
- install stdio v0.16.0 [required by ppx_expect]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install time_now v0.16.0 [required by ppx_inline_test]
- install topkg 1.0.7 [required by uucp]
- install uucp 15.1.0 [required by sylvan_stage0]
- install zarith 1.14 [required by sylvan_stage0_parser]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed conf-bash.1
-> installed conf-pkg-config.3
-> retrieved cppo.1.6.9 (https://opam.ocaml.org/cache)
-> retrieved conf-gmp.4 (https://opam.ocaml.org/cache)
-> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache)
-> installed conf-gmp.4
-> retrieved base.v0.16.3 (https://opam.ocaml.org/cache)
-> retrieved gen.1.1 (https://opam.ocaml.org/cache)
-> retrieved jane-street-headers.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved jst-config.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-compiler-libs.v0.12.4 (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.15.0 (https://opam.ocaml.org/cache)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (https://opam.ocaml.org/cache)
-> retrieved dune.3.16.0, dune-configurator.3.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_assert.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_cold.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.6 (https://opam.ocaml.org/cache)
-> retrieved ppx_base.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_compare.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_derivers.1.2.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_deriving.6.0.2 (https://opam.ocaml.org/cache)
-> retrieved ppx_enumerate.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_expect.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_globalize.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_here.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_hash.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_inline_test.v0.16.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_optcomp.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_sexp_conv.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved re.1.11.0 (https://opam.ocaml.org/cache)
-> retrieved sedlex.3.2 (https://opam.ocaml.org/cache)
-> retrieved ppxlib.0.33.0 (https://opam.ocaml.org/cache)
-> retrieved sexplib0.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved seq.base (2 extra sources)
-> retrieved seq.base (2 extra sources)
-> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved stdio.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved time_now.v0.16.0 (https://opam.ocaml.org/cache)
-> retrieved topkg.1.0.7 (https://opam.ocaml.org/cache)
-> retrieved zarith.1.14 (https://opam.ocaml.org/cache)
-> retrieved uucp.15.1.0 (https://opam.ocaml.org/cache)
-> installed ocamlbuild.0.15.0
-> installed dune.3.16.0
-> installed ocamlfind.1.9.6
-> installed cppo.1.6.9
-> installed csexp.1.5.2
-> installed jane-street-headers.v0.16.0
-> installed dune-configurator.3.16.0
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed ocaml-compiler-libs.v0.12.4
-> installed menhir.20240715
-> installed ppx_derivers.1.2.1
-> installed seq.base
-> installed sexplib0.v0.16.0
-> installed gen.1.1
-> installed base.v0.16.3
-> installed re.1.11.0
-> installed stdio.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed topkg.1.0.7
-> installed ppxlib.0.33.0
-> installed uucp.15.1.0
-> installed ppx_cold.v0.16.0
-> installed ppx_compare.v0.16.0
-> installed ppx_deriving.6.0.2
-> installed ppx_enumerate.v0.16.0
-> installed ppx_globalize.v0.16.0
-> installed ppx_here.v0.16.0
-> installed ppx_optcomp.v0.16.0
-> installed ppx_sexp_conv.v0.16.0
-> installed sedlex.3.2
-> installed ppx_assert.v0.16.0
-> installed ppx_hash.v0.16.0
-> installed jst-config.v0.16.0
-> installed ppx_base.v0.16.0
-> installed zarith.1.14
-> installed time_now.v0.16.0
-> installed ppx_inline_test.v0.16.1
-> installed ppx_expect.v0.16.0
Done.
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 |
++ opam env
+ eval 'OPAM_LAST_ENV='\''/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0'\'';' export 'OPAM_LAST_ENV;' 'OPAM_SWITCH_PREFIX='\''/home/build/.opam/default'\'';' export 'OPAM_SWITCH_PREFIX;' 'CAML_LD_LIBRARY_PATH='\''/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml'\'';' export 'CAML_LD_LIBRARY_PATH;' 'OCAML_TOPLEVEL_PATH='\''/home/build/.opam/default/lib/toplevel'\'';' export 'OCAML_TOPLEVEL_PATH;' 'MANPATH='\'':/home/build/.opam/default/man'\'';' export 'MANPATH;' 'PATH='\''/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'\'';' export 'PATH;'
++ OPAM_LAST_ENV=/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0
++ export OPAM_LAST_ENV
++ OPAM_SWITCH_PREFIX=/home/build/.opam/default
++ export OPAM_SWITCH_PREFIX
++ CAML_LD_LIBRARY_PATH=/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml
++ export CAML_LD_LIBRARY_PATH
++ OCAML_TOPLEVEL_PATH=/home/build/.opam/default/lib/toplevel
++ export OCAML_TOPLEVEL_PATH
++ MANPATH=:/home/build/.opam/default/man
++ export MANPATH
++ PATH=/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
++ export PATH
+ cd sylvan
+ bash misc/scripts/bootstrap.sh
+ test '!' -d build
+ mkdir build
+ bash misc/scripts/build-stage0.sh
+ test '!' -d /home/build/sylvan/build
+ rm -r /home/build/sylvan/build
+ mkdir /home/build/sylvan/build
+ cd /home/build/sylvan/bs
+ dune build bin/main.exe
File "parser/parser.mly", line 18, characters 7-12:
Warning: the token Annot is unused.
File "parser/parser.mly", line 20, characters 7-13:
Warning: the token Aspect is unused.
File "parser/parser.mly", line 93, characters 7-24:
Warning: the token BlockCommentClose is unused.
File "parser/parser.mly", line 26, characters 7-10:
Warning: the token Inh is unused.
File "parser/parser.mly", line 32, characters 7-9:
Warning: the token On is unused.
File "parser/parser.mly", line 38, characters 7-10:
Warning: the token Syn is unused.
File "parser/parser.mly", line 42, characters 7-14:
Warning: the token Without is unused.
File "lib/util.ml", line 18, characters 10-31:
18 | include Hashtbl.Make (String)
^^^^^^^^^^^^^^^^^^^^^
Error: Modules do not match:
sig
type t = string
val make : int -> char -> t
val init : int -> (int -> char) -> t
val empty : t
val of_bytes : bytes -> t
val to_bytes : t -> bytes
external length : t -> int = "%string_length"
external get : t -> int -> char = "%string_safe_get"
val concat : t -> t list -> t
val cat : t -> t -> t
val equal : t -> t -> bool
val compare : t -> t -> int
val starts_with : prefix:t -> t -> bool
val ends_with : suffix:t -> t -> bool
val contains_from : t -> int -> char -> bool
val rcontains_from : t -> int -> char -> bool
val contains : t -> char -> bool
val sub : t -> int -> int -> t
val split_on_char : char -> t -> t list
val map : (char -> char) -> t -> t
val mapi : (int -> char -> char) -> t -> t
val fold_left : ('a -> char -> 'a) -> 'a -> t -> 'a
val fold_right : (char -> 'a -> 'a) -> t -> 'a -> 'a
val for_all : (char -> bool) -> t -> bool
val exists : (char -> bool) -> t -> bool
val trim : t -> t
val escaped : t -> t
val uppercase_ascii : t -> t
val lowercase_ascii : t -> t
val capitalize_ascii : t -> t
val uncapitalize_ascii : t -> t
val iter : (char -> unit) -> t -> unit
val iteri : (int -> char -> unit) -> t -> unit
val index_from : t -> int -> char -> int
val index_from_opt : t -> int -> char -> int option
val rindex_from : t -> int -> char -> int
val rindex_from_opt : t -> int -> char -> int option
val index : t -> char -> int
val index_opt : t -> char -> int option
val rindex : t -> char -> int
val rindex_opt : t -> char -> int option
val to_seq : t -> char Seq.t
val to_seqi : t -> (int * char) Seq.t
val of_seq : char Seq.t -> t
val get_utf_8_uchar : t -> int -> Uchar.utf_decode
val is_valid_utf_8 : t -> bool
val get_utf_16be_uchar : t -> int -> Uchar.utf_decode
val is_valid_utf_16be : t -> bool
val get_utf_16le_uchar : t -> int -> Uchar.utf_decode
val is_valid_utf_16le : t -> bool
external create : int -> bytes = "caml_create_string"
external set : bytes -> int -> char -> unit = "%string_safe_set"
val blit : t -> int -> bytes -> int -> int -> unit
val copy : t -> t
val fill : bytes -> int -> int -> char -> unit
val uppercase : t -> t
val lowercase : t -> t
val capitalize : t -> t
val uncapitalize : t -> t
val get_uint8 : t -> int -> int
val get_int8 : t -> int -> int
val get_uint16_ne : t -> int -> int
val get_uint16_be : t -> int -> int
val get_uint16_le : t -> int -> int
val get_int16_ne : t -> int -> int
val get_int16_be : t -> int -> int
val get_int16_le : t -> int -> int
val get_int32_ne : t -> int -> int32
val get_int32_be : t -> int -> int32
val get_int32_le : t -> int -> int32
val get_int64_ne : t -> int -> int64
val get_int64_be : t -> int -> int64
val get_int64_le : t -> int -> int64
external unsafe_get : t -> int -> char = "%string_unsafe_get"
external unsafe_set : bytes -> int -> char -> unit
= "%string_unsafe_set"
external unsafe_blit : t -> int -> bytes -> int -> int -> unit
= "caml_blit_string" [@@noalloc]
external unsafe_fill : bytes -> int -> int -> char -> unit
= "caml_fill_string" [@@noalloc]
end
is not included in Hashtbl.HashedType
The value `hash' is required but not provided
File "hashtbl.mli", line 316, characters 4-23: Expected declaration
File "lib/tyck_solve.ml", line 2215, characters 16-29:
2215 | else if List.is_empty residuals then subst
^^^^^^^^^^^^^
Error: Unbound value List.is_empty
File "lib/tyck_kindck.ml", line 672, characters 18-33:
672 | ( AtomMap.of_list [ (repr_name, `Builtin Ast.RuntimeRepr) ],
^^^^^^^^^^^^^^^
Error: Unbound value AtomMap.of_list
|