/
opam
40 lines (39 loc) · 1.31 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
opam-version: "2.0"
maintainer: "https://github.com/ocaml/opam-repository/issues"
build: [
[
"./configure"
"--prefix"
prefix
"--sbindir=%{lib}%/frama-c/sbin"
"--libexecdir=%{lib}%/frama-c/libexec"
"--sysconfdir=%{lib}%/frama-c/etc"
"--sharedstatedir=%{lib}%/frama-c/com"
"--localstatedir=%{lib}%/frama-c/var"
"--libdir=%{lib}%/frama-c/lib"
"--includedir=%{lib}%/frama-c/include"
"--datarootdir=%{lib}%/frama-c/share"
]
[make]
]
depends: [
"ocaml" {= "3.12.1"}
"ocamlgraph" {= "1.8.2"}
"lablgtk"
]
install: [make "install"]
synopsis:
"Platform dedicated to the static analysis of source code written in C"
description: """
Frama-C is a suite of tools dedicated to the analysis of the source
code of software written in C. Nitrogen version.
Frama-C gathers several static analysis techniques in a single
collaborative framework. The collaborative approach of Frama-C allows
static analyzers to build upon the results already computed by other
analyzers in the framework. Thanks to this approach, Frama-C provides
sophisticated tools, such as a slicer and dependency analysis."""
extra-files: ["frama-c.install" "md5=86508360ef0e4127e85baa4dc2e60a47"]
url {
src: "http://frama-c.com/download/frama-c-Nitrogen-20111001.tar.gz"
checksum: "md5=09bf25ed3d1b54e2d523166aa4499edd"
}