Build:
  1. 0
2021-05-04 08:50.41: 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#efcb921bb8845a6e3eb27c6be3ba43ffba88dd1d"))
 (run (network host)
      (shell "opam repo add overlays https://github.com/dune-universe/opam-overlays.git#6b1862effa4450e9cca95a34754e109fcb179928"))
 (run (network host)
      (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#b43f1d3a43792df502e323ca6b43b854baf81aac"))
 (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/crypto/config.ml) (dst /src/applications/crypto/))
 (workdir /src/applications/crypto)
 (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/crypto/) (dst /src/applications/crypto))
 (run (shell "opam exec -- mirage build"))
)

2021-05-04 08:50.41: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.11"
2021-05-04 08:50.41: Waiting for resource in pool OCluster
2021-05-04 08:50.41: Waiting for worker...
2021-05-04 08:50.41: 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)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
2021-05-04 08:50.41 ---> using "55046a382be6522c2019f2d87f47a2f13f20b07c881552d8874b0b62ca04c220" from cache

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

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2021-05-04 08:50.41 ---> using "553e426c2c55667c0defbebd0246a6a329d5be6b30d4e101d33666fe06b4eeb4" from cache

/home/opam: (run (network host)
                 (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#efcb921bb8845a6e3eb27c6be3ba43ffba88dd1d"))
[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.

2021-05-04 08:50.41 ---> using "c773ee7e1e9f98887cf16391c028558ee1b4a3bf9ef17eaef298994921e3cba8" from cache

/home/opam: (run (network host)
                 (shell "opam repo add overlays https://github.com/dune-universe/opam-overlays.git#6b1862effa4450e9cca95a34754e109fcb179928"))
[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.

2021-05-04 08:50.41 ---> using "8641bff91a96d76ec30cd53aa558424cab7bcc4c58fa6fae7067464e375b118f" from cache

/home/opam: (run (network host)
                 (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#b43f1d3a43792df502e323ca6b43b854baf81aac"))
[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.

2021-05-04 08:50.41 ---> using "6c42564233dd178d3f539c75b0c545d4393b4155b45e9c04fa350e6768c0e648" 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#77db27433ccd5b1ec13735e8ef1c92e141969a5c

<><> 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
2021-05-04 08:50.41 ---> using "059b606fd708039f37cbf3c0bde128c64203df090b1460f16dd2164b8a3f8d52" 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 stdlib-shims      0.3.0      [required by mirage]
  - install seq               base+dune  [required by lwt]
  - install result            1.5        [required by fpath, 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 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+dune [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
===== 27 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+dune] 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-runtime.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#338f18736422a034530936a3cc75d461a2629191
[functoria.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#338f18736422a034530936a3cc75d461a2629191
[mmap.1.1.0] found in cache
[ocamlgraph.2.0.0] found in cache
[mirage.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#338f18736422a034530936a3cc75d461a2629191
[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
[opam-monorepo.0.2.2] synchronised from git+https://github.com/TheLortex/duniverse.git#7c53f189cc7521ab5c62aac3ac82c73dd023638c
[mirage-runtime.4.0.0] synchronised from git+https://github.com/TheLortex/mirage.git#338f18736422a034530936a3cc75d461a2629191

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> installed dune.2.8.5
-> installed astring.0.8.5+dune
-> 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 seq.base+dune
-> installed stdlib-shims.0.3.0
-> installed ocplib-endian.1.1
-> installed dune-configurator.2.8.5
-> installed fpath.0.7.3+dune
-> installed opam-monorepo.0.2.2
-> 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
2021-05-04 08:50.41 ---> using "830d9c8e529534e131d1e6204aa2c6fdef8df1ad5457c9ab1c838a3d39a41173" from cache

/home/opam: (copy (src ./applications/crypto/config.ml)
                  (dst /src/applications/crypto/))
2021-05-04 08:50.41 ---> saved as "bca121126af9d5eb368caa011a4a6301e7687553e1ff009134b451070f24f67e"

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

/src/applications/crypto: (run (shell "sudo chown -R opam:opam ."))
2021-05-04 08:50.42 ---> saved as "d1a8e385fe3ab9596b891bed323d8a2b3329b08d9b737a2f61d49ace97c9bf96"

/src/applications/crypto: (run (shell "opam exec -- mirage configure -t xen"))
2021-05-04 08:50.44 ---> saved as "d078b5e1dbdfbbf4d4317680016ef3dcf933979b95d606f6f75e73a5227e6c75"

/src/applications/crypto: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
                               (network host)
                               (shell "opam exec -- make depends"))
 ↳ opam depexts
Package crypto_test-xen-install does not exist, create as a NEW package? [Y/n] y
[crypto_test-xen-install.~dev: rsync]
[crypto_test-xen-install.~dev] synchronised from file:///src/applications/crypto/mirage
crypto_test-xen-install is now pinned to file:///src/applications/crypto/mirage (version ~dev)
# 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.
Ok, crypto_test-xen-install is no longer pinned to file:///src/applications/crypto/mirage (version ~dev)
 ↳ opam install global dependencies
Nothing to do.
-e using overlay repository 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.

 ↳ opam-monorepo lock
==> Using locally scanned package 'crypto_test-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 74 opam dependencies for crypto_test-xen.
==> Querying opam database for their metadata and Dune compatibility.
==> Calculating exact pins for each of them.
opam-monorepo: [WARNING] Ref '338f18736422a034530936a3cc75d461a2629191' looks like a commit but hasn't been found in the remote.
==> Wrote lockfile with 53 entries to mirage/crypto_test-xen.opam.locked. You can now run opam monorepo pull to fetch their sources.
 ↳ lockfile depexts
Package crypto_test-xen does not exist, create as a NEW package? [Y/n] y
[crypto_test-xen.~dev: rsync]
[crypto_test-xen.~dev] synchronised from file:///src/applications/crypto/mirage
[WARNING] Failed checks on crypto_test-xen package definition from source at file:///src/applications/crypto/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
crypto_test-xen is now pinned to file:///src/applications/crypto/mirage (version ~dev)
# 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
Hit:1 http://deb.debian.org/debian buster InRelease
Get:2 http://deb.debian.org/debian buster-updates InRelease [51.9 kB]
Get:3 http://security.debian.org/debian-security buster/updates InRelease [65.4 kB]
Get:4 http://deb.debian.org/debian buster-updates/main amd64 Packages.diff/Index [6640 B]
Get:5 http://deb.debian.org/debian buster-updates/main amd64 Packages 2021-04-22-1401.14.pdiff [1996 B]
Get:6 http://deb.debian.org/debian buster-updates/main amd64 Packages 2021-04-23-1401.02.pdiff [1127 B]
Get:6 http://deb.debian.org/debian buster-updates/main amd64 Packages 2021-04-23-1401.02.pdiff [1127 B]
Get:7 http://security.debian.org/debian-security buster/updates/main amd64 Packages [285 kB]
Fetched 412 kB in 1s (503 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
Ok, crypto_test-xen is no longer pinned to file:///src/applications/crypto/mirage (version ~dev)
-e removing overlay repository mirage-tmp
Repositories removed from the selections of switch 4.11. Use '--all' to forget about them altogether.
 ↳ opam-monorepo pull
Successfully pulled 52/52 repositories
2021-05-04 08:52.27 ---> saved as "5c7995085735bb2283999fb6b07b00cec5a9507015a44d35598086a8980e090b"

/src/applications/crypto: (copy (src ./applications/crypto/)
                                (dst /src/applications/crypto))
2021-05-04 08:52.29 ---> saved as "40bb56f5619f2309d491378462655e2d5f30eccaee9725afb1a4f246b404cf29"

/src/applications/crypto: (run (shell "opam exec -- mirage build"))
x86_64-solo5-none-static-cc 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);
       ^~~~~~
        make duniverse/mirage-xen/lib/libmirage-xen_bindings.a [mirage-xen]
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o alloc_pages_stubs.o alloc_pages_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o atomic_stubs.o atomic_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o barrier_stubs.o barrier_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o bmap.o bmap.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o checksum_stubs.o checksum_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o clock_stubs.o clock_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o cstruct_stubs.o cstruct_stubs.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o evtchn.o evtchn.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o gnttab.o gnttab.c
cc -include _freestanding/overrides.h -nostdinc -mstack-protector-guard=global -isystem /home/opam/.opam/4.11/lib/pkgconfig/../../include/x86_64-solo5-none-static -ffreestanding -fstack-protector-strong -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/lib/ocaml -I/home/opam/.opam/4.11/lib/pkgconfig/../../freestanding-sysroot/include/nolibc -I/home/opam/.opam/4.11/lib/pkgconfig/../../include/solo5 -O2 -std=c99 -Wall -Werror -Iinclude -D__XEN_INTERFACE_VERSION__=__XEN_LATEST_INTERFACE_VERSION__   -c -o main.o main.c
ar r libmirage-xen_bindings.a alloc_pages_stubs.o atomic_stubs.o barrier_stubs.o bmap.o checksum_stubs.o clock_stubs.o cstruct_stubs.o evtchn.o gnttab.o main.o
ar: creating libmirage-xen_bindings.a
          sh duniverse/ocaml-gmp/src/build.log,duniverse/ocaml-gmp/src/dllgmp.so,duniverse/ocaml-gmp/src/gmp.h,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));
                 ^~~~~~~
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
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]);
      ^~~~~~~~~~~
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 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/crypto/_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/crypto/_build/install/mirage-xen/lib/gmp -lgmp
  C options:            -I/src/applications/crypto/_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
2021-05-04 08:54.22 ---> saved as "7cd7f16f26060d82a37fcafa6bdcce54c62ef058413d774e52678413ae08d1a6"
Job succeeded
2021-05-04 08:54.22: Job succeeded