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

ryandesign at macports.org ryandesign at macports.org
Sun Jun 28 21:04:56 PDT 2009


Revision: 53079
          http://trac.macports.org/changeset/53079
Author:   ryandesign at macports.org
Date:     2009-06-28 21:04:56 -0700 (Sun, 28 Jun 2009)
Log Message:
-----------
isabelle-devel: avoid having to format the date in two different ways in the portfile; closes #16438 (maintainer timeout)

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-06-29 03:52:58 UTC (rev 53078)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-06-29 04:04:56 UTC (rev 53079)
@@ -4,6 +4,7 @@
 
 name			isabelle-devel
 version			2008-09-11
+set my_version		[clock format [clock scan ${version}] -format %d-%b-%Y]
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,7 +20,7 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_11-Sep-2008
+distname		Isabelle_${my_version}
 checksums		sha1 7620b15bff6a3910e149b3ae4c88c325e64e62d2
 patchfiles		patch-etc-settings.diff
 
@@ -47,6 +48,6 @@
 
 livecheck.check	regex
 livecheck.url	${homepage}/devel/
-livecheck.version	${distname}
-livecheck.regex		(Isabelle_\[0-9\]+-\[a-zA-Z\]+-200\[7-9\]).tar.gz
+livecheck.version	${my_version}
+livecheck.regex		(\[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/20090628/33dc9a15/attachment.html>


More information about the macports-changes mailing list