[51822] trunk/dports/math/isabelle/Portfile

[mww at macports.org]

Revision: 51822
          http://trac.macports.org/changeset/51822
Author:   mww at macports.org
Date:     2009-06-04 00:36:17 -0700 (Thu, 04 Jun 2009)
Log Message:
-----------
version 2009

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

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2009-06-04 05:53:42 UTC (rev 51821)
+++ trunk/dports/math/isabelle/Portfile	2009-06-04 07:36:17 UTC (rev 51822)
@@ -3,7 +3,7 @@
 PortSystem        1.0
 
 name              isabelle
-version           2008
+version           2009
 categories        math lang ml
 platforms         darwin
 maintainers       mww
@@ -22,8 +22,9 @@
                   http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
 
 distname          Isabelle${version}
-checksums         md5 4ebd3288458b6a87979b211bf8fe3e15 \
-                  sha1 82b4c9bf1791d24560561a8fafd0b24f4dfd1971
+checksums           md5     2b7a8d49bfba64aac7227d692c15c27b \
+                    sha1    2af6f19f23436c37611d8df23e918f76e9190f39 \
+                    rmd160  7cbde579b6f897b8110c465f17a185f04f6587e0
 patchfiles        patch-etc-settings.diff
 
 depends_lib       port:polyml
@@ -43,7 +44,7 @@
 
 destroot {
     file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
-    system "${destroot}${prefix}/lib/${name}/bin/isatool install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
+    system "${destroot}${prefix}/lib/${name}/bin/isabelle install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
     xinstall -d ${destroot}${prefix}/share/doc/
     file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version}
 }
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090604/c9b66c53/attachment.html>