gmp: Update to 5.0.1.

Fixes issue #545.

diff --git a/pkgs/core/gmp/gmp.nm b/pkgs/core/gmp/gmp.nm
index ccac590c55a54e33aed07bc917a6c930c3b07af2..4e398b1aff1f2de26466bb901652374b70fa4484 100644 (file)
--- a/pkgs/core/gmp/gmp.nm
+++ b/pkgs/core/gmp/gmp.nm
@@ -25,7 +25,7 @@
 include $(PKGROOT)/Include
 
 PKG_NAME       = gmp
-PKG_VER        = 4.3.1
+PKG_VER        = 5.0.1
 PKG_REL        = 0
 
 PKG_MAINTAINER =
@@ -73,11 +73,3 @@ endef
 define STAGE_TEST
        cd $(DIR_APP) && make check
 endef
-
-define STAGE_INSTALL
-       cd $(DIR_APP) && make install DESTDIR=$(BUILDROOT)
-
-       -mkdir -pv $(BUILDROOT)/usr/share/doc/$(THISAPP)
-       cd $(DIR_APP) && cp -vf doc/{isa_abi_headache,configuration} doc/*.html \
-         $(BUILDROOT)/usr/share/doc/$(THISAPP)
-endef