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