jasmin/opam at master · passcert-project/jasmin · GitHub

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
opam-version: "2.0"
name: "jasmin"
version: "0.1"
maintainer: "Jasmin Team <jasmin@example.com>"
authors: [ "Jasmin Team <jasmin@example.com>" ]
homepage: "http://jasmin-lang.github.io/"
bug-reports: "https://github.com/jasmin-lang/jasmin/issues"
synopsis: "High-Assurance and High-Speed Cryptography"
license: "CeCILL-B"

build: [
  make "build"
]
install: [
  make "PREFIX=%{prefix}%" "install"
]
remove: [
  make "PREFIX=%{prefix}%" "uninstall"
]
depends: [
  "batteries" {>= "2.6"}
  "menhir" {>= "20160825"}
  "zarith"
  "apron"
  "conf-ppl"
  "yojson"
  "ocamlbuild"
  "ocamlfind"
  "coq" {>= "8.14.0" & < "8.15"}
  "coq-mathcomp-ssreflect" {>= "1.12" & < "1.14"}
  "coq-mathcomp-algebra"
  "coq-mathcomp-word"
]