Date: Tue, 10 Apr 2007 21:48:05 +1000 (EST) From: Timothy Bourke <timbob@bigpond.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/111446: Update port: devel/uppaal 4.0.2->4.0.6 Message-ID: <200704101148.l3ABm54u004666@triptrop.cse.unsw.edu.au> Resent-Message-ID: <200704101150.l3ABo7Yu052052@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200704101148.l3ABm54u004666>