Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
44 lines (43 sloc) 1.22 KB
opam-version: "2.0"
version: "0.9.5.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"
depends: [
"ocaml" {>= "4.02.3" & (< "4.03.0" | >= "4.04.0" & < "4.07.0")}
"ocamlfind"
"batteries"
"zarith"
"stdint"
"yojson"
"ocamlbuild" {build}
"fileutils"
"menhir" {>= "20161115"}
"pprint"
"ulex"
]
depexts: ["coreutils"] {os = "macos" & os-distribution = "homebrew"}
build: [
[make "PREFIX=%{prefix}%" "-C" "src/ocaml-output"]
[make "PREFIX=%{prefix}%" "-C" "ulib/ml"]
]
install: [
[make "PREFIX=%{prefix}%" "-C" "src/ocaml-output" "install"]
]
remove: [
[ "rm" "-rf"
"%{prefix}%/lib/fstar"
"%{prefix}%/doc/fstar"
"%{prefix}%/etc/fstar"
"%{prefix}%/bin/fstar"
"%{prefix}%/share/fstar" ]
]
dev-repo: "git://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.5.0-opam.tar.gz"
checksum: "md5=bb836bc4b9bb6402afaab671d9df62ce"
}