ports/111446: Update port: devel/uppaal 4.0.2->4.0.6

Timothy Bourke timbob at bigpond.com
Tue Apr 10 11:50:08 UTC 2007


>Number:         111446
>Category:       ports
>Synopsis:       Update port: devel/uppaal 4.0.2->4.0.6
>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:   Tue Apr 10 11:50:07 GMT 2007
>Closed-Date:
>Last-Modified:
>Originator:     Timothy Bourke
>Release:        FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m)
>Organization:
n/a
>Environment:
>Description:
pointyhat/kris report that the previous version is no longer
		available for download.

		Unfortunately the verifier (server.exe) in this release
		requires compat.linux.osrelease 2.6.16 which means it will
		only work on current.
>How-To-Repeat:
>Fix:

--- uppaal.diff begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/Makefile,v
retrieving revision 1.4
diff -u -r1.4 Makefile
--- Makefile	13 Nov 2006 01:33:41 -0000	1.4
+++ Makefile	10 Apr 2007 11:45:30 -0000
@@ -2,11 +2,11 @@
 # Date created:        16 August 2005
 # Whom:                Timothy Bourke <timbob at bigpond.com>
 #
-# $FreeBSD: ports/devel/uppaal/Makefile,v 1.4 2006/11/13 01:33:41 miwi Exp $
+# $FreeBSD$
 #
 
 PORTNAME=	uppaal
-PORTVERSION=	4.0.2
+PORTVERSION=	4.0.6
 CATEGORIES=	devel java linux
 
 MAINTAINER=	timbob at bigpond.com
@@ -31,6 +31,12 @@
 
 .include <bsd.port.pre.mk>
 
+LINUX_OSRELEASE!=	${SYSCTL} -n compat.linux.osrelease
+
+.if ${LINUX_OSRELEASE} == "2.4.2" || ${OSVERSION} < 700000
+IGNORE=requires compat.linux.osrelease of at least 2.6.16 (needs 7.0 or later)
+.endif
+
 .if !exists(${DISTDIR}/${DISTNAME}${EXTRACT_SUFX}) && !defined(PACKAGE_BUILDING)
 ECHO_MSG=/usr/bin/printf
 IGNORE=Please download ${DISTNAME}${EXTRACT_SUFX} into\
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/devel/uppaal/distinfo,v
retrieving revision 1.2
diff -u -r1.2 distinfo
--- distinfo	15 Sep 2006 09:07:16 -0000	1.2
+++ distinfo	10 Apr 2007 11:45:30 -0000
@@ -1,3 +1,3 @@
-MD5 (uppaal-4.0.2.zip) = 6698f31403a6543d850e43d4a85025f4
-SHA256 (uppaal-4.0.2.zip) = b415a981415499d7a587915f28451f95445d345c7fa91f4c19f390d8e766c6ff
-SIZE (uppaal-4.0.2.zip) = 6996650
+MD5 (uppaal-4.0.6.zip) = d4feef3db9dc6b23b3aada01f32efbb8
+SHA256 (uppaal-4.0.6.zip) = 043e3e0930519f1e59edf3ebe541c4a4ac7db3ebbfff2d0aa34514ac8014da8e
+SIZE (uppaal-4.0.6.zip) = 6992522
--- uppaal.diff ends here ---

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



More information about the freebsd-ports-bugs mailing list