blob: 3d1c284aea9fec2b26996b3b66fbbbb83765e158 (
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
33
34
35
36
37
|
{
lib,
buildDunePackage,
fetchFromGitLab,
fetchurl,
}:
let
cuddTarball = fetchurl {
url = "https://github.com/ivmai/cudd/archive/refs/tags/cudd-3.0.0.tar.gz";
hash = "sha256-X+FFBBxZRonm589M1iPV8rfDYmFwi+jJpyrtcs9nrM4=";
};
in
buildDunePackage (finalAttrs: {
pname = "cudd";
version = "0.1.3";
src = fetchFromGitLab {
domain = "git.frama-c.com";
owner = "pub/codex";
repo = "cudd.ml";
tag = finalAttrs.version;
hash = "sha256-RLImpj+5fPjZTds+r1q5rGn001QQo2GzOvJQWJlBR64=";
};
postUnpack = ''
cp ${cuddTarball} $sourceRoot/cudd/cudd.tar.gz
'';
meta = {
description = "Minimal cudd bindings";
homepage = "https://git.frama-c.com/pub/codex/cudd.ml";
license = lib.licenses.lgpl2Only;
maintainers = with lib.maintainers; [ redianthus ];
};
})
|
