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 ] ++ lib.optional enableGist qtbase;
41
42 meta = with lib; {
43 license = licenses.mit;
44 homepage = "https://www.gecode.org";
45 description = "Toolkit for developing constraint-based systems";
46 platforms = platforms.all;
47 maintainers = [ ];
48 };
49}