opam 776 Bytes
Newer Older
1
opam-version: "1.2"
Benoit Viguier's avatar
Benoit Viguier committed
2 3 4 5 6 7
name: "coq-tweetnacl"
version: "dev"
maintainer: "benoit@cs.ru.nl"
homepage: "https://gitlab.science.ru.nl/benoit/tweetnacl/"
bug-reports: "none"
License: "MIT"
8 9 10 11
build: [
  ["./configure.sh"]
  [make "-j%{jobs}%"]
]
12 13 14 15 16 17 18 19 20 21
install: [
  ["mkdir" "-p" "%{lib}%/coq/user-contrib/Tweetnacl"]
  ["cp" "-r" "Libs" "%{lib}%/coq/user-contrib/Tweetnacl/"]
  ["cp" "-r" "ListsOp" "%{lib}%/coq/user-contrib/Tweetnacl/"]
  ["cp" "-r" "Low" "%{lib}%/coq/user-contrib/Tweetnacl/"]
  ["cp" "-r" "Mid" "%{lib}%/coq/user-contrib/Tweetnacl/"]
  ["cp" "-r" "High" "%{lib}%/coq/user-contrib/Tweetnacl/"]
]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Tweetnacl"]
depends: [
22
  "coq" {>= "8.7.0"}
23
  "coq-coqprime" 
24 25 26 27
  "coq-stdpp"
  "coq-ssr-elliptic-curves"
  "coq-mathcomp-ssreflect"
]