svn commit: r322309 - head/devel/uppaal
Baptiste Daroussin
bapt at FreeBSD.org
Fri Jul 5 06:42:32 UTC 2013
Author: bapt
Date: Fri Jul 5 06:42:31 2013
New Revision: 322309
URL: http://svnweb.freebsd.org/changeset/ports/322309
Log:
Mark as broken: does not fetch
Modified:
head/devel/uppaal/Makefile
Modified: head/devel/uppaal/Makefile
==============================================================================
--- head/devel/uppaal/Makefile Fri Jul 5 06:38:03 2013 (r322308)
+++ head/devel/uppaal/Makefile Fri Jul 5 06:42:31 2013 (r322309)
@@ -1,9 +1,5 @@
-# New ports collection makefile for: uppaal
-# Date created: 16 August 2005
-# Whom: Timothy Bourke <timbob at bigpond.com>
-#
+# Created by: Timothy Bourke <timbob at bigpond.com>
# $FreeBSD$
-#
PORTNAME= uppaal
PORTVERSION= 4.0.10
@@ -14,6 +10,8 @@ DISTNAME= uppaal-${PORTVERSION}-aca
MAINTAINER= ports at FreeBSD.org
COMMENT= Tool environment for modeling and verifying timed automata
+BROKEN= Does not fetch
+
USE_ZIP= yes
USE_LINUX= yes
USE_JAVA= yes
More information about the svn-ports-head
mailing list