forked from facebook/infer
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathopam
39 lines (39 loc) · 832 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
28
29
30
31
32
33
34
35
36
37
38
39
opam-version: "1.2"
name: "infer"
version: "0.8.0"
maintainer: "[email protected]"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"
bug-reports: "https://github.com/facebook/infer/issues"
dev-repo: "https://github.com/facebook/infer.git"
license: "BSD"
build: [
["./autogen.sh"]
["./configure"
"--disable-c-analyzers"
"--prefix=%{prefix}%"]
["make" "-j%{jobs}%"]
]
install: [
["make" "install"]
]
remove: [
["./autogen.sh"]
["./configure"
"--disable-c-analyzers"
"--prefix=%{prefix}%"]
["make" "uninstall"]
]
ocaml-version: [ >= "4.02.1" ]
depends: [
"ocamlfind" {build}
"sawja" {>="1.5.1"}
"atdgen" {>="1.6.0"}
"javalib" {>="2.3.1"}
"extlib" {>="1.5.4"}
"ounit" {>="2.0.0"}
]
depexts: [
[ ["ubuntu"] ["python2.7-dev"] ]
[ ["debian"] ["python2.7-dev"] ]
]