diff options
Diffstat (limited to 'toolchain/mpfr/Makefile')
| -rw-r--r-- | toolchain/mpfr/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 954040b85..bb66c7ab0 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -3,7 +3,6 @@ include $(TOPDIR)/rules.mk include ../rules.mk -include $(TOPDIR)/toolchain/gmp/Makefile.inc include Makefile.inc include ${TOPDIR}/mk/buildhlp.mk @@ -16,7 +15,6 @@ $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_HOST_DIR)/usr \ - --with-gmp-build=$(GMP_BUILD_DIR) \ --disable-shared \ --enable-static \ ); |