From owner-freebsd-ports-bugs@FreeBSD.ORG Tue Apr 10 11:50:08 2007 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 36C5316A403 for ; Tue, 10 Apr 2007 11:50:08 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [69.147.83.40]) by mx1.freebsd.org (Postfix) with ESMTP id 1262813C43E for ; Tue, 10 Apr 2007 11:50:08 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id l3ABo70w052053 for ; Tue, 10 Apr 2007 11:50:07 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id l3ABo7Yu052052; Tue, 10 Apr 2007 11:50:07 GMT (envelope-from gnats) Resent-Date: Tue, 10 Apr 2007 11:50:07 GMT Resent-Message-Id: <200704101150.l3ABo7Yu052052@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Timothy Bourke Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id 903C416A400 for ; Tue, 10 Apr 2007 11:49:57 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from mail19.syd.optusnet.com.au (mail19.syd.optusnet.com.au [211.29.132.200]) by mx1.freebsd.org (Postfix) with ESMTP id 2CCD413C468 for ; Tue, 10 Apr 2007 11:49:54 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from triptrop.cse.unsw.edu.au (blaax11-a036.dialup.optusnet.com.au [203.164.190.36]) by mail19.syd.optusnet.com.au (8.13.1/8.13.1) with ESMTP id l3ABniBn030726 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 10 Apr 2007 21:49:46 +1000 Received: from triptrop.cse.unsw.edu.au (localhost [127.0.0.1]) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6) with ESMTP id l3ABm6CN004667 for ; Tue, 10 Apr 2007 21:48:06 +1000 (EST) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: (from tbourke@localhost) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6/Submit) id l3ABm54u004666; Tue, 10 Apr 2007 21:48:05 +1000 (EST) (envelope-from tbourke) Message-Id: <200704101148.l3ABm54u004666@triptrop.cse.unsw.edu.au> Date: Tue, 10 Apr 2007 21:48:05 +1000 (EST) From: Timothy Bourke To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/111446: Update port: devel/uppaal 4.0.2->4.0.6 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 10 Apr 2007 11:50:08 -0000 >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 # -# $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 +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: