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

[source_changes at macosforge.org]

Revision: 30713
          http://trac.macosforge.org/projects/macports/changeset/30713
Author:   mww at macports.org
Date:     2007-11-05 02:33:41 -0800 (Mon, 05 Nov 2007)

Log Message:
-----------
version 2007-11-04, improve livecheck

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2007-11-05 10:16:48 UTC (rev 30712)
+++ trunk/dports/math/isabelle-devel/Portfile	2007-11-05 10:33:41 UTC (rev 30713)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2007-11-01
+version			2007-11-04
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,8 +19,8 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_01-Nov-2007
-checksums		sha1 8467b4be043e739c775f21daf6eabf32d9be9138
+distname		Isabelle_04-Nov-2007
+checksums		sha1 99333f1e1dcf43e915378dcf1c6f3d593b175c37
 
 depends_lib		port:polyml
 
@@ -37,6 +37,8 @@
 	file delete -force ${destroot}${prefix}/lib/isabelle2007/src
 }
 
-livecheck.check	moddate
-livecheck.url	${master_sites}
+livecheck.check	regex
+livecheck.url	${homepage}/devel/
+livecheck.version	${distname}
+livecheck.regex		(Isabelle_\[0-9\]+-\[a-zA-Z\]+-200\[7-9\]).tar.gz
 

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