blob: 478022b3ba72e246f7934c580aa74739624ea8d9 (
plain)
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
|
{
lib,
fetchFromGitHub,
buildDunePackage,
menhir,
apronext,
picasso,
}:
buildDunePackage (finalAttrs: {
pname = "libabsolute";
version = "0.3";
src = fetchFromGitHub {
owner = "mpelleau";
repo = "absolute";
tag = finalAttrs.version;
hash = "sha256-q2QxqZJn71MODJ1+Yf9m33qu8xERTqExMANqgk7aksQ=";
};
nativeBuildInputs = [ menhir ];
propagatedBuildInputs = [
apronext
picasso
];
meta = {
license = lib.licenses.lgpl3Plus;
homepage = "https://github.com/mpelleau/AbSolute";
description = "A constraint programming library based on abstract domains";
};
})
|
