/
opam
50 lines (50 loc) · 1.47 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
48
49
50
opam-version: "2.0"
maintainer: "taramana@microsoft.com"
authors: "Nik Swamy <nswamy@microsoft.com>,Jonathan Protzenko <protz@microsoft.com>,Tahina Ramananandro <taramana@microsoft.com>"
homepage: "http://fstar-lang.org"
license: "Apache-2.0"
depends: [
"ocaml" {>= "4.04.0" & < "4.08.0"}
"ocamlfind"
"batteries"
"zarith"
"stdint"
"yojson"
"ocamlbuild" {build}
"fileutils"
"menhir" {>= "20161115"}
"pprint"
"ulex"
"ppx_deriving"
"ppx_deriving_yojson"
"process"
"ocaml-migrate-parsetree" {< "2.0.0"}
]
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
build: [
[make "PREFIX=%{prefix}%" "-C" "src/ocaml-output"]
[make "PREFIX=%{prefix}%" "-C" "ulib" "install-fstarlib"]
[make "PREFIX=%{prefix}%" "-C" "ulib" "install-fstar-tactics"]
]
install: [
[make "PREFIX=%{prefix}%" "-C" "src/ocaml-output" "install"]
]
remove: [
[ "rm" "-rf"
"%{prefix}%/lib/fstar"
"%{prefix}%/doc/fstar"
"%{prefix}%/etc/fstar"
"%{prefix}%/bin/fstar.exe"
"%{prefix}%/share/fstar" ]
[ "ocamlfind" "remove" "fstarlib" ]
[ "ocamlfind" "remove" "fstar-compiler-lib" ]
[ "ocamlfind" "remove" "fstar-tactics-lib" ]
]
dev-repo: "git+https://github.com/FStarLang/FStar"
bug-reports: "https://github.com/FStarLang/FStar/issues"
synopsis: "An ML-like language with a type system for program verification."
flags: light-uninstall
url {
src: "https://github.com/FStarLang/FStar/archive/v0.9.6.0.zip"
checksum: "md5=bad094857baf83b8f556ce1348d39ab4"
}