changeset 843:1c974975ef2c

new package: gmp
author Volker Grabsch <vog@notjusthosting.com>
date Sat, 10 Apr 2010 08:16:56 +0200
parents 6ed03d75a7ec
children 80738f6f27a0
files src/gmp.mk
diffstat 1 files changed, 31 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/gmp.mk	Sat Apr 10 08:16:56 2010 +0200
@@ -0,0 +1,31 @@
+# This file is part of mingw-cross-env.
+# See doc/index.html for further information.
+
+# GMP
+PKG             := gmp
+$(PKG)_IGNORE   :=
+$(PKG)_VERSION  := 5.0.1
+$(PKG)_CHECKSUM := 6340edc7ceb95f9015a758c7c0d196eb0f441d49
+$(PKG)_SUBDIR   := $(PKG)-$($(PKG)_VERSION)
+$(PKG)_FILE     := $(PKG)-$($(PKG)_VERSION).tar.bz2
+$(PKG)_WEBSITE  := http://www.gmplib.org/
+$(PKG)_URL      := ftp://ftp.gmplib.org/pub/$($(PKG)_SUBDIR)/$($(PKG)_FILE)
+$(PKG)_DEPS     := gcc
+
+define $(PKG)_UPDATE
+    wget -q -O- 'http://www.gmplib.org/' | \
+    grep '<a href="' | \
+    $(SED) -n 's,.*gmp-\([0-9][^>]*\)\.tar\.bz2.*,\1,p' | \
+    grep -v '^4\.' | \
+    head -1
+endef
+
+define $(PKG)_BUILD
+    cd '$(1)' && ./configure \
+        --host='$(TARGET)' \
+        --prefix='$(PREFIX)/$(TARGET)' \
+        --disable-shared \
+        --without-readline
+    $(MAKE) -C '$(1)' -j '$(JOBS)'
+    $(MAKE) -C '$(1)' -j 1 install
+endef