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
|
{
lib,
buildDunePackage,
fetchFromGitHub,
hevea,
zarith,
dune-configurator,
stdlib-shims,
ppx_deriving_yojson,
yojson,
findlib,
cppo,
gcc,
perl,
}:
buildDunePackage (finalAttrs: {
pname = "goblint-cil";
version = "2.1.1";
minimalOCamlVersion = "4.12";
__structuredAttrs = true;
src = fetchFromGitHub {
owner = "goblint";
repo = "cil";
tag = finalAttrs.version;
hash = "sha256-nfu8LqTNyx/pkTlAHSay8q3KSYQ+asNAnnZjPUhkNwg=";
};
nativeBuildInputs = [
hevea
cppo
gcc
];
propagatedBuildInputs = [
zarith
dune-configurator
stdlib-shims
ppx_deriving_yojson
yojson
findlib
perl
];
# Currently broken, doesn't properly pass all tests, fails with many compile errors
doCheck = false;
meta = {
description = "Front-end for the C programming language that facilitates program analysis and transformation";
homepage = "https://goblint.github.io/cil/";
license = lib.licenses.bsd3;
maintainers = [ lib.maintainers.sempiternal-aurora ];
};
})
|
