From 68fde722139a7097ce91573901a4cc38f7a8f7ca Mon Sep 17 00:00:00 2001 From: Waldemar Brodkorb Date: Mon, 5 May 2014 10:53:11 +0200 Subject: with-gmp pointing to staging dir is required --- toolchain/mpfr/Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'toolchain/mpfr/Makefile') diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index bb66c7ab0..4436d4fcc 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -15,6 +15,7 @@ $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_HOST_DIR)/usr \ + --with-gmp=$(STAGING_HOST_DIR)/usr \ --disable-shared \ --enable-static \ ); -- cgit v1.2.3