Merge pull request #35 from roburio/ed25519

Ed25519 support
mirage · Jul 15, 2020 · 80519e5 · 80519e5
2 parents 217f69a + b1c7a3d
commit 80519e5
Show file tree

Hide file tree

Showing 11 changed files with 3,322 additions and 3 deletions.
diff --git a/freestanding/dune b/freestanding/dune
@@ -4,6 +4,10 @@
 
 (copy_files# ../src/Hacl_Curve25519.h)
 
+(copy_files# ../src/Hacl_Ed25519.c)
+
+(copy_files# ../src/Hacl_Ed25519.h)
+
 (copy_files# ../src/FStar.h)
 
 (copy_files# ../src/kremlib_base.h)
@@ -17,7 +21,7 @@
  (libraries ocaml-freestanding)
  (c_flags
   (:include cflags-freestanding.sexp))
- (c_names hacl_x25519_stubs Hacl_Curve25519))
+ (c_names hacl_x25519_stubs Hacl_Curve25519 Hacl_Ed25519))
 
 (rule
  (with-stdout-to

diff --git a/hacl_x25519.opam b/hacl_x25519.opam
@@ -35,6 +35,7 @@ depends: [
   "ppx_deriving_yojson" {with-test}
   "stdlib-shims" {with-test}
   "yojson" {with-test & >= "1.6.0"}
+  "alcotest" {with-test}
 ]
 conflicts: [
   "mirage-xen-posix" {< "3.1.0"}