diff options
Diffstat (limited to 'toolchain/gmp')
| -rw-r--r-- | toolchain/gmp/Makefile | 32 | ||||
| -rw-r--r-- | toolchain/gmp/Makefile.inc | 12 |
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) |