Build:
  1. 0
2021-04-07 09:03.26: New job: Build using linux-x86_64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/heads/mirage-4 (5a82cfcbffe78d8c62c2f1eab3bcbe4b7af79afc)]

OBuilder spec:

((from ocaml/opam:debian-10-ocaml-4.11)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo chown opam:opam /home/opam"))
 (run (network host)
      (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#ee5558b81962a6689943a8e46d610323e21334cc"))
 (run (network host)
      (shell "opam repo add overlays https://github.com/dune-universe/opam-overlays.git#65df55a4c2de834c69c32d11fbc221aed42723ec"))
 (run (network host)
      (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#dcc79014e10006b1b84fe5ed45c5ef067dc4caf7"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam depext -i ocaml-freestanding"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam depext -i dune mirage opam-monorepo"))
 (copy (src ./applications/static_website_tls/config.ml)
       (dst /src/applications/static_website_tls/))
 (workdir /src/applications/static_website_tls)
 (run (shell "sudo chown -R opam:opam ."))
 (run (shell "opam exec -- mirage configure -t xen"))
 (run (cache (download-cache (target /home/opam/.opam/download-cache)))
      (network host)
      (shell "opam exec -- make depends"))
 (copy (src ./applications/static_website_tls/)
       (dst /src/applications/static_website_tls))
 (run (shell "opam exec -- mirage build"))
)

2021-04-07 09:03.26: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.11"
2021-04-07 09:03.26: Connecting to build cluster...
2021-04-07 09:03.26: Waiting for resource in pool OCluster
2021-04-07 09:03.26: Waiting for worker...
2021-04-07 09:03.26: Got resource from pool OCluster
Building on x86-bm-5.ocamllabs.io
All commits already cached
HEAD is now at 5a82cfc fix git unikernel

(from ocaml/opam:debian-10-ocaml-4.11)
---> using "55046a382be6522c2019f2d87f47a2f13f20b07c881552d8874b0b62ca04c220" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
---> using "553e426c2c55667c0defbebd0246a6a329d5be6b30d4e101d33666fe06b4eeb4" from cache

/home/opam: (run (network host)
                 (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#ee5558b81962a6689943a8e46d610323e21334cc"))
[opam] Initialised
[NOTE] Repository opam has been added to the selections of switch 4.11 only.
       Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

---> using "8e8df8c49e90e1fb50c61f6a9661371436eccd0e09ce7120b522d26777336131" from cache

/home/opam: (run (network host)
                 (shell "opam repo add overlays https://github.com/dune-universe/opam-overlays.git#65df55a4c2de834c69c32d11fbc221aed42723ec"))
[overlays] Initialised
[NOTE] Repository overlays has been added to the selections of switch 4.11 only.
       Run `opam repository add overlays --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

---> using "92d5f6e6a1ef1a28732c035421cc9b7d3fee93df69e471cdc490937a07da0585" from cache

/home/opam: (run (network host)
                 (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#dcc79014e10006b1b84fe5ed45c5ef067dc4caf7"))
[mirage-dev] Initialised
[NOTE] Repository mirage-dev has been added to the selections of switch 4.11 only.
       Run `opam repository add mirage-dev --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

---> using "acf2e8a3450b32264f3b719370e2f7540a526313e4dec6c90e78ea24b813c41f" from cache

/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell "opam depext -i ocaml-freestanding"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libseccomp-dev
linux-libc-dev
pkg-config
The following command needs to be run through "sudo":
    apt-get install -qq -yy libseccomp-dev linux-libc-dev pkg-config
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libglib2.0-0: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 ... 17390 files and directories currently installed.)
Preparing to unpack .../0-libglib2.0-0_2.58.3-2+deb10u2_amd64.deb ...
Unpacking libglib2.0-0:amd64 (2.58.3-2+deb10u2) ...
Selecting previously unselected package libglib2.0-data.
Preparing to unpack .../1-libglib2.0-data_2.58.3-2+deb10u2_all.deb ...
Unpacking libglib2.0-data (2.58.3-2+deb10u2) ...
Selecting previously unselected package libicu63:amd64.
Preparing to unpack .../2-libicu63_63.1-6+deb10u1_amd64.deb ...
Unpacking libicu63:amd64 (63.1-6+deb10u1) ...
Selecting previously unselected package libseccomp-dev:amd64.
Preparing to unpack .../3-libseccomp-dev_2.3.3-4_amd64.deb ...
Unpacking libseccomp-dev:amd64 (2.3.3-4) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../4-libxml2_2.9.4+dfsg1-7+deb10u1_amd64.deb ...
Unpacking libxml2:amd64 (2.9.4+dfsg1-7+deb10u1) ...
Selecting previously unselected package pkg-config.
Preparing to unpack .../5-pkg-config_0.29-6_amd64.deb ...
Unpacking pkg-config (0.29-6) ...
Selecting previously unselected package shared-mime-info.
Preparing to unpack .../6-shared-mime-info_1.10-1_amd64.deb ...
Unpacking shared-mime-info (1.10-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 libseccomp-dev:amd64 (2.3.3-4) ...
Setting up xdg-user-dirs (0.17-2) ...
Setting up libglib2.0-0:amd64 (2.58.3-2+deb10u2) ...
No schema files found: doing nothing.
Setting up libicu63:amd64 (63.1-6+deb10u1) ...
Setting up libglib2.0-data (2.58.3-2+deb10u2) ...
Setting up pkg-config (0.29-6) ...
Setting up libxml2:amd64 (2.9.4+dfsg1-7+deb10u1) ...
Setting up shared-mime-info (1.10-1) ...
Processing triggers for libc-bin (2.28-10) ...
# OS packages installation successful
# Now letting OPAM install the packages
The following actions will be performed:
  - install conf-pkg-config    2      [required by solo5]
  - install ocaml-src          4.11.2 [required by ocaml-freestanding]
  - install ocamlfind          1.9.1  [required by ocaml-freestanding]
  - install conf-libseccomp    1      [required by solo5]
  - install solo5              0.7.0  [required by ocaml-freestanding]
  - install ocaml-freestanding 0.7.0
===== 6 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[ocaml-src.4.11.2] found in cache
[ocamlfind.1.9.1] found in cache
[ocaml-freestanding.0.7.0] synchronised from git+https://github.com/TheLortex/ocaml-freestanding.git#cross-compiler
[solo5.0.7.0] synchronised from git+https://github.com/TheLortex/solo5.git#new-toolchain+pkgconfig

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed ocaml-src.4.11.2
-> installed conf-pkg-config.2
-> installed conf-libseccomp.1
-> installed ocamlfind.1.9.1
-> installed solo5.0.7.0
-> installed ocaml-freestanding.0.7.0
Done.
# Run eval $(opam env) to update the current shell environment
---> using "8d8e73579455f6cb5f22339c4082461fac545cd742454da02fc6c6f7370bcb5f" from cache

/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell "opam depext -i dune mirage opam-monorepo"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
pkg-config
# All required OS packages found.
# Now letting OPAM install the packages
The following actions will be performed:
  - install dune              2.8.5
  - install base-bytes        base       [required by astring]
  - install ocamlbuild        0.14.0     [required by fpath]
  - install stdlib-shims      0.3.0      [required by mirage]
  - install seq               base+dune  [required by lwt]
  - install result            1.5        [required by rresult]
  - install opam-monorepo     0.2.2
  - install mmap              1.1.0      [required by lwt]
  - install macaddr           5.0.1      [required by ipaddr]
  - install csexp             1.5.1      [required by dune-configurator]
  - install cppo              1.6.7      [required by lwt]
  - install cmdliner          1.0.4+dune [required by functoria]
  - install astring           0.8.5+dune [required by mirage]
  - install topkg             1.0.3      [required by fpath]
  - install ocamlgraph        2.0.0      [required by functoria]
  - install rresult           0.6.0+dune [required by bos, functoria]
  - install dune-configurator 2.8.5      [required by lwt]
  - install ocplib-endian     1.1        [required by lwt]
  - install fmt               0.8.9+dune [required by functoria, bos, mirage-runtime]
  - install fpath             0.7.3      [required by bos, functoria]
  - install lwt               5.4.0      [required by mirage-runtime]
  - install domain-name       0.3.0      [required by ipaddr]
  - install logs              0.7.0+dune [required by mirage]
  - install ipaddr            5.0.1      [required by mirage]
  - install bos               0.2.0+dune [required by mirage]
  - install functoria-runtime 4.0.0      [required by mirage-runtime]
  - install functoria         4.0.0      [required by mirage]
  - install mirage-runtime    4.0.0      [required by mirage]
  - install mirage            4.0.0
===== 29 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5+dune] found in cache
[bos.0.2.0+dune] found in cache
[cmdliner.1.0.4+dune] found in cache
[cppo.1.6.7] found in cache
[csexp.1.5.1] found in cache
[domain-name.0.3.0] found in cache
[dune.2.8.5] found in cache
[dune-configurator.2.8.5] found in cache
[fmt.0.8.9+dune] found in cache
[fpath.0.7.3] found in cache
[ipaddr.5.0.1] found in cache
[logs.0.7.0+dune] found in cache
[lwt.5.4.0] found in cache
[macaddr.5.0.1] found in cache
[functoria.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#13384dd0eaa6ab2b61da4c0426d2d395d4953f2e
[functoria-runtime.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#13384dd0eaa6ab2b61da4c0426d2d395d4953f2e
[mmap.1.1.0] found in cache
[ocamlbuild.0.14.0] found in cache
[mirage.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#13384dd0eaa6ab2b61da4c0426d2d395d4953f2e
[ocamlgraph.2.0.0] found in cache
[ocplib-endian.1.1] found in cache
[result.1.5] found in cache
[rresult.0.6.0+dune] found in cache
[seq.base+dune] found in cache
[stdlib-shims.0.3.0] found in cache
[topkg.1.0.3] found in cache
[mirage-runtime.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#13384dd0eaa6ab2b61da4c0426d2d395d4953f2e
[opam-monorepo.0.2.2] synchronised from git+https://github.com/TheLortex/duniverse.git#7995f7d864b3fc7139c56478c5b0688fa0713dc6

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.8.5
-> installed astring.0.8.5+dune
-> installed topkg.1.0.3
-> installed cmdliner.1.0.4+dune
-> installed cppo.1.6.7
-> installed csexp.1.5.1
-> installed macaddr.5.0.1
-> installed mmap.1.1.0
-> installed result.1.5
-> installed opam-monorepo.0.2.2
-> installed seq.base+dune
-> installed stdlib-shims.0.3.0
-> installed fpath.0.7.3
-> installed ocplib-endian.1.1
-> installed dune-configurator.2.8.5
-> installed rresult.0.6.0+dune
-> installed fmt.0.8.9+dune
-> installed ocamlgraph.2.0.0
-> installed domain-name.0.3.0
-> installed ipaddr.5.0.1
-> installed lwt.5.4.0
-> installed logs.0.7.0+dune
-> installed bos.0.2.0+dune
-> installed functoria-runtime.4.0.0
-> installed functoria.4.0.0
-> installed mirage-runtime.4.0.0
-> installed mirage.4.0.0
Done.
# Run eval $(opam env) to update the current shell environment
---> using "41102b077ff1a83ea4d4b8ef2ed5037a1e2c090e1e078f9f4676df49d232e076" from cache

/home/opam: (copy (src ./applications/static_website_tls/config.ml)
                  (dst /src/applications/static_website_tls/))
---> saved as "72b2d12d1557da82a78b29b81330b1686c9edda04fedc1009f5189cbeef931b4"

/home/opam: (workdir /src/applications/static_website_tls)

/src/applications/static_website_tls: (run (shell "sudo chown -R opam:opam ."))
---> saved as "fcf0ecb9d5d66f21457e9f1662426b5417aa86b0155b858bcaa95412fffe2e97"

/src/applications/static_website_tls: (run (shell "opam exec -- mirage configure -t xen"))
Info: Creating file dune-project with this contents:
| (lang dune 2.8)
File "mirage/config.ml", line 26, characters 22-34:
26 |   let keys = List.map Key.abstract [ http_port; https_port ] in
                           ^^^^^^^^^^^^
Alert deprecated: Mirage.Key.abstract
Use Mirage.Key.v.
File "mirage/config.ml", line 26, characters 22-34:
26 |   let keys = List.map Key.abstract [ http_port; https_port ] in
                           ^^^^^^^^^^^^
Alert deprecated: Mirage.Key.abstract
Use Mirage.Key.v.
---> saved as "5f50dd5fbb45d8d31d45c0f930ed83a8b0a579ae560b13df279962f1f96963df"

/src/applications/static_website_tls: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
                                           (network host)
                                           (shell "opam exec -- make depends"))
make depext
make[1]: Entering directory '/src/applications/static_website_tls'
opam pin add -k path --no-action --yes https-xen-install ./mirage
Package https-xen-install does not exist, create as a NEW package? [Y/n] y
[https-xen-install.~dev: rsync]
[https-xen-install.~dev] synchronised from file:///src/applications/static_website_tls/mirage
https-xen-install is now pinned to file:///src/applications/static_website_tls/mirage (version ~dev)
opam depext --yes --update https-xen-install
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libseccomp-dev
linux-libc-dev
pkg-config
# All required OS packages found.
opam pin remove --no-action https-xen-install
Ok, https-xen-install is no longer pinned to file:///src/applications/static_website_tls/mirage (version ~dev)
make[1]: Leaving directory '/src/applications/static_website_tls'
opam install ./mirage/https-xen-install.opam --deps-only --yes
Nothing to do.
make repo-add
make[1]: Entering directory '/src/applications/static_website_tls'
opam repo add mirage-tmp https://github.com/mirage/opam-overlays.git ||\
opam repo set-url mirage-tmp https://github.com/mirage/opam-overlays.git
[mirage-tmp] Initialised
[NOTE] Repository mirage-tmp has been added to the selections of switch 4.11 only.
       Run `opam repository add mirage-tmp --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

make[1]: Leaving directory '/src/applications/static_website_tls'
opam monorepo lock --build-only https-xen -l ./mirage/https-xen.opam.locked --ocaml-version 4.11.2  || (ret=$?; make repo-rm && exit $ret)
==> Using locally scanned package 'https-xen' as the root.
opam-monorepo: [WARNING] The dune-universe opam-repository isn't set in the current switch. It contains dune ports for some opam packages. Note that opam monorepo lock will fail if not all of the project dependencies use dune as their build system. Adding this opam-repository to your current switch will help with that. If you wish to do so, run the following command:
opam repository add dune-universe git+https://github.com/dune-universe/opam-overlays.git
==> Found 132 opam dependencies for https-xen.
==> Querying opam database for their metadata and Dune compatibility.
==> Calculating exact pins for each of them.
opam-monorepo: [WARNING] Ref '13384dd0eaa6ab2b61da4c0426d2d395d4953f2e' looks like a commit but hasn't been found in the remote.
==> Wrote lockfile with 96 entries to mirage/https-xen.opam.locked. You can now run opam monorepo pull to fetch their sources.
make depext-lockfile && make repo-rm || (ret=$?; make repo-rm && exit $ret)
make[1]: Entering directory '/src/applications/static_website_tls'
opam pin add -k path --no-action --yes https-xen ./mirage --locked --ignore-pin-depends
Package https-xen does not exist, create as a NEW package? [Y/n] y
[https-xen.~dev: rsync]
[https-xen.~dev] synchronised from file:///src/applications/static_website_tls/mirage
[WARNING] Failed checks on https-xen package definition from source at file:///src/applications/static_website_tls/mirage:
           warning 25: Missing field 'authors'
           warning 35: Missing field 'homepage'
           warning 36: Missing field 'bug-reports'
           warning 47: Synopsis (or description first line) should start with a capital and not end with a dot
https-xen is now pinned to file:///src/applications/static_website_tls/mirage (version ~dev)
opam depext --yes --update https-xen
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libgmp-dev
m4
pkg-config
The following command needs to be run through "sudo":
    apt-get update
Get:1 http://security.debian.org/debian-security buster/updates InRelease [65.4 kB]
Get:2 http://deb.debian.org/debian buster InRelease [121 kB]
Get:3 http://deb.debian.org/debian buster-updates InRelease [51.9 kB]
Get:4 http://security.debian.org/debian-security buster/updates/main amd64 Packages [271 kB]
Get:5 http://deb.debian.org/debian buster/main amd64 Packages [7907 kB]
Fetched 8417 kB in 3s (3213 kB/s)
Reading package lists...
The following command needs to be run through "sudo":
    apt-get install -qq -yy libgmp-dev m4 pkg-config
# OS package update successful
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libgmpxx4ldbl: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 ... 17814 files and directories currently installed.)
Preparing to unpack .../libgmpxx4ldbl_2%3a6.1.2+dfsg-4_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../libgmp-dev_2%3a6.1.2+dfsg-4_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-4) ...
Selecting previously unselected package libsigsegv2:amd64.
Preparing to unpack .../libsigsegv2_2.12-2_amd64.deb ...
Unpacking libsigsegv2:amd64 (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.18-2_amd64.deb ...
Unpacking m4 (1.4.18-2) ...
Setting up libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-4) ...
Setting up libsigsegv2:amd64 (2.12-2) ...
Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-4) ...
Setting up m4 (1.4.18-2) ...
Processing triggers for libc-bin (2.28-10) ...
# OS packages installation successful
opam pin remove --no-action https-xen
Ok, https-xen is no longer pinned to file:///src/applications/static_website_tls/mirage (version ~dev)
make[1]: Leaving directory '/src/applications/static_website_tls'
make[1]: Entering directory '/src/applications/static_website_tls'
opam repo remove mirage-tmp
Repositories removed from the selections of switch 4.11. Use '--all' to forget about them altogether.
make[1]: Leaving directory '/src/applications/static_website_tls'
cd mirage && opam monorepo pull -l https-xen.opam.locked
Successfully pulled 95/95 repositories
---> saved as "e6f3aefaa15d29359eff53a9120199a2e9b1538aff66206d088d62bb66225ef5"

/src/applications/static_website_tls: (copy (src ./applications/static_website_tls/)
                                            (dst /src/applications/static_website_tls))
---> saved as "bd687eeae3fb8daab2efe8357a89dc64c7847bb79d92b7e6f8948fffe8c2b693"

/src/applications/static_website_tls: (run (shell "opam exec -- mirage build"))
         gcc mirage/duniverse/ocaml-cstruct/lib/cstruct_stubs.o
cstruct_stubs.c: In function 'caml_blit_bigstring_to_string':
cstruct_stubs.c:29:31: warning: passing argument 1 of 'memcpy' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
   memcpy(String_val(val_buf2) + Long_val(val_ofs2),
In file included from cstruct_stubs.c:18:
/usr/include/string.h:42:14: note: expected 'void * restrict' but argument is of type 'const char *'
 extern void *memcpy (void *__restrict __dest, const void *__restrict __src,
              ^~~~~~
x86_64-solo5-none-static-cc mirage/duniverse/hacl/src/hacl_x25519_stubs.o [mirage-xen]
In file included from kremlin/kremlib/dist/minimal/FStar_UInt128.h:11,
                 from kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23,
                 from kremlin/include/kremlin/internal/types.h:93,
                 from Hacl_Curve25519_51.h:26,
                 from hacl_x25519_stubs.c:4:
kremlin/include/kremlin/internal/target.h: In function 'krml_time':
kremlin/include/kremlin/internal/target.h:53:19: warning: implicit declaration of function 'time'; did you mean 'true'? [-Wimplicit-function-declaration]
   return (int32_t)time(NULL);
                   ^~~~
                   true
x86_64-solo5-none-static-cc mirage/duniverse/hacl/src/Hacl_Hash.o [mirage-xen]
In file included from kremlin/kremlib/dist/minimal/FStar_UInt128.h:11,
                 from kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23,
                 from kremlin/include/kremlin/internal/types.h:93,
                 from Hacl_Hash.h:26,
                 from Hacl_Hash.c:25:
kremlin/include/kremlin/internal/target.h: In function 'krml_time':
kremlin/include/kremlin/internal/target.h:53:19: warning: implicit declaration of function 'time'; did you mean 'true'? [-Wimplicit-function-declaration]
   return (int32_t)time(NULL);
                   ^~~~
                   true
x86_64-solo5-none-static-cc mirage/duniverse/ocaml-cstruct/lib/cstruct_stubs.o [mirage-xen]
cstruct_stubs.c: In function 'caml_blit_bigstring_to_string':
cstruct_stubs.c:29:31: warning: passing argument 1 of 'memcpy' discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
   memcpy(String_val(val_buf2) + Long_val(val_ofs2),
In file included from cstruct_stubs.c:18:
/home/opam/.opam/4.11/freestanding-sysroot/include/nolibc/string.h:8:7: note: expected 'void *' but argument is of type 'const char *'
 void *memcpy(void *, const void *, size_t);
       ^~~~~~
x86_64-solo5-none-static-cc mirage/duniverse/hacl/src/Hacl_Ed25519.o [mirage-xen]
In file included from kremlin/kremlib/dist/minimal/FStar_UInt128.h:11,
                 from kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23,
                 from kremlin/include/kremlin/internal/types.h:93,
                 from Hacl_Ed25519.h:26,
                 from Hacl_Ed25519.c:25:
kremlin/include/kremlin/internal/target.h: In function 'krml_time':
kremlin/include/kremlin/internal/target.h:53:19: warning: implicit declaration of function 'time'; did you mean 'true'? [-Wimplicit-function-declaration]
   return (int32_t)time(NULL);
                   ^~~~
                   true
x86_64-solo5-none-static-cc mirage/duniverse/hacl/src/Hacl_Curve25519_51.o [mirage-xen]
In file included from kremlin/kremlib/dist/minimal/FStar_UInt128.h:11,
                 from kremlin/kremlib/dist/minimal/fstar_uint128_gcc64.h:23,
                 from kremlin/include/kremlin/internal/types.h:93,
                 from Hacl_Curve25519_51.h:26,
                 from Hacl_Curve25519_51.c:25:
kremlin/include/kremlin/internal/target.h: In function 'krml_time':
kremlin/include/kremlin/internal/target.h:53:19: warning: implicit declaration of function 'time'; did you mean 'true'? [-Wimplicit-function-declaration]
   return (int32_t)time(NULL);
                   ^~~~
                   true
ocaml-crunch mirage/static_htdocs.{ml,mli}
Generating static_htdocs.ml
Generating static_htdocs.mli
ocaml-crunch mirage/static_tls.{ml,mli}
Generating static_tls.ml
Generating static_tls.mli
ocaml-crunch mirage/static_htdocs.{ml,mli} [mirage-xen]
Generating static_htdocs.ml
Generating static_htdocs.mli
ocaml-crunch mirage/static_tls.{ml,mli} [mirage-xen]
Generating static_tls.ml
Generating static_tls.mli
          sh mirage/duniverse/ocaml-gmp/src/build.log,mirage/duniverse/ocaml-gmp/src/dllgmp.so,mirage/duniverse/ocaml-gmp/src/gmp.h,mirage/duniverse/ocaml-gmp/src/libgmp.a [mirage-xen]
configure: WARNING: using cross tools not prefixed with host triplet
configure: WARNING: cannot check for properly working vsnprintf when cross compiling, will assume it's ok
doprnt.c: In function '__gmp_doprnt':
doprnt.c:593:17: warning: implicit declaration of function 'isascii' [-Wimplicit-function-declaration]
        } while (isascii (fchar) && isdigit (fchar));
                 ^~~~~~~
doprntf.c: In function '__gmp_doprnt_mpf2':
doprntf.c:54:6: warning: implicit declaration of function 'islower'; did you mean 'isupper'? [-Wimplicit-function-declaration]
    : islower (c) ? (c) - 'a' + 10       \
      ^~~~~~~
doprntf.c:177:6: note: in expansion of macro 'DIGIT_VALUE'
  n = DIGIT_VALUE (s[len]);
      ^~~~~~~~~~~
sprintffuns.c: In function 'gmp_sprintf_format':
sprintffuns.c:56:3: warning: implicit declaration of function 'vsprintf'; did you mean 'vsnprintf'? [-Wimplicit-function-declaration]
   vsprintf (buf, fmt, ap);
   ^~~~~~~~
   vsnprintf
doscan.c: In function 'gmpscan':
doscan.c:290:10: warning: implicit declaration of function 'isxdigit'; did you mean 'isdigit'? [-Wimplicit-function-declaration]
    if (! isxdigit (c))
          ^~~~~~~~
          isdigit
        bash mirage/duniverse/Zarith/Makefile [mirage-xen]
binary ocaml: found in /home/opam/.opam/4.11/bin
binary ocamlc: found in /home/opam/.opam/4.11/bin
binary ocamldep: found in /home/opam/.opam/4.11/bin
binary ocamlmklib: found in /home/opam/.opam/4.11/bin
binary ocamldoc: found in /home/opam/.opam/4.11/bin
binary x86_64-solo5-none-static-cc: found in /home/opam/.opam/4.11/bin
binary ocamlopt: found in /home/opam/.opam/4.11/bin
checking compilation with x86_64-solo5-none-static-cc -I/home/opam/.opam/4.11/freestanding-sysroot/include/nolibc/ -include _freestanding/overrides.h -O2 -fno-strict-aliasing -fwrapv -I/src/applications/static_website_tls/_build/install/mirage-xen/lib/gmp: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/4.11/bin
OCaml's word size is 64
binary uname: found in /bin
include gmp.h: found
library gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  libraries:            -L/src/applications/static_website_tls/_build/install/mirage-xen/lib/gmp -lgmp
  C options:            -I/src/applications/static_website_tls/_build/install/mirage-xen/lib/gmp
  installation path:    /home/opam/.opam/4.11/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
          sh mirage/duniverse/ocaml-gmp/src/build.log,mirage/duniverse/ocaml-gmp/src/dllgmp.so,mirage/duniverse/ocaml-gmp/src/gmp.h,mirage/duniverse/ocaml-gmp/src/libgmp.a
./configure: line 14291: /usr/bin/file: No such file or directory
        bash mirage/duniverse/Zarith/Makefile
binary ocaml: found in /home/opam/.opam/4.11/bin
binary ocamlc: found in /home/opam/.opam/4.11/bin
binary ocamldep: found in /home/opam/.opam/4.11/bin
binary ocamlmklib: found in /home/opam/.opam/4.11/bin
binary ocamldoc: found in /home/opam/.opam/4.11/bin
binary gcc: found in /usr/bin
binary ocamlopt: found in /home/opam/.opam/4.11/bin
checking compilation with gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -I/src/applications/static_website_tls/_build/install/default/lib/gmp: working
include caml/mlvalues.h: found
library dynlink.cmxa: found
binary ocamlfind: found in /home/opam/.opam/4.11/bin
OCaml's word size is 64
binary uname: found in /bin
include gmp.h: found
library gmp: found
OCaml supports -bin-annot to produce documentation

detected configuration:

  native-code:          yes
  dynamic linking:      yes
  defines:              -DHAS_GMP 
  libraries:            -L/src/applications/static_website_tls/_build/install/default/lib/gmp -lgmp
  C options:            -I/src/applications/static_website_tls/_build/install/default/lib/gmp
  installation path:    /home/opam/.opam/4.11/lib
  installation method   findlib

configuration successful!
now type "make" to build
then type "make install" or "sudo make install" to install
extract-from-certdata mirage/duniverse/ca-certs-nss/lib/trust_anchor.ml [mirage-xen]
extract-from-certdata: [WARNING] Untrusted certificate "Explicitly Distrust DigiNotar Root CA" (serial 02100fffffffffffffffffffffffffffffff)
extract-from-certdata: [WARNING] Untrusted certificate "Explicitly Distrusted DigiNotar PKIoverheid G2" (serial 02040fffffff)
---> saved as "e042513561c01284ee4eacfecc53f61b230c9e6b2291ce229d6c89d3492002d1"
Job succeeded
2021-04-07 09:06.21: Job succeeded