summaryrefslogtreecommitdiff
path: root/toolchain/mpfr
diff options
context:
space:
mode:
Diffstat (limited to 'toolchain/mpfr')
-rw-r--r--toolchain/mpfr/Makefile33
-rw-r--r--toolchain/mpfr/Makefile.inc11
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