[new release] mirage-solo5 (0.6.5)#20057
Merged
Merged
Conversation
CHANGES: * Add caml_get_wall_clock to retrieve the wall clock as int64 (mirage/mirage-solo5#73 @hannesm) * Remove checksum_stubs, now available through tcpip (mirage/mirage-solo5#75 @dinosaure) * Remove alloc_pages_stubs, now available through io-page (mirage/mirage-solo5#76 @dinosaure) * Don't require opam for the bindings compilation (mirage/mirage-solo5#79 @hannesm)
Member
Author
|
somehow the CI system does not have m4 anymore installed, and conf-m4 does not contain the required depext... |
Member
|
Same issue on #20056 Why you think so? I do see |
Member
Author
|
Why I think so: To me, it looks like: something executes -> compiled mirage-solo5.0.6.5
-> installed mirage-solo5.0.6.5
Done.
# Run eval $(opam env) to update the current shell environment
2021-11-18 12:47.36 ---> using "1d7a9848fea8552152bbdeef5adab143d869e647b9dcbfa057afb56982eb4726" from cache
/home/opam: (run (network host)
(shell "opam depext -u"))
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libseccomp-dev
pkg-config
# All required OS packages found.
The following command needs to be run through "sudo":
apt-get update
Hit:1 http://security.debian.org/debian-security bullseye-security InRelease
Hit:2 http://deb.debian.org/debian bullseye InRelease
Hit:3 http://deb.debian.org/debian bullseye-updates InRelease
Reading package lists...
# OS package update successful
2021-11-18 12:47.36 ---> using "5e8f96b53df79d0553e9c7eab98b878dec8a87994bd728b5c10434511eb996e6" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove albatross.1.0.1 && opam depext albatross.1.0.1 && opam install --deps-only albatross.1.0.1 && opam install -v albatross.1.0.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-11\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n done;\
\n exit 1"))
[NOTE] albatross.1.0.1 is not installed.
Nothing to do.
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libgmp-dev
libnl-3-dev
libnl-route-3-dev
pkg-config
The following command needs to be run through "sudo":
apt-get install -qq -yy libgmp-dev libnl-3-dev libnl-route-3-dev pkg-config
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 ... 18488 files and directories currently installed.)
Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../1-libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
Selecting previously unselected package libnl-3-200:amd64.
Preparing to unpack .../2-libnl-3-200_3.4.0-1+b1_amd64.deb ...
Unpacking libnl-3-200:amd64 (3.4.0-1+b1) ...
Selecting previously unselected package libnl-3-dev:amd64.
Preparing to unpack .../3-libnl-3-dev_3.4.0-1+b1_amd64.deb ...
Unpacking libnl-3-dev:amd64 (3.4.0-1+b1) ...
Selecting previously unselected package libnl-route-3-200:amd64.
Preparing to unpack .../4-libnl-route-3-200_3.4.0-1+b1_amd64.deb ...
Unpacking libnl-route-3-200:amd64 (3.4.0-1+b1) ...
Selecting previously unselected package libnl-route-3-dev:amd64.
Preparing to unpack .../5-libnl-route-3-dev_3.4.0-1+b1_amd64.deb ...
Unpacking libnl-route-3-dev:amd64 (3.4.0-1+b1) ...
Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
Setting up libnl-3-200:amd64 (3.4.0-1+b1) ...
Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
Setting up libnl-route-3-200:amd64 (3.4.0-1+b1) ...
Setting up libnl-3-dev:amd64 (3.4.0-1+b1) ...
Setting up libnl-route-3-dev:amd64 (3.4.0-1+b1) ...
Processing triggers for libc-bin (2.31-13+deb11u2) ...
# OS packages installation successful
The following actions will be performed:
- install hex 1.4.0
- install gmap 0.3.0
- install ppx_derivers 1.2.1
- install conf-libnl3 1
- install optint 0.1.0
- install conf-gmp 3
- install conf-m4 1
- install base64 3.5.0
- install uchar 0.0.2
- install mtime 1.3.0
- install sexplib0 v0.14.0
- install eqaf 0.8
- install metrics-lwt 0.3.0
- install ptime 0.8.5
- install num 1.4
- install ocaml-compiler-libs v0.12.4
- install astring 0.8.5
- install rresult 0.7.0
- install checkseum 0.3.2
- install zarith 1.12
- install conf-gmp-powm-sec 3
- install gmp-freestanding 6.2.1
- install uutf 1.0.2
- install base v0.14.1
- install mirage-crypto 0.10.4
- install hacl_x25519 0.2.2
- install fiat-p256 0.2.3
- install ppxlib 0.23.0
- install metrics-influx 0.3.0
- install fpath 0.7.3
- install decompress 0.9.1
- install asn1-combinators 0.2.6
- install zarith-freestanding 1.12
- install jsonm 1.0.1
- install parsexp v0.14.1
- install mirage-crypto-rng 0.10.4
- install hkdf 1.0.4
- install ppx_sexp_conv v0.14.3
- install bos 0.2.1
- install sexplib v0.14.0
- install mirage-crypto-pk 0.10.4
- install ppx_cstruct 6.0.1
- install cstruct-sexp 6.0.1
- install x509 0.11.2
- install tls 0.12.8
===== 45 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[asn1-combinators.0.2.6] found in cache
[astring.0.8.5] found in cache
[base.v0.14.1] found in cache
[base64.3.5.0] found in cache
[bos.0.2.1] found in cache
[checkseum.0.3.2] found in cache
[cstruct-sexp.6.0.1] found in cache
[decompress.0.9.1] found in cache
[eqaf.0.8] found in cache
[fiat-p256.0.2.3] found in cache
[fpath.0.7.3] found in cache
[gmap.0.3.0] found in cache
[gmp-freestanding.6.2.1] found in cache
[hacl_x25519.0.2.2] found in cache
[hex.1.4.0] found in cache
[hkdf.1.0.4] found in cache
[jsonm.1.0.1] found in cache
[metrics-influx.0.3.0] found in cache
[metrics-lwt.0.3.0] found in cache
[mirage-crypto.0.10.4] found in cache
[mirage-crypto-pk.0.10.4] found in cache
[mirage-crypto-rng.0.10.4] found in cache
[mtime.1.3.0] found in cache
[num.1.4] found in cache
[ocaml-compiler-libs.v0.12.4] found in cache
[optint.0.1.0] found in cache
[parsexp.v0.14.1] found in cache
[ppx_cstruct.6.0.1] found in cache
[ppx_derivers.1.2.1] found in cache
[ppx_sexp_conv.v0.14.3] found in cache
[ppxlib.0.23.0] found in cache
[ptime.0.8.5] found in cache
[rresult.0.7.0] found in cache
[sexplib.v0.14.0] found in cache
[sexplib0.v0.14.0] found in cache
[tls.0.12.8] found in cache
[uchar.0.0.2] found in cache
[uutf.1.0.2] found in cache
[x509.0.11.2] found in cache
[zarith.1.12] found in cache
[zarith-freestanding.1.12] found in cache
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base64.3.5.0
-> installed astring.0.8.5
-> installed conf-gmp.3
[ERROR] The compilation of conf-m4 failed at "/home/opam/.opam/opam-init/hooks/sandbox.sh build sh -exc echo | m4".
-> installed eqaf.0.8
-> installed gmap.0.3.0
-> installed hex.1.4.0
-> installed metrics-lwt.0.3.0
-> installed mtime.1.3.0
-> installed num.1.4
-> installed conf-gmp-powm-sec.3
-> installed conf-libnl3.1
-> installed fiat-p256.0.2.3
-> installed fpath.0.7.3
-> installed hacl_x25519.0.2.2
-> installed metrics-influx.0.3.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed optint.0.1.0
-> installed ppx_derivers.1.2.1
-> installed ptime.0.8.5
-> installed rresult.0.7.0
-> installed sexplib0.v0.14.0
-> installed mirage-crypto.0.10.4
-> installed uchar.0.0.2
-> installed zarith.1.12
-> installed bos.0.2.1
-> installed hkdf.1.0.4
-> installed mirage-crypto-rng.0.10.4
-> installed base.v0.14.1
-> installed ppxlib.0.23.0
-> installed uutf.1.0.2
-> installed checkseum.0.3.2
-> installed asn1-combinators.0.2.6
-> installed parsexp.v0.14.1
-> installed ppx_sexp_conv.v0.14.3
-> installed jsonm.1.0.1
-> installed decompress.0.9.1
-> installed sexplib.v0.14.0
-> installed cstruct-sexp.6.0.1
-> installed ppx_cstruct.6.0.1
#=== ERROR while compiling conf-m4.1 ==========================================#
# context 2.0.10 | linux/x86_64 | ocaml-base-compiler.4.13.1 | file:///home/opam/opam-repository
# path ~/.opam/4.13/.opam-switch/build/conf-m4.1
# command ~/.opam/opam-init/hooks/sandbox.sh build sh -exc echo | m4
# exit-code 127
# env-file ~/.opam/log/conf-m4-148-c5e94c.env
# output-file ~/.opam/log/conf-m4-148-c5e94c.out
### output ###
# + + m4
# echo
# sh: 1: m4: not found |
Member
|
That's clear, thanks. That is also why I pinged @kit-ty-kate and added the consider for merge banner. I want to wait and see if she want to keep it open to check eventual fixes before merging |
Member
|
To be fair, we only need one of the two open. Which one do you prefer to merge? |
Member
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Solo5 core platform libraries for MirageOS
CHANGES:
opam var prefixif opam is available mirage/mirage-solo5#79 @hannesm)