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

[mww at macports.org]

Revision: 53412
          http://trac.macports.org/changeset/53412
Author:   mww at macports.org
Date:     2009-07-05 06:47:24 -0700 (Sun, 05 Jul 2009)
Log Message:
-----------
version 2009-07-05

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2009-07-05 09:53:05 UTC (rev 53411)
+++ trunk/dports/math/isabelle-devel/Portfile	2009-07-05 13:47:24 UTC (rev 53412)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-09-11
+version			2009-07-05
 set my_version		[clock format [clock scan ${version}] -format %d-%b-%Y]
 categories		math lang ml
 platforms		darwin
@@ -21,29 +21,31 @@
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
 distname		Isabelle_${my_version}
-checksums		sha1 7620b15bff6a3910e149b3ae4c88c325e64e62d2
+checksums           md5     f8d1f1d3f170e97595b268ca8b6eaa21 \
+                    sha1    8b2903f7f2acca2ff48765e98631f87d3472f017 \
+                    rmd160  ce0e285ba8552564b8d3df17713bb83546654fcf
 patchfiles		patch-etc-settings.diff
 
 depends_lib		port:polyml
 
 post-extract {
-	file rename ${worksrcpath}/doc ${workpath}/doc
-	system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
+    file rename ${worksrcpath}/doc ${workpath}/doc
+    system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
 }
 
 configure {
-	reinplace "s|@prefix@|${prefix}|g" ${worksrcpath}/etc/settings
+    reinplace "s|@prefix@|${prefix}|g" ${worksrcpath}/etc/settings
 }
 
 build {
-	system "cd ${worksrcpath} && ./build -a -b"
+    system "cd ${workpath}/${worksrcdir} && ./build -a -b"
 }
 
 destroot {
-	file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
-	system "${destroot}${prefix}/lib/${name}/bin/isatool 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}
+    file copy ${worksrcpath} ${destroot}${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}
 }
 
 livecheck.check	regex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20090705/8dec9c77/attachment.html>