diff options
Diffstat (limited to 'toolchain/mpfr')
| -rw-r--r-- | toolchain/mpfr/Makefile | 33 | ||||
| -rw-r--r-- | toolchain/mpfr/Makefile.inc | 11 |
2 files changed, 44 insertions, 0 deletions
diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile new file mode 100644 index 000000000..8009c3acf --- /dev/null +++ b/toolchain/mpfr/Makefile @@ -0,0 +1,33 @@ +# $Id$ +#- +# This file is part of the OpenADK project. OpenADK is copyrighted +# material, please see the LICENCE file in the top-level directory. + +include $(TOPDIR)/rules.mk +include ../rules.mk +include $(TOPDIR)/toolchain/gmp/Makefile.inc +include Makefile.inc +include ${TOPDIR}/mk/buildhlp.mk + +$(WRKBUILD)/.headers: +$(WRKBUILD)/.configure_done: + (cd $(WRKBUILD); \ + $(WRKBUILD)/configure \ + --prefix=$(STAGING_TOOLS) \ + --build=$(GNU_HOST_NAME) \ + --host=$(GNU_HOST_NAME) \ + --with-gmp-build=$(GMP_BUILD_DIR) \ + --disable-shared \ + --enable-static \ + ); + touch $@ + +$(WRKBUILD)/.compiled: $(WRKBUILD)/.configure_done + $(MAKE) -C $(WRKBUILD) all + touch $@ + +$(WRKBUILD)/.installed: $(WRKBUILD)/.compiled + $(MAKE) -C $(WRKBUILD) install + touch $@ + +include ${TOPDIR}/mk/toolchain.mk diff --git a/toolchain/mpfr/Makefile.inc b/toolchain/mpfr/Makefile.inc new file mode 100644 index 000000000..a30ff5c5b --- /dev/null +++ b/toolchain/mpfr/Makefile.inc @@ -0,0 +1,11 @@ +# $Id$ +#- +# This file is part of the OpenADK project. OpenADK is copyrighted +# material, please see the LICENCE file in the top-level directory. + +PKG_NAME:= mpfr +PKG_VERSION:= 2.4.1 +PKG_RELEASE:= 1 +PKG_MD5SUM:= c5ee0a8ce82ad55fe29ac57edd35d09e +MASTER_SITES:= http://www.mpfr.org/mpfr-current/ +DISTFILES:= $(PKG_NAME)-$(PKG_VERSION).tar.bz2 |