Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
863 B · 50 lines
Nix
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051{ lib, stdenv, fetchFromGitHub, fetchpatch, bison, flex, perl, gmp, mpfr, qtbase, enableGist ? true,}:
stdenv.mkDerivation rec { pname = "gecode"; version = "6.2.0";
src = fetchFromGitHub { owner = "Gecode"; repo = "gecode"; rev = "release-${version}"; sha256 = "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk"; };
patches = [ (import ./fix-const-weights-clang-patch.nix fetchpatch) ];
enableParallelBuilding = true; dontWrapQtApps = true; nativeBuildInputs = [ bison flex ]; buildInputs = [ perl gmp mpfr ] ++ lib.optional enableGist qtbase;
meta = with lib; { license = licenses.mit; homepage = "https://www.gecode.org"; description = "Toolkit for developing constraint-based systems"; platforms = platforms.all; maintainers = [ ]; };}