diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2014-03-17 19:16:45 +0100 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-03-17 19:16:45 +0100 |
| commit | ce0418c732e0d950d3a3c0b2b6726a691b8a0eca (patch) | |
| tree | 05d3966c80d16d17f03f1ab778780d6a445f4ee7 /toolchain/mpfr | |
| parent | 6c26b8016dda0c391a3a513c46998e16ce09cc4d (diff) | |
add TOOLCHAIN_DIR support
establish an extra dir for toolchain. Better for preparing toolchain
for other projetcs without host tools only used by openadk.
Use /usr prefix. No symlink workarounds needed anymore.
Diffstat (limited to 'toolchain/mpfr')
| -rw-r--r-- | toolchain/mpfr/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 019d14d77..954040b85 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -15,7 +15,7 @@ $(WRKBUILD)/.headers: $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ - --prefix=$(STAGING_HOST_DIR) \ + --prefix=$(STAGING_HOST_DIR)/usr \ --with-gmp-build=$(GMP_BUILD_DIR) \ --disable-shared \ --enable-static \ |