From 0efee092464c8866ef1c21d16ad0718060e05c59 Mon Sep 17 00:00:00 2001
From: Michael Raskin <7c6f434c@mail.ru>
Date: Mon, 7 Nov 2011 04:26:06 +0000
Subject: [PATCH] Use correct gmp for cross-build

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

diff --git a/pkgs/development/libraries/isl/default.nix b/pkgs/development/libraries/isl/default.nix
index b6f1d45b8fa..8a59c338711 100644
--- a/pkgs/development/libraries/isl/default.nix
+++ b/pkgs/development/libraries/isl/default.nix
@@ -5,7 +5,7 @@ let
   staticFlags = if static then " --enable-static --disable-shared" else "";
 in
 
-stdenv.mkDerivation {
+stdenv.mkDerivation rec {
   name = "isl-${version}";
   
   src = fetchurl {
@@ -17,6 +17,9 @@ stdenv.mkDerivation {
 
   dontDisableStatic = if static then true else false;
   configureFlags = "--with-gmp-prefix=${gmp}" + staticFlags;
+  crossAttrs = {
+    configureFlags = configureFlags + " --with-gmp-prefix=${gmp.hostDrv} ";
+  };
 
   meta = {
     homepage = http://www.kotnet.org/~skimo/isl/;