ports/127064: [PATCH]math/glpk: update to 4.31

[bf]

>Number:         127064
>Category:       ports
>Synopsis:       [PATCH]math/glpk: update to 4.31
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          update
>Submitter-Id:   current-users
>Arrival-Date:   Wed Sep 03 11:50:01 UTC 2008
>Closed-Date:
>Last-Modified:
>Originator:     bf
>Release:        7-STABLE i386
>Organization:
-
>Environment:
>Description:
See http://lists.gnu.org/archive/html/help-glpk/2008-09/msg00000.html  .  Note shared library version bump.
>How-To-Repeat:

>Fix:


Patch attached with submission follows:

diff -ruN glpk.orig/Makefile glpk/Makefile
--- glpk.orig/Makefile	2008-09-03 06:48:35.103068142 -0400
+++ glpk/Makefile	2008-09-03 07:20:38.222629707 -0400
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	glpk
-PORTVERSION=	4.30
+PORTVERSION=	4.31
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_GNU}
 MASTER_SITE_SUBDIR=	glpk
@@ -51,8 +51,9 @@
 .endif
 
 .if !defined(NOPORTDOCS)
-PORTDOCS=	bench.txt bench1.txt glpk.ps glpk_faq.txt gmpl.ps \
-		gomory.djvu opb.txt tables.txt updating.djvu
+PORTDOCS=	bench.txt bench1.txt bench2.txt glpk.ps glpk_faq.txt gmpl.ps \
+		opb.txt tables.txt dfeas.djvu gomory.djvu scaling.djvu \
+		subset.djvu updating.djvu
 .endif
 
 post-patch:
@@ -63,8 +64,7 @@
 	@${INSTALL_DATA} ${WRKSRC}/include/*.h ${PREFIX}/include/
 
 .if !defined(NOPORTDOCS)
-	@${CP} ${WRKSRC}/doc/memo/gomory.djvu ${WRKSRC}/doc/
-	@${CP} ${WRKSRC}/doc/memo/updating.djvu ${WRKSRC}/doc/
+	@${CP} ${WRKSRC}/doc/notes/*.djvu ${WRKSRC}/doc/
 	@${MKDIR} ${DOCSDIR}
 	for docfile in ${PORTDOCS} ; do \
 		${INSTALL_MAN} ${WRKSRC}/doc/$${docfile} ${DOCSDIR} ; \
diff -ruN glpk.orig/distinfo glpk/distinfo
--- glpk.orig/distinfo	2008-09-03 06:48:35.113065782 -0400
+++ glpk/distinfo	2008-09-03 07:20:38.222629707 -0400
@@ -1,3 +1,3 @@
-MD5 (glpk-4.30.tar.gz) = cb213faaa82bdedea660a1f82483125c
-SHA256 (glpk-4.30.tar.gz) = b4d9d03f4de1411b5fa5e68d238ed5336b5f8eea93a58eac6ad03b4f25cda6d7
-SIZE (glpk-4.30.tar.gz) = 1599658
+MD5 (glpk-4.31.tar.gz) = 3f927e94d88151b1330da360d20d4caf
+SHA256 (glpk-4.31.tar.gz) = e84d426307ab07a3314f5e2b9befa8c8d37c4e8227fa7169c962b5886230ae18
+SIZE (glpk-4.31.tar.gz) = 1640854
diff -ruN glpk.orig/pkg-plist glpk/pkg-plist
--- glpk.orig/pkg-plist	2008-09-03 06:48:35.113065782 -0400
+++ glpk/pkg-plist	2008-09-03 07:20:38.222629707 -0400
@@ -8,6 +8,7 @@
 include/glpfhv.h
 include/glpgmp.h
 include/glphbm.h
+include/glpini.h
 include/glpios.h
 include/glpipm.h
 include/glpipp.h
@@ -25,6 +26,7 @@
 include/glprng.h
 include/glpscf.h
 include/glpscg.h
+include/glpscl.h
 include/glpspm.h
 include/glpspx.h
 include/glpsql.h
@@ -34,4 +36,4 @@
 lib/libglpk.a
 lib/libglpk.la
 lib/libglpk.so
-lib/libglpk.so.15
+lib/libglpk.so.16


>Release-Note:
>Audit-Trail:
>Unformatted: