diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2007-04-11 20:11:50 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2007-04-11 20:11:50 +0000 |
| commit | ad495a845f0bdb7b5db532112a5e0c824a6dfc11 (patch) | |
| tree | 664e980be8e23d0147f16e0d95766aba28653801 /devel/uppaal | |
| parent | 3ff98d4e944fcaf366b5a44e4b4303d3a2c42ec8 (diff) | |
| download | ports-ad495a845f0bdb7b5db532112a5e0c824a6dfc11.tar.gz ports-ad495a845f0bdb7b5db532112a5e0c824a6dfc11.zip | |
Notes
Diffstat (limited to 'devel/uppaal')
| -rw-r--r-- | devel/uppaal/Makefile | 8 | ||||
| -rw-r--r-- | devel/uppaal/distinfo | 6 |
2 files changed, 10 insertions, 4 deletions
diff --git a/devel/uppaal/Makefile b/devel/uppaal/Makefile index c637905b5bfc..fe95c85a199b 100644 --- a/devel/uppaal/Makefile +++ b/devel/uppaal/Makefile @@ -6,7 +6,7 @@ # PORTNAME= uppaal -PORTVERSION= 4.0.2 +PORTVERSION= 4.0.6 CATEGORIES= devel java linux MAINTAINER= timbob@bigpond.com @@ -31,6 +31,12 @@ RESTRICTED= Downloading requires completion of a license agreement .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\ diff --git a/devel/uppaal/distinfo b/devel/uppaal/distinfo index 1aa95268493b..db27ba68238f 100644 --- a/devel/uppaal/distinfo +++ b/devel/uppaal/distinfo @@ -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 |