blob: d325f2501a3fb95bf7503a556a4f294ecba31f2c (
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
38
39
40
41
42
43
44
45
46
47
|
{
lib,
stdenv,
fetchFromGitHub,
bison,
cmake,
flex,
perl,
gmp,
mpfr,
libsForQt5,
enableGist ? true,
}:
stdenv.mkDerivation (finalAttrs: {
pname = "gecode";
version = "6.4.0";
src = fetchFromGitHub {
owner = "Gecode";
repo = "gecode";
tag = "release-${finalAttrs.version}";
hash = "sha256-WhMN7QC+VQfvHUV1LLaW7I7fG++/fznh1ZDUY/Q8zD8=";
};
enableParallelBuilding = true;
dontWrapQtApps = true;
nativeBuildInputs = [
bison
cmake
flex
];
buildInputs = [
perl
gmp
mpfr
]
++ lib.optional enableGist libsForQt5.qtbase;
meta = {
license = lib.licenses.mit;
homepage = "https://www.gecode.org";
description = "Toolkit for developing constraint-based systems";
platforms = lib.platforms.all;
maintainers = [ ];
};
})
|
