pkgs/development/libraries/gecode/default.nix

   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
  14 stdenv.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 }