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