Building on x86-bm-7.ocamllabs.io (from ocaml/opam:debian-unstable) WARNING: Error loading config file: .dockercfg: $HOME is not defined Unable to find image 'ocaml/opam:debian-unstable' locally debian-unstable: Pulling from ocaml/opam Digest: sha256:a32e554d37007cabaf12da2261dad1c6890fb793357d4499f39865f3c85d81ab Status: Downloaded newer image for ocaml/opam:debian-unstable 2021-12-03 10:12.22 ---> 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-2.1 /usr/bin/opam")) 2021-12-03 10:12.22 ---> using "4d29eb3e0b7cd69a97ed90837671d5ca38aa41e2fb94346298af500378eca6fa" 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 b1ed080260d9fb3332ffd1ed74a70b40f8d46d66")) 2021-12-03 10:12.22 ---> using "470a5139cd314c308ef6f8a7115ce3eecbef27ce3b36ad57c590d49c448a8f62" 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. 2021-12-03 10:12.22 ---> using "6ff696b0fce120bd80d73dc055775d9b6cd971171da508a2aeef8fc7d75ea210" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam switch create --repositories=default '4.09' '4.09.1'")) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml-base-compiler" {= "4.09.1"} | "ocaml-system" {= "4.09.1"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> retrieved ocaml-base-compiler.4.09.1 (cached) -> installed ocaml-base-compiler.4.09.1 -> installed ocaml-config.1 -> installed ocaml.4.09.1 Done. # Run eval $(opam env --switch=4.09) to update the current shell environment 2021-12-03 10:12.22 ---> using "0e38fe413b54c61efc89a327e12fe3900a62f3b6cb3cd04c0c479a041012ee9a" from cache /: (run (network host) (shell "opam update --depexts")) + /usr/bin/sudo "apt-get" "update" - Get:1 http://deb.debian.org/debian unstable InRelease [165 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 [8877 kB] - Fetched 9106 kB in 2s (5270 kB/s) - Reading package lists... - 2021-12-03 10:12.22 ---> using "52f2d4f15b9d78ee09b71f4309e713a547edef1ddf1f05123778836008ea41c8" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "\ \nopam remove -y \"hacl_x25519.0.2.2\"\ \nopam install -vy \"hacl_x25519.0.2.2\"\ \nres=$?\ \nif [ $res = 31 ]; then\ \n if opam show -f x-ci-accept-failures: \"hacl_x25519.0.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] hacl_x25519.0.2.2 is not installed. Nothing to do. The following actions will be performed: - install conf-pkg-config 2 [required by hacl_x25519] - install dune 2.9.1 [required by hacl_x25519] - install bigarray-compat 1.0.0 [required by cstruct] - install cstruct 6.0.1 [required by hacl_x25519] - install eqaf 0.8 [required by hacl_x25519] - install hacl_x25519 0.2.2 ===== 6 to install ===== The following system packages will first need to be installed: pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> Let opam run your package manager to install the required system packages? (answer 'n' for other options) [Y/n] y + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config" - debconf: delaying package configuration, since apt-utils is not installed - (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 ... 18048 files and directories currently installed.) - Preparing to unpack .../libc6-dev_2.32-4_amd64.deb ... - Unpacking libc6-dev:amd64 (2.32-4) over (2.31-13) ... - Replacing files in old package libc6:amd64 (2.31-13) ... - Preparing to unpack .../libc-dev-bin_2.32-4_amd64.deb ... - Unpacking libc-dev-bin (2.32-4) over (2.31-13) ... - Selecting previously unselected package rpcsvc-proto. - Preparing to unpack .../rpcsvc-proto_1.4.2-4_amd64.deb ... - Unpacking rpcsvc-proto (1.4.2-4) ... - Preparing to unpack .../libc6_2.32-4_amd64.deb ... - Checking for services that may need to be restarted... - Checking init scripts... - Unpacking libc6:amd64 (2.32-4) over (2.31-13) ... - Setting up libc6:amd64 (2.32-4) ... - Checking for services that may need to be restarted... - Checking init scripts... - Nothing to restart. - (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 ... 18032 files and directories currently installed.) - Preparing to unpack .../libc-bin_2.32-4_amd64.deb ... - Unpacking libc-bin (2.32-4) over (2.31-13) ... - Setting up libc-bin (2.32-4) ... - Selecting previously unselected package libffi8:amd64. - (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 ... 18032 files and directories currently installed.) - Preparing to unpack .../0-libffi8_3.4.2-3_amd64.deb ... - Unpacking libffi8:amd64 (3.4.2-3) ... - Selecting previously unselected package libglib2.0-0:amd64. - Preparing to unpack .../1-libglib2.0-0_2.70.1-1_amd64.deb ... - Unpacking libglib2.0-0:amd64 (2.70.1-1) ... - Selecting previously unselected package libglib2.0-data. - Preparing to unpack .../2-libglib2.0-data_2.70.1-1_all.deb ... - Unpacking libglib2.0-data (2.70.1-1) ... - Selecting previously unselected package libicu67:amd64. - Preparing to unpack .../3-libicu67_67.1-7_amd64.deb ... - Unpacking libicu67:amd64 (67.1-7) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../4-libxml2_2.9.12+dfsg-5+b1_amd64.deb ... - Unpacking libxml2:amd64 (2.9.12+dfsg-5+b1) ... - Selecting previously unselected package pkg-config. - Preparing to unpack .../5-pkg-config_0.29.2-1_amd64.deb ... - Unpacking pkg-config (0.29.2-1) ... - Selecting previously unselected package shared-mime-info. - Preparing to unpack .../6-shared-mime-info_2.0-1_amd64.deb ... - Unpacking shared-mime-info (2.0-1) ... - Selecting previously unselected package xdg-user-dirs. - Preparing to unpack .../7-xdg-user-dirs_0.17-2_amd64.deb ... - Unpacking xdg-user-dirs (0.17-2) ... - Setting up libicu67:amd64 (67.1-7) ... - Setting up xdg-user-dirs (0.17-2) ... - Setting up libglib2.0-data (2.70.1-1) ... - Setting up rpcsvc-proto (1.4.2-4) ... - Setting up libffi8:amd64 (3.4.2-3) ... - Setting up libc-dev-bin (2.32-4) ... - Setting up libxml2:amd64 (2.9.12+dfsg-5+b1) ... - Setting up libglib2.0-0:amd64 (2.70.1-1) ... - No schema files found: doing nothing. - Setting up shared-mime-info (2.0-1) ... - Setting up pkg-config (0.29.2-1) ... - Setting up libc6-dev:amd64 (2.32-4) ... - Processing triggers for libc-bin (2.32-4) ... <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> Processing 1/18: Processing 2/18: Processing 3/18: Processing 4/18: Processing 5/18: [conf-pkg-config: pkg-config] -> retrieved bigarray-compat.1.0.0 (cached) Processing 6/18: [conf-pkg-config: pkg-config] -> retrieved cstruct.6.0.1 (cached) Processing 7/18: [conf-pkg-config: pkg-config] -> retrieved dune.2.9.1 (cached) Processing 8/18: [conf-pkg-config: pkg-config] [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "pkg-config" "--help" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-pkg-config.2) - Usage: - pkg-config [OPTION?] - - Help Options: - -h, --help Show help options - - Application Options: - --version output version of pkg-config - --modversion output version for package - --atleast-pkgconfig-version=VERSION require given version of pkg-config - --libs output all linker flags - --static output linker flags for static linking - --short-errors print short errors - --libs-only-l output -l flags - --libs-only-other output other libs (e.g. -pthread) - --libs-only-L output -L flags - --cflags output all pre-processor and compiler flags - --cflags-only-I output -I flags - --cflags-only-other output cflags not covered by the cflags-only-I option - --variable=NAME get the value of variable named NAME - --define-variable=NAME=VALUE set variable NAME to VALUE - --exists return 0 if the module(s) exist - --print-variables output list of variables defined by the module - --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used - --atleast-version=VERSION return 0 if the module is at least version VERSION - --exact-version=VERSION return 0 if the module is at exactly version VERSION - --max-version=VERSION return 0 if the module is at no newer than version VERSION - --list-all list all known packages - --debug show verbose debug information - --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line) - --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line) - --errors-to-stdout print errors from --print-errors to stdout not stderr - --print-provides print which packages the package provides - --print-requires print which packages the package requires - --print-requires-private print which packages the package requires for static linking - --validate validate a package's .pc file - --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets - - Usage: - pkg-config [OPTION?] - - Help Options: - -h, --help Show help options - - Application Options: - --version output version of pkg-config - --modversion output version for package - --atleast-pkgconfig-version=VERSION require given version of pkg-config - --libs output all linker flags - --static output linker flags for static linking - --short-errors print short errors - --libs-only-l output -l flags - --libs-only-other output other libs (e.g. -pthread) - --libs-only-L output -L flags - --cflags output all pre-processor and compiler flags - --cflags-only-I output -I flags - --cflags-only-other output cflags not covered by the cflags-only-I option - --variable=NAME get the value of variable named NAME - --define-variable=NAME=VALUE set variable NAME to VALUE - --exists return 0 if the module(s) exist - --print-variables output list of variables defined by the module - --uninstalled return 0 if the uninstalled version of one or more module(s) or their dependencies will be used - --atleast-version=VERSION return 0 if the module is at least version VERSION - --exact-version=VERSION return 0 if the module is at exactly version VERSION - --max-version=VERSION return 0 if the module is at no newer than version VERSION - --list-all list all known packages - --debug show verbose debug information - --print-errors show verbose information about missing or conflicting packages (default unless --exists or --atleast/exact/max-version given on the command line) - --silence-errors be silent about errors (default when --exists or --atleast/exact/max-version given on the command line) - --errors-to-stdout print errors from --print-errors to stdout not stderr - --print-provides print which packages the package provides - --print-requires print which packages the package requires - --print-requires-private print which packages the package requires for static linking - --validate validate a package's .pc file - --define-prefix try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --dont-define-prefix don't try to override the value of prefix for each .pc file found with a guesstimated value based on the location of the .pc file - --prefix-variable=PREFIX set the name of the variable that pkg-config automatically sets - -> compiled conf-pkg-config.2 Processing 8/18: [dune: ocaml bootstrap.ml] Processing 9/18: [dune: ocaml bootstrap.ml] [conf-pkg-config: mkdir] -> retrieved eqaf.0.8 (cached) -> retrieved hacl_x25519.0.2.2 (cached) + /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "mkdir" "-p" "/home/opam/.opam/4.09/lib/pkgconfig" (CWD=/home/opam/.opam/4.09/.opam-switch/build/conf-pkg-config.2) -> installed conf-pkg-config.2 Processing 9/18: [dune: ocaml bootstrap.ml] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "bootstrap.ml" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/dune.2.9.1) - ocamlc -custom -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml - ./.duneboot.exe -j 31 - Processing 9/18: [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.09/.opam-switch/build/dune.2.9.1) -> compiled dune.2.9.1 -> installed dune.2.9.1 Processing 11/18: [bigarray-compat: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "bigarray-compat" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/bigarray-compat.1.0.0) -> compiled bigarray-compat.1.0.0 -> installed bigarray-compat.1.0.0 Processing 13/18: [cstruct: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cstruct" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/cstruct.6.0.1) -> compiled cstruct.6.0.1 -> installed cstruct.6.0.1 Processing 15/18: [eqaf: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "eqaf" "-j" "31" (CWD=/home/opam/.opam/4.09/.opam-switch/build/eqaf.0.8) -> compiled eqaf.0.8 -> installed eqaf.0.8 Processing 17/18: [hacl_x25519: dune build] + /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "hacl_x25519" "-j" "31" "@install" (CWD=/home/opam/.opam/4.09/.opam-switch/build/hacl_x25519.0.2.2) - gmake freestanding/libhacl_x25519_freestanding_stubs.a - touch libhacl_x25519_freestanding_stubs.a - ocamlc src/.hacl_x25519.objs/byte/hacl_ed25519.{cmo,cmt} - File "src/hacl_ed25519.ml", line 8, characters 5-16: - 8 | if Cstruct.len cs = key_length_bytes then `Checked cs - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "src/hacl_ed25519.ml", line 37, characters 53-64: - 37 | (checked_buffer priv) (Cstruct.to_bigarray msg) (Cstruct.len msg); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "src/hacl_ed25519.ml", line 42, characters 5-16: - 42 | (Cstruct.len msg) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - ocamlopt src/.hacl_x25519.objs/native/hacl_ed25519.{cmx,o} - File "src/hacl_ed25519.ml", line 8, characters 5-16: - 8 | if Cstruct.len cs = key_length_bytes then `Checked cs - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "src/hacl_ed25519.ml", line 37, characters 53-64: - 37 | (checked_buffer priv) (Cstruct.to_bigarray msg) (Cstruct.len msg); - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - File "src/hacl_ed25519.ml", line 42, characters 5-16: - 42 | (Cstruct.len msg) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - ocamlc src/.hacl_x25519.objs/byte/hacl_x25519.{cmo,cmt} - File "src/hacl_x25519.ml", line 16, characters 5-16: - 16 | if Cstruct.len cs = key_length_bytes then Ok (`Checked cs) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. - ocamlopt src/.hacl_x25519.objs/native/hacl_x25519.{cmx,o} - File "src/hacl_x25519.ml", line 16, characters 5-16: - 16 | if Cstruct.len cs = key_length_bytes then Ok (`Checked cs) - ^^^^^^^^^^^ - Alert deprecated: Cstruct.len - len is deprecated, you should use length instead. -> compiled hacl_x25519.0.2.2 -> installed hacl_x25519.0.2.2 Done. # Run eval $(opam env) to update the current shell environment 2021-12-03 10:13.06 ---> saved as "22af278c45453836199379bcd309b8369be99e6b8a677b76a05da3cea6054cbf" Job succeeded