ports/120997: [MAINTAINER] lang/polyml: update to 5.1
Timothy Bourke
timbob at bigpond.com
Sat Feb 23 16:10:01 UTC 2008
>Number: 120997
>Category: ports
>Synopsis: [MAINTAINER] lang/polyml: update to 5.1
>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: Sat Feb 23 16:10:01 UTC 2008
>Closed-Date:
>Last-Modified:
>Originator: Timothy Bourke
>Release: FreeBSD 6.3-RELEASE i386
>Organization:
>Environment:
System: FreeBSD triptrop 6.3-RELEASE FreeBSD 6.3-RELEASE #1: Tue Jan 22 11:23:08 EST 2008
>Description:
- Update to 5.1
This maintainer-update is accompanied by two others:
math/isabelle
math/proofgeneral
Ideally, the three would be committed together.
Generated with FreeBSD Port Tools 0.77
>How-To-Repeat:
>Fix:
--- polyml-5.1.patch begins here ---
? files/patch-libpolyml-sighandler.cpp
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/lang/polyml/Makefile,v
retrieving revision 1.4
diff -u -r1.4 Makefile
--- Makefile 20 Mar 2007 16:18:23 -0000 1.4
+++ Makefile 23 Feb 2008 11:08:23 -0000
@@ -2,11 +2,11 @@
# Date created: 09 July 2005
# Whom: Timothy Bourke <timbob at bigpond.com>
#
-# $FreeBSD: ports/lang/polyml/Makefile,v 1.4 2007/03/20 16:18:23 miwi Exp $
+# $FreeBSD$
#
PORTNAME= polyml
-PORTVERSION= 5.0
+PORTVERSION= 5.1
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE}
MASTER_SITE_SUBDIR= ${PORTNAME}
@@ -18,7 +18,7 @@
USE_GCC= 3.2+
HAS_CONFIGURE= yes
-CONFIGURE_ARGS= --prefix=${PREFIX} --without-x
+CONFIGURE_ARGS= --prefix=${PREFIX} --mandir=${PREFIX}/man --without-x
USE_LDCONFIG= yes
ONLY_FOR_ARCHS= i386
@@ -29,7 +29,7 @@
lib/libpolyml.a \
lib/libpolyml.la \
lib/libpolyml.so \
- lib/libpolyml.so.0
+ lib/libpolyml.so.1
MAN1= poly.1 polyimport.1
MANCOMPRESSED= no
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/lang/polyml/distinfo,v
retrieving revision 1.4
diff -u -r1.4 distinfo
--- distinfo 6 Mar 2007 21:01:39 -0000 1.4
+++ distinfo 23 Feb 2008 11:08:23 -0000
@@ -1,3 +1,3 @@
-MD5 (polyml/polyml.5.0.tar.gz) = 61537cf2b0ca983d42845778fe3bd42f
-SHA256 (polyml/polyml.5.0.tar.gz) = 0eb3ee7f05eabedf6cd62e0ac2476882ecf92ad08f52b85e13dd6399d17a52da
-SIZE (polyml/polyml.5.0.tar.gz) = 4183140
+MD5 (polyml/polyml.5.1.tar.gz) = c7913285e56dc06ff401a3425c57b0d4
+SHA256 (polyml/polyml.5.1.tar.gz) = bb8c0d39c1f9b8eeb880efca1c118adaa7228854f656b842f3868530e88c988b
+SIZE (polyml/polyml.5.1.tar.gz) = 4215625
--- polyml-5.1.patch ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list