changeset 3501:33b776056ec1

gcc: fix gmp-prefix * src/gcc-isl.mk: set gmp-prefix from PREFIX to BUILD_TOOLS_PREFIX
author John Donoghue <john.donoghue@ieee.org>
date Tue, 04 Feb 2014 06:18:45 -0500
parents dfc2729af6ee
children d667a65b0f2f
files src/gcc-isl.mk
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/gcc-isl.mk	Tue Feb 04 00:12:25 2014 -0500
+++ b/src/gcc-isl.mk	Tue Feb 04 06:18:45 2014 -0500
@@ -20,7 +20,7 @@
     cd    '$(1).build' && '$(1)/configure' \
         --prefix='$(BUILD_TOOLS_PREFIX)' \
         $(ENABLE_SHARED_OR_STATIC) \
-        --with-gmp-prefix='$(PREFIX)'
+        --with-gmp-prefix='$(BUILD_TOOLS_PREFIX)'
     $(MAKE) -C '$(1).build' -j '$(JOBS)'
     $(MAKE) -C '$(1).build' -j 1 install
 endef