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

[mww at macports.org]

Revision: 32949
          http://trac.macosforge.org/projects/macports/changeset/32949
Author:   mww at macports.org
Date:     2008-01-15 05:24:59 -0800 (Tue, 15 Jan 2008)

Log Message:
-----------
version 2008-01-15

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2008-01-15 12:45:44 UTC (rev 32948)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-01-15 13:24:59 UTC (rev 32949)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2007-11-19
+version			2008-01-15
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -15,12 +15,12 @@
 			and in particular formal verification, which includes proving \
 			the correctness of computer hardware or software and proving \
 			properties of computer languages and protocols. \
-			This version is a development snapshot of the upcoming 2007 release.
+			This version is a development snapshot of the upcoming 2008 release.
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_19-Nov-2007
-checksums		sha1 84b7d2d235441b05326cbae455bd3946692ee724
+distname		Isabelle_15-Jan-2008
+checksums		sha1 17804c399276e3b7748aa25e33508a8881194930
 
 depends_lib		port:polyml
 
@@ -32,8 +32,8 @@
 }
 
 destroot {
-	file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2007
-	system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2007/bin/isabelle isabelle-2007"
+	file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2008
+	system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2008/bin/isabelle isabelle-2008"
 }
 
 livecheck.check	regex

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