From ca893a70d2f86655a9a2673be9996149997ae993 Mon Sep 17 00:00:00 2001
From: Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>
Date: Fri, 5 Aug 2011 03:57:16 +0159
Subject: Point CLooG 0.16.x at the version of gmp we built

---
 Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 8737af2..42e7ce5 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -604,7 +604,8 @@ CLOOG_CONFIG_ARGS=$(baseargs) --prefix=$(TEMP_INSTALLDIR) --disable-shared \
        --target=${target_alias} \
        --host=${host} --build=${build} \
        --disable-nls \
-       --with-gmp=$(GMP_DIR)
+       --with-gmp=$(GMP_DIR) \
+       --with-gmp-prefix=$(GMP_DIR)
 # for cloog-ppl version 0.15.x, ppl is required.
 ifneq ($(findstring ppl-,$(CLOOG_VERSION)),)
 CLOOG_TARGET = libcloog.la
-- 
cgit v1.2.3