b189247ba0
Uses the HTTPS url for cases where the existing URL has a permanent redirect. For each domain, at least one fixed derivation URL was downloaded to test the domain is properly serving downloads. Also fixes jbake source URL, which was broken.
23 lines
710 B
Nix
23 lines
710 B
Nix
{ stdenv, fetchurl, gmp }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "isl-0.11.1"; # CLooG 0.16.3 fails to build with ISL 0.08.
|
|
|
|
src = fetchurl {
|
|
url = "http://src.fedoraproject.org/repo/pkgs/gcc/isl-0.11.1.tar.bz2/bce1586384d8635a76d2f017fb067cd2/isl-0.11.1.tar.bz2";
|
|
sha256 = "13d9cqa5rzhbjq0xf0b2dyxag7pqa72xj9dhsa03m8ccr1a4npq9";
|
|
};
|
|
|
|
buildInputs = [ gmp ];
|
|
patches = [ ./fix-gcc-build.diff ];
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
meta = {
|
|
homepage = https://www.kotnet.org/~skimo/isl/;
|
|
license = stdenv.lib.licenses.lgpl21;
|
|
description = "A library for manipulating sets and relations of integer points bounded by linear constraints";
|
|
platforms = stdenv.lib.platforms.all;
|
|
};
|
|
}
|