diff options
Diffstat (limited to 'toolchain/mpfr')
| -rw-r--r-- | toolchain/mpfr/Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index f74f0199f..67753db9b 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -7,8 +7,12 @@ include $(TOPDIR)/toolchain/gmp/Makefile.inc include Makefile.inc include ${TOPDIR}/mk/buildhlp.mk -$(WRKBUILD)/.headers: -$(WRKBUILD)/.configured: +ifeq (${ADK_MAKE_PARALLEL},y) +MPFR_MAKEOPTS+= -j${ADK_MAKE_JOBS} +endif + +$(WRKBUILD)/.headers: +$(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ @@ -21,7 +25,7 @@ $(WRKBUILD)/.configured: touch $@ $(WRKBUILD)/.compiled: $(WRKBUILD)/.configured - $(MAKE) -C $(WRKBUILD) all + $(MAKE) ${MPFR_MAKEOPTS} -C $(WRKBUILD) all touch $@ $(WRKBUILD)/.installed: $(WRKBUILD)/.compiled |