forked from termite-analyser/llvm2smt
-
Notifications
You must be signed in to change notification settings - Fork 0
/
opam
27 lines (26 loc) · 795 Bytes
/
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
opam-version: "1.2"
name: "llvm2smt"
version: "dev"
maintainer: "Gabriel Radanne <[email protected]>"
authors: "Gabriel Radanne <[email protected]>"
license: "MIT"
homepage: "https://github.com/termite-analyser/llvm2smt"
bug-reports: "https://github.com/termite-analyser/llvm2smt/issues"
dev-repo: "https://github.com/termite-analyser/llvm2smt.git"
doc: "https://termite-analyser.github.io/llvm2smt/"
tags: ["llvm" "smt" "Z3"]
build: [
["ocaml" "setup.ml" "-configure" "--prefix" prefix]
["ocaml" "setup.ml" "-build"]
]
install: ["ocaml" "setup.ml" "-install"]
remove: ["ocamlfind" "remove" "llvm2smt"]
depends: [
"ocamlfind" {build}
"llvm"
"z3overlay"
"ocamlgraph" {>= "1.8.6"}
"llvmgraph" {>= "0.2"}
## OASIS is not required in released version
"oasis" {build & >= "0.4.4"}
]