unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: pukkamustard <pukkamustard@posteo.net>
To: Julien Lepiller <julien@lepiller.eu>
Cc: 49867@debbugs.gnu.org
Subject: [bug#49867] [PATCH v2 13/31] gnu: Add ocaml-mirage-crypto.
Date: Wed, 08 Sep 2021 08:53:02 +0000	[thread overview]
Message-ID: <86czpjxx4v.fsf@posteo.net> (raw)
In-Reply-To: <20210821160154.407b4928@tachikoma.lepiller.eu>

[-- Attachment #1: Type: text/plain, Size: 821 bytes --]


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?

This seems to be fixed with the patch for using dune release mode
(https://issues.guix.gnu.org/49868#17).

> also, minor but there's a typo in the synopsis "provding" ->
> "providing".

Attached fixed patch for ocaml-mirage. I can resubmit the entire series
if that is easier.


[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0013-gnu-Add-ocaml-mirage-crypto.patch --]
[-- Type: text/x-patch, Size: 1936 bytes --]

From e5430a30e9f228963537cb5fe0dc8184252c2f1e Mon Sep 17 00:00:00 2001
From: pukkamustard <pukkamustard@posteo.net>
Date: Tue, 3 Aug 2021 12:03:23 +0200
Subject: [PATCH 13/31] gnu: Add ocaml-mirage-crypto.

* gnu/packages/ocaml.scm (ocaml-mirage-crypto): New variable.
---
 gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 75f6a24a84..8d00d6cb01 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -7635,6 +7635,37 @@ QuickCheck-style property-based testing and the magical bug-finding powers of
 constant-time to avoid timing-attack with crypto stuff.")
     (license license:expat)))
 
+(define-public ocaml-mirage-crypto
+  (package
+    (name "ocaml-mirage-crypto")
+    (version "0.10.3")
+    (home-page "https://github.com/mirage/mirage-crypto")
+    (source
+     (origin
+       (method git-fetch)
+       (uri (git-reference
+             (url home-page)
+             (commit (string-append "v" version))))
+       (file-name (git-file-name name version))
+       (sha256
+        (base32
+         "0j7x07c8xy8bmqp9ad1cib6j69dy7acjg9m1d7pn0dnmbkrl8fiz"))))
+    (build-system dune-build-system)
+    (arguments `(#:package "mirage-crypto"
+                 #:test-target "."))
+    (propagated-inputs
+     `(("ocaml-cstruct" ,ocaml-cstruct)
+       ("ocaml-eqaf" ,ocaml-eqaf)
+       ("ocaml-bigarray-compat" ,ocaml-bigarray-compat)))
+    (native-inputs
+     `(("pkg-config" ,pkg-config)
+       ("ocaml-ounit" ,ocaml-ounit)))
+    (synopsis "OCaml library providing cryptographic primitives")
+    (description "This OCaml library provides symmetric ciphers (DES, AES,
+RC4, ChaCha20/Poly1305), and hashes (MD5, SHA-1, SHA-2).  This library can be
+used from MirageOS unikernels.")
+    (license license:isc)))
+
 (define-public js-of-ocaml
   (package
     (name "js-of-ocaml")
-- 
2.33.0


  parent reply	other threads:[~2021-09-08  8:58 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
2021-09-08  8:53           ` pukkamustard [this message]
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=86czpjxx4v.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).