summaryrefslogtreecommitdiff
path: root/toolchain/gmp
diff options
context:
space:
mode:
Diffstat (limited to 'toolchain/gmp')
-rw-r--r--toolchain/gmp/Makefile32
-rw-r--r--toolchain/gmp/Makefile.inc12
2 files changed, 44 insertions, 0 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile
new file mode 100644
index 000000000..937f1b411
--- /dev/null
+++ b/toolchain/gmp/Makefile
@@ -0,0 +1,32 @@
+# $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 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) \
+ --disable-shared \
+ --enable-static \
+ --disable-nls \
+ );
+ 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/gmp/Makefile.inc b/toolchain/gmp/Makefile.inc
new file mode 100644
index 000000000..f0db3fb5b
--- /dev/null
+++ b/toolchain/gmp/Makefile.inc
@@ -0,0 +1,12 @@
+# $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:= gmp
+PKG_VERSION:= 4.2.2
+PKG_RELEASE:= 1
+PKG_MD5SUM:= 7ce52531644e6d12f16911b7e3151f3f
+MASTER_SITES:= ${MASTER_SITE_GNU:=gmp/}
+DISTFILES:= $(PKG_NAME)-$(PKG_VERSION).tar.bz2
+GMP_BUILD_DIR:= $(TOOLCHAIN_BUILD_DIR)/$(PKG_NAME)-$(PKG_VERSION)