ports/176627: update port: lang/polyml

[Timothy Beyer]

>Number:         176627
>Category:       ports
>Synopsis:       update port: lang/polyml
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          maintainer-update
>Submitter-Id:   current-users
>Arrival-Date:   Sun Mar 03 23:10:00 UTC 2013
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Beyer
>Release:        FreeBSD 9.1-RELEASE-p1 i386
>Organization:
no organization
>Environment:
System: FreeBSD aeonserv.aeonnet 9.1-RELEASE-p1 FreeBSD 9.1-RELEASE-p1 #0: Sat Mar  2 15:48:23 PST 2013     root at aeonserv.aeonnet:/usr/obj/usr/src/sys/CUSTOM-9.1  i386

>Description:

- Update to version 5.5.

>How-To-Repeat:

    Apply patch and build port

>Fix:

    The included patch

--- polyml.diff begins here ---
diff -urN polyml.orig/Makefile polyml/Makefile
--- polyml.orig/Makefile	2013-02-08 03:44:48.000000000 -0800
+++ polyml/Makefile	2013-03-03 14:58:37.000000000 -0800
@@ -2,8 +2,7 @@
 # $FreeBSD: ports/lang/polyml/Makefile,v 1.17 2013/02/08 11:44:48 svnexp Exp $
 
 PORTNAME=	polyml
-PORTVERSION=	5.4.1
-PORTREVISION=	1
+PORTVERSION=	5.5
 CATEGORIES=	lang
 MASTER_SITES=	SF
 DISTNAME=	${PORTNAME}.${PORTVERSION}
@@ -27,7 +26,7 @@
 		lib/libpolyml.a		\
 		lib/libpolyml.la	\
 		lib/libpolyml.so	\
-		lib/libpolyml.so.3
+		lib/libpolyml.so.4
 
 MAN1=		poly.1 polyimport.1
 MANCOMPRESSED=	no
diff -urN polyml.orig/distinfo polyml/distinfo
--- polyml.orig/distinfo	2012-05-20 18:53:23.000000000 -0700
+++ polyml/distinfo	2013-03-03 14:25:56.000000000 -0800
@@ -1,2 +1,2 @@
-SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac
-SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319
+SHA256 (polyml/polyml.5.5.tar.gz) = 2b20e597e6fe43df1b0ed01e78e410c6b51d0ac7911833e91d94fcc9eb05d831
+SIZE (polyml/polyml.5.5.tar.gz) = 5504389
--- polyml.diff ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted: