aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>2011-08-05 03:57:16 +0159
committerBernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>2011-08-05 03:57:16 +0159
commitca893a70d2f86655a9a2673be9996149997ae993 (patch)
tree326e85bd88a278c4dd328c096cb46fa7e28c182d
parent5afea9ab0b52258e2adcd5ecc4d39f28ff2e918f (diff)
downloadbuild-ca893a70d2f86655a9a2673be9996149997ae993.tar.gz
Point CLooG 0.16.x at the version of gmp we built
-rw-r--r--Makefile.in3
1 files changed, 2 insertions, 1 deletions
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