search

mirage / hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
https://github.com/mirage/mirage-crypto
Other
20 stars 5 forks source link

remove mirage-xen-posix based cross-compilation runes (not needed since mirage-xen 6.0.0) #43

Closed hannesm closed 4 years ago

hannesm commented 4 years ago

also use a Makefile for freestanding builds (for control of CFLAGS) -- no longer passing -fPIC

dinosaure commented 4 years ago

Agree with this PR - however I would like to point out #33 which wants to solve an issue: be co-linkable with hacl-star-raw. Should we let the PR as is or merge it for the next release? (I'm not convince that this is the right way however).