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

Add support for older compiler versions #47

Closed kit-ty-kate closed 3 years ago

kit-ty-kate commented 3 years ago

Old compiler version such as GCC shipped in oraclelinux does not have __has_include and make opam-repo-ci fail in multiple occasion. e.g.

https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/07b1db6b6d350fd43c69950d24ffecd41a25efaa/variant/distributions,centos-7,dns-certify.4.6.3

This should take care of the problem

kit-ty-kate commented 3 years ago

ah nevermind it sounds like it needs more than that. I'll open an issue instead