/
opam
42 lines (42 loc) · 1.24 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
opam-version: "2.0"
synopsis: "OCaml API for EverCrypt/HACL*"
description: """
Documentation for this library can be found
[here](https://hacl-star.github.io/ocaml_doc/hacl-star/index.html).
"""
maintainer: "Victor Dumitrescu <victor.dumitrescu@nomadic-labs.com>"
authors: [ "Project Everest" ]
license: "Apache-2.0"
homepage: "https://hacl-star.github.io/"
doc: "https://hacl-star.github.io/ocaml_doc"
bug-reports: "https://github.com/hacl-star/hacl-star/issues"
depends: [
"ocaml" { >= "4.08.0" }
"dune" {>= "1.2"}
"hacl-star-raw" {= version}
"zarith"
"cppo" {build}
"odoc" {with-doc}
]
available: [
os = "freebsd" | os-family != "bsd"
]
build: [
[
"dune" "build" "-p" name "-j" jobs
"@doc" {with-doc}
]
]
run-test: [
["dune" "runtest" "-p" name "-j" jobs] {ocaml:version >= "4.08"}
]
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.1/hacl-star.0.4.1.tar.gz"
checksum: [
"md5=bc59d5548ad7ac1d67403ad9f74bf608"
"sha256=a8769d99f7534610631d24898380060a30d98a58dcdf0a65b53bf1fd2339731a"
"sha512=2962724d9b0dbad0ce74bf8dd41a3efda9453a8cdec3e79c9d27f70d90d2252cbd57bf19128918628cdd4f011715b48abc211211ff3d65bf8f47c65c3fd6cc7c"
]
}