pyrox.dev
1{ stdenv, fetchurl, perl }:
2
3stdenv.mkDerivation rec {
4 name = "gecode-${version}";
5 version = "4.4.0";
6
7 src = fetchurl {
8 url = "http://www.gecode.org/download/${name}.tar.gz";
9 sha256 = "0akqjzy6pd229mn0lhpdbyc4wbazhprkd5ijqs99z68bj3b9h0s3";
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}