pyrox.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 fetchpatch,
6 bison,
7 flex,
8 perl,
9 gmp,
10 mpfr,
11 qtbase,
12 enableGist ? true,
13}:
14
15stdenv.mkDerivation rec {
16 pname = "gecode";
17 version = "6.2.0";
18
19 src = fetchFromGitHub {
20 owner = "Gecode";
21 repo = "gecode";
22 rev = "release-${version}";
23 sha256 = "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk";
24 };
25
26 patches = [
27 (import ./fix-const-weights-clang-patch.nix fetchpatch)
28 ];
29
30 enableParallelBuilding = true;
31 dontWrapQtApps = true;
32 nativeBuildInputs = [
33 bison
34 flex
35 ];
36 buildInputs = [
37 perl
38 gmp
39 mpfr
40 ]
41 ++ lib.optional enableGist qtbase;
42
43 meta = with lib; {
44 license = licenses.mit;
45 homepage = "https://www.gecode.org";
46 description = "Toolkit for developing constraint-based systems";
47 platforms = platforms.all;
48 maintainers = [ ];
49 };
50}