[30037] trunk/dports/math/isabelle-devel/Portfile

[source_changes at macosforge.org]

Revision: 30037
          http://trac.macosforge.org/projects/macports/changeset/30037
Author:   mww at macports.org
Date:     2007-10-18 14:37:24 -0700 (Thu, 18 Oct 2007)

Log Message:
-----------
add 'lang' and 'ml' to categories, add livecheck

Modified Paths:
--------------
    trunk/dports/math/isabelle-devel/Portfile

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2007-10-18 20:52:23 UTC (rev 30036)
+++ trunk/dports/math/isabelle-devel/Portfile	2007-10-18 21:37:24 UTC (rev 30037)
@@ -4,7 +4,7 @@
 
 name			isabelle-devel
 version			2007-10-18
-categories		math
+categories		math lang ml
 platforms		darwin
 maintainers		mww
 description		Isabelle is a popular generic theorem proving environment
@@ -37,3 +37,6 @@
 	file delete -force ${destroot}${prefix}/lib/isabelle2007/src
 }
 
+livecheck.check	moddate
+livecheck.url	${master_sites}
+

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071018/f001a8a4/attachment.html