pkgs/development/libraries/gecode/default.nix

   1 { lib, stdenv, fetchFromGitHub, bison, flex, perl, gmp, mpfr, enableGist ? true, qtbase }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "gecode";
   5   version = "6.2.0";
   6
   7   src = fetchFromGitHub {
   8     owner = "Gecode";
   9     repo = "gecode";
  10     rev = "release-${version}";
  11     sha256 = "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk";
  12   };
  13
  14   enableParallelBuilding = true;
  15   dontWrapQtApps = true;
  16   nativeBuildInputs = [ bison flex ];
  17   buildInputs = [ perl gmp mpfr ]
  18     ++ lib.optional enableGist qtbase;
  19
  20   meta = with lib; {
  21     license = licenses.mit;
  22     homepage = "https://www.gecode.org";
  23     description = "Toolkit for developing constraint-based systems";
  24     platforms = platforms.all;
  25     maintainers = [ ];
  26   };
  27 }