diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 10:53:11 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-05-05 10:53:18 +0200 |
| commit | 68fde722139a7097ce91573901a4cc38f7a8f7ca (patch) | |
| tree | 098a9c1a2dd20047873925ee1a62268efed56c73 | |
| parent | a04076d2615bde08d9a8099994caa310805e73d4 (diff) | |
with-gmp pointing to staging dir is required
| -rw-r--r-- | toolchain/mpfr/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ ); |