From a90a55309f50a163be0e98d8c184b2a62e7231c7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 30 Nov 2011 14:25:54 +0000
Subject: [PATCH] ISL: Downgrade to 0.07 so that CLooG builds.

svn path=/nixpkgs/trunk/; revision=30634
---
 pkgs/development/libraries/isl/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/libraries/isl/default.nix b/pkgs/development/libraries/isl/default.nix
index b7e7ee413b9..2261baba030 100644
--- a/pkgs/development/libraries/isl/default.nix
+++ b/pkgs/development/libraries/isl/default.nix
@@ -1,11 +1,11 @@
 {stdenv, fetchurl, gmp, static ? false}:
 
 stdenv.mkDerivation rec {
-  name = "isl-0.08";
+  name = "isl-0.07";             # CLooG 0.16.3 fails to build with ISL 0.08.
 
   src = fetchurl {
     url = "http://www.kotnet.org/~skimo/isl/${name}.tar.bz2";
-    sha256 = "16rqvajcp9x6j76mg9q6bprqkgsm1zprx50j90s6v996y7ww3j9l";
+    sha256 = "0kpxmvhrwwdygqqafqzjf9xiksq7paac2x24g9jhr3f9ajj3zkyx";
   };
 
   buildInputs = [ gmp ];