2018-05-04 21:10:30 +04:00
|
|
|
opam-version: "1.2"
|
|
|
|
|
name: "hacl"
|
|
|
|
|
version: "dev"
|
|
|
|
|
authors: [ "Vincent Bernardoff <vb@luminar.eu.org>" "Marco Stronati <marco@stronati.org>" ]
|
|
|
|
|
maintainer: "Vincent Bernardoff <vb@luminar.eu.org>"
|
|
|
|
|
homepage: "https://gitlab.com/tezos/tezos"
|
|
|
|
|
bug-reports: "https://gitlab.com/tezos/tezos/issues"
|
|
|
|
|
dev-repo: "https://gitlab.com/tezos/tezos.git"
|
|
|
|
|
license: "MIT"
|
|
|
|
|
depends: [
|
|
|
|
|
"jbuilder" {build & >= "1.0+beta16"}
|
|
|
|
|
"bigstring" {>= "0.1.1"}
|
|
|
|
|
"ocplib-endian" {>= "1.0"}
|
|
|
|
|
"zarith" {>= "1.7"}
|
|
|
|
|
"alcotest" {test & >= "0.8.1"}
|
|
|
|
|
"hex" {test & >= "1.2.0"}
|
2018-06-06 12:49:48 +04:00
|
|
|
"base"
|
|
|
|
|
"stdio"
|
2018-05-04 21:10:30 +04:00
|
|
|
]
|
|
|
|
|
build: [ "jbuilder" "build" "-j" jobs "-p" name "@install" ]
|
|
|
|
|
build-test: [ "jbuilder" "runtest" "-p" name "-j" jobs ]
|
|
|
|
|
available: [ ocaml-version >= "4.02.0" ]
|
