tjh.dev
1{ stdenv, fetchurl, bash, perl }:
2
3stdenv.mkDerivation rec {
4 pname = "gecode";
5 version = "3.7.3";
6
7 src = fetchurl {
8 url = "http://www.gecode.org/download/${pname}-${version}.tar.gz";
9 sha256 = "0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77";
10 };
11
12 nativeBuildInputs = [ bash perl ];
13
14 preConfigure = "patchShebangs configure";
15
16 meta = with stdenv.lib; {
17 license = licenses.mit;
18 homepage = "https://www.gecode.org";
19 description = "Toolkit for developing constraint-based systems";
20 platforms = platforms.all;
21 maintainers = [ maintainers.manveru ];
22 };
23}