/
opam
47 lines (47 loc) · 1.66 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
opam-version: "2.0"
synopsis: "Auto-generated low-level OCaml bindings for EverCrypt/HACL*"
description: """
This package contains a snapshot of the EverCrypt crypto provider and
the HACL* library, along with automatically generated Ctypes bindings.
For a higher-level idiomatic API see the `hacl-star` package, of
which `hacl-star-raw` is a dependency.
"""
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
authors: [ "Project Everest" ]
license: "Apache-2.0"
homepage: "https://hacl-star.github.io/"
bug-reports: "https://github.com/hacl-star/hacl-star/issues"
depends: [
"ocaml" { >= "4.08.0" }
"ocamlfind" {build}
"ctypes" {>= "0.18.0" & < "0.21.0"}
"conf-which" {build}
]
conflicts: ["ocaml-option-bytecode-only"]
available: [
arch != "ppc64" & arch != "ppc32" &
(os = "freebsd" | os-family != "bsd")
]
x-ci-accept-failures: [
"centos-7" "oraclelinux-7" # Default C compiler is too old
]
build: [
["sh" "-exc" "cd raw && ./configure"] {!dev}
[make "-C" "raw"] {!dev}
["sh" "-exc" "cd dist/gcc-compatible && ./configure"] {dev}
[make "-C" "dist/gcc-compatible"] {dev}
]
install: [
[make "-C" "raw" "install-hacl-star-raw"] {!dev}
[make "-C" "dist/gcc-compatible" "install-hacl-star-raw"] {dev}
]
dev-repo: "git+https://github.com/hacl-star/hacl-star.git"
url {
src:
"https://github.com/hacl-star/hacl-star/releases/download/ocaml-v0.4.5/hacl-star.0.4.5.tar.gz"
checksum: [
"md5=fdcd7a590913428d5d3142872d7089a0"
"sha256=47bf253f804ec369b2fbc76c892ba89275fde17d7444d291d5eb5c179a05e174"
"sha512=1f2c144852566464ef72caeb21567b125fa9eb395d9e25b64bb110f116e75b7befdb3e3e190dd8a3f59c74b36d70bb4eb6dcd7ba62061fd91b4c263de0f29c4f"
]
}