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