From: pukkamustard <pukkamustard@posteo.net>
To: pukkamustard <pukkamustard@posteo.net>
Cc: 49867@debbugs.gnu.org, Julien Lepiller <julien@lepiller.eu>
Subject: [bug#49867] [PATCH v2 13/31] gnu: Add ocaml-mirage-crypto.
Date: Mon, 23 Aug 2021 16:52:42 +0000 [thread overview]
Message-ID: <867dgcqf1h.fsf@posteo.net> (raw)
In-Reply-To: <86a6l8qlrf.fsf@posteo.net>
pukkamustard <pukkamustard@posteo.net> writes:
> Julien Lepiller <julien@lepiller.eu> writes:
>
>> Trying to build ocaml-mirage-crypto, I get errors during the
>> tests:
>>
>> ocamlopt tests/test_symmetric_runner.exe (exit 2)
>>
>> Error: Files
>> /gnu/store/id3dchcsw5gijsnn73kw5sn9ymjj90ai-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/bigstring/eqaf_bigstring.cmxa
>> and
>> /gnu/store/id3dchcsw5gijsnn73kw5sn9ymjj90ai-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/eqaf.cmxa
>> make inconsistent assumptions over implementation Eqaf
>>
>> this seems to indicate Eqaf did not build properly? Does it
>> build for
>> you?
>
> Negative. Can confirm that ocaml-mirage-crypto does not build
> when rebased on
> master. I will investigate.
This seems to be related to the recently added dune profile
parameter (https://issues.guix.gnu.org/49868).
The installed eqaf.cmxa seems to be the one built by using the
"dev" profile, whereas eqaf_bigstring.cmxa is expecting the Eqaf
module built with the "release" profile:
```
$ ocamlobjinfo
/gnu/store/id3dchcsw5gijsnn73kw5sn9ymjj90ai-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/bigstring/eqaf_bigstring.cmxa
[..]
Implementations imported:
193f160ab58c2c455f4e1fe1425b8971 Eqaf
[..]
$ ocamlobjinfo
/gnu/store/id3dchcsw5gijsnn73kw5sn9ymjj90ai-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/eqaf.cmxa
[..]
CRC of implementation: f693310ffd4f92f54cd1fde8271782b8
[..]
```
With (arguments `(#:profile "dev")):
```
$ ocamlobjinfo
/gnu/store/v2s1h1is0ci2ij2h8k5fbna3j8ycrw9y-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/bigstring/eqaf_bigstring.cmxa
[..]
Implementations imported:
[..]
-------------------------------- Eqaf
$ ocamlobjinfo
/gnu/store/v2s1h1is0ci2ij2h8k5fbna3j8ycrw9y-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/eqaf.cmxa
[..]
CRC of implementation: f693310ffd4f92f54cd1fde8271782b8
[..]
```
When using the "dev" profile the ocaml-eqaf and
ocaml-mirage-crypto build and pass the checks.
(I assume that the missing CRC in eqaf_bigstring.cmxa means it
does not check the CRC of the Eqaf implementation.)
If I set (arguments `(#:package "eqaf")), then also everything
builds fine and the hashes seem to be right:
```
$ ocamlobjinfo
/gnu/store/cyw1n07cqdh25w5awww185s44yzbcyss-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/bigstring/eqaf_bigstring.cmxa
Implementations imported:
193f160ab58c2c455f4e1fe1425b8971 Eqaf
$ ocamlobjinfo
/gnu/store/cyw1n07cqdh25w5awww185s44yzbcyss-ocaml-eqaf-0.7/lib/ocaml/site-lib/eqaf/eqaf.cmxa
CRC of implementation: 193f160ab58c2c455f4e1fe1425b8971
```
This seems weird. I don't understand why dune installs the
eqaf.cmxa built with "dev" profile but eqaf_bigstring.cmxa with
"release" profile. Maybe this is a bug in dune?
It does seem that using the dune "--profile" options on its own is
not very common. Opam uses the dune "-p" option. This sets the
profile to "release" and does a couple of other things
(https://dune.readthedocs.io/en/stable/opam.html?highlight=build%20profile#invocation-from-opam).
I don't think many people use the "--profile" option on its own.
For our dune-build-system I think it makes more sense to always
use the "-p" flag. This requires adding the explicit OCaml
package(s) to many specifications in Guix. I also think the
"profile" parameter should be removed as the interactions with the
"package" parameter (dune "-p") are not as expected. Sorry for not
doing this research before submitting the patch that added the
"profile" parameter.
Thoughts?
-pukkamustard
next prev parent reply other threads:[~2021-08-23 16:55 UTC|newest]
Thread overview: 99+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-08-04 7:10 [bug#49867] [PATCH 00/29] gnu: Add ocaml-cohttp-lwt-unix pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 01/29] gnu: Add ocaml-cohttp-lwt pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 02/29] gnu: Add ocaml-domain-name pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 03/29] gnu: Add ocaml-macaddr pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 04/29] gnu: Add ocaml-ipaddr pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 05/29] gnu: Add ocaml-ipaddr-cstruct pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 06/29] gnu: Add ocaml-ipaddr-sexp pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 07/29] gnu: Add ocaml-conduit pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 08/29] gnu: Add ocaml-conduit-lwt pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 09/29] gnu: Add ocaml-eqaf pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 10/29] gnu: Add ocaml-mirage-crypto pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 11/29] gnu: Add ocaml-duration pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 12/29] gnu: Add ocaml-randomconv pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 13/29] gnu: Add ocaml-mirage-crypto-rng pukkamustard
2021-08-05 15:42 ` Xinglu Chen
2021-08-08 11:04 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 14/29] gnu: Add ocaml-mirage-crypto-pk pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 15/29] gnu: Add ocaml-ptime pukkamustard
2021-08-05 15:48 ` Xinglu Chen
2021-08-08 11:13 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 16/29] gnu: Add ocaml-asn1-combinators pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 17/29] gnu: Add ocaml-ppx-deriving pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 18/29] gnu: Add ocaml-ppx-deriving-yojson pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 19/29] gnu: Add ocaml-mirage-crypto-ec pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 20/29] gnu: Add ocaml-gmap pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 21/29] gnu: Add ocaml-pbkdf pukkamustard
2021-08-05 15:55 ` Xinglu Chen
2021-08-08 11:21 ` pukkamustard
2021-08-09 9:53 ` Xinglu Chen
2021-08-04 7:15 ` [bug#49867] [PATCH 22/29] gnu: Add ocaml-cstruct-unix pukkamustard
2021-08-05 16:02 ` Xinglu Chen
2021-08-08 11:24 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 23/29] gnu: Add ocaml-x509 pukkamustard
2021-08-05 16:04 ` Xinglu Chen
2021-08-08 11:29 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 24/29] gnu: Add ocaml-ca-certs pukkamustard
[not found] ` <87fsvnkgzk.fsf@yoctocell.xyz>
2021-08-08 12:36 ` pukkamustard
2021-08-09 9:30 ` Xinglu Chen
2021-08-04 7:15 ` [bug#49867] [PATCH 25/29] gnu: Add ocaml-lwt-log pukkamustard
2021-08-05 16:18 ` Xinglu Chen
2021-08-08 13:01 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 26/29] gnu: Add ocaml-lwt-ssl pukkamustard
2021-08-05 16:20 ` Xinglu Chen
2021-08-08 13:04 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 27/29] gnu: Add ocaml-conduit-lwt-unix pukkamustard
2021-08-05 16:20 ` Xinglu Chen
2021-08-08 13:06 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 28/29] gnu: Add ocaml-magic-mime pukkamustard
2021-08-05 16:22 ` Xinglu Chen
2021-08-08 13:07 ` pukkamustard
2021-08-04 7:15 ` [bug#49867] [PATCH 29/29] gnu: Add ocaml-cohttp-lwt-unix pukkamustard
2021-08-05 16:25 ` Xinglu Chen
2021-08-08 13:14 ` pukkamustard
2021-08-05 15:38 ` [bug#49867] [PATCH 00/29] " Xinglu Chen
2021-08-09 6:55 ` pukkamustard
2021-08-09 6:59 ` [bug#49867] [PATCH 01/31] gnu: Add ocaml-cohttp-lwt pukkamustard
2021-08-09 6:59 ` [bug#49867] [PATCH 02/31] gnu: Add ocaml-domain-name pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 01/31] gnu: Add ocaml-cohttp-lwt pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 02/31] gnu: Add ocaml-domain-name pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 03/31] gnu: Add ocaml-macaddr pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 04/31] gnu: Add ocaml-ipaddr pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 05/31] gnu: Add ocaml-ipaddr-cstruct pukkamustard
2021-08-09 7:00 ` [bug#49867] [PATCH v2 06/31] gnu: Add ocaml-ipaddr-sexp pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 07/31] gnu: Add ocaml-conduit pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 08/31] gnu: Add ocaml-conduit-lwt pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 09/31] gnu: Add ocaml-afl-persistent pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 10/31] gnu: Add ocaml-pprint pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 11/31] gnu: Add ocaml-crowbar pukkamustard
2021-08-09 9:51 ` Xinglu Chen
2021-08-09 11:13 ` Julien Lepiller
2021-08-09 12:39 ` Xinglu Chen
2021-08-10 8:00 ` pukkamustard
2021-08-10 12:04 ` Xinglu Chen
2021-08-09 7:01 ` [bug#49867] [PATCH v2 12/31] gnu: Add ocaml-eqaf pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 13/31] gnu: Add ocaml-mirage-crypto pukkamustard
2021-08-21 14:01 ` Julien Lepiller
2021-08-23 14:27 ` pukkamustard
2021-08-23 16:52 ` pukkamustard [this message]
2021-09-08 8:53 ` pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 14/31] gnu: Add ocaml-duration pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 15/31] gnu: Add ocaml-randomconv pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 16/31] gnu: Add ocaml-mirage-crypto-rng pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 17/31] gnu: Add ocaml-mirage-crypto-pk pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 18/31] gnu: Add ocaml-ptime pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 19/31] gnu: Add ocaml-asn1-combinators pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 20/31] gnu: Add ocaml-ppx-deriving pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 21/31] gnu: Add ocaml-ppx-deriving-yojson pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 22/31] gnu: Add ocaml-mirage-crypto-ec pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 23/31] gnu: Add ocaml-gmap pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 24/31] gnu: Add ocaml-pbkdf pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 25/31] gnu: Add ocaml-cstruct-unix pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 26/31] gnu: Add ocaml-x509 pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 27/31] gnu: Add ocaml-ca-certs pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 28/31] gnu: Add ocaml-lwt-ssl pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 29/31] gnu: Add ocaml-conduit-lwt-unix pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 30/31] gnu: Add ocaml-magic-mime pukkamustard
2021-08-09 7:01 ` [bug#49867] [PATCH v2 31/31] gnu: Add ocaml-cohttp-lwt-unix pukkamustard
2021-08-09 9:55 ` [bug#49867] [PATCH 00/29] " Xinglu Chen
2021-11-15 13:23 ` bug#49867: " pukkamustard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=867dgcqf1h.fsf@posteo.net \
--to=pukkamustard@posteo.net \
--cc=49867@debbugs.gnu.org \
--cc=julien@lepiller.eu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).