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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
|
{
lib,
buildDunePackage,
fetchFromGitLab,
clang,
libclang,
libllvm,
flint,
mpfr,
pplite,
ocaml,
menhir,
apron,
arg-complete,
camlidl,
yojson,
zarith,
}:
buildDunePackage (finalAttrs: {
pname = "mopsa";
version = "1.1";
minimalOCamlVersion = "4.13";
src = fetchFromGitLab {
owner = "mopsa";
repo = "mopsa-analyzer";
tag = "v${finalAttrs.version}";
hash = "sha256-lO5dtGAl1dq8oJco/hPXrAbN05rKc62Zrci/8CLrQ0c=";
};
nativeBuildInputs = [
clang
libllvm
menhir
];
buildInputs = [
arg-complete
camlidl
mpfr
];
propagatedBuildInputs = [
apron
flint
libclang
pplite
yojson
zarith
];
postPatch = ''
patchShebangs bin
'';
buildPhase = ''
runHook preBuild
dune build --profile release -p mopsa
runHook postBuild
'';
installPhase = ''
runHook preInstall
dune install --profile release --prefix=$bin --libdir=$out/lib/ocaml/${ocaml.version}/site-lib
runHook postInstall
'';
outputs = [
"bin"
"out"
];
meta = {
license = lib.licenses.lgpl3Plus;
homepage = "https://mopsa.lip6.fr/";
description = "Modular and Open Platform for Static Analysis using Abstract Interpretation";
maintainers = [ lib.maintainers.vbgl ];
};
})
|
