/
opam
37 lines (37 loc) · 1.02 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
opam-version: "2.0"
maintainer: "sawja@inria.fr"
authors: "Javalib development team"
homepage: "http://sawja.inria.fr"
bug-reports: "https://gforge.inria.fr/tracker/?atid=2815&group_id=686&func=browse"
license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
build: [
["./configure.sh"]
[make "ptrees"]
]
install: [
[make "installptrees"]
[make]
[make "install"]
]
remove: [
["ocamlfind" "remove" "javalib"]
["ocamlfind" "remove" "ptrees"]
]
depends: [
"ocaml" {>= "4.02"}
"ocamlfind"
"camlzip" {>= "1.05"}
"camlp4"
"extlib-compat"
]
synopsis:
"Javalib is a library written in OCaml with the aim to provide a high level representation of Java .class files."
description: """
Thus it stands for a good starting point for people who want to develop static analyses for
Java byte-code programs, benefiting from the strength of OCaml language."""
flags: light-uninstall
url {
src:
"https://gforge.inria.fr/frs/download.php/file/37154/javalib-2.3.4.tar.bz2"
checksum: "md5=4707eda130e41d1d7f0506cc0c77eff1"
}