blob: 57bac22951394fd95f82e52fd9c5aa1ed6cf6c2f (
plain) (
blame)
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
|
{ lib
, stdenv
, fetchFromGitHub
, fetchpatch
, bison
, flex
, perl
, gmp
, mpfr
, qtbase
, enableGist ? true
}:
stdenv.mkDerivation rec {
pname = "gecode";
version = "6.2.0";
src = fetchFromGitHub {
owner = "Gecode";
repo = "gecode";
rev = "release-${version}";
sha256 = "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk";
};
patches = [
(import ./fix-const-weights-clang-patch.nix fetchpatch)
];
enableParallelBuilding = true;
dontWrapQtApps = true;
nativeBuildInputs = [ bison flex ];
buildInputs = [ perl gmp mpfr ]
++ lib.optional enableGist qtbase;
meta = with lib; {
license = licenses.mit;
homepage = "https://www.gecode.org";
description = "Toolkit for developing constraint-based systems";
platforms = platforms.all;
maintainers = [ ];
};
}
|