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

[mww at macports.org]

Revision: 33126
          http://trac.macosforge.org/projects/macports/changeset/33126
Author:   mww at macports.org
Date:     2008-01-18 09:20:26 -0800 (Fri, 18 Jan 2008)

Log Message:
-----------
version 2008-01-18

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2008-01-18 17:16:48 UTC (rev 33125)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-01-18 17:20:26 UTC (rev 33126)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-01-15
+version			2008-01-18
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,21 +19,30 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_15-Jan-2008
-checksums		sha1 17804c399276e3b7748aa25e33508a8881194930
+distname		Isabelle_18-Jan-2008
+checksums		sha1 f3ffb3f98dbef57b1d42baa176a3f24411b39a07
+patchfiles		patch-etc-settings
 
 depends_lib		port:polyml
 
-use_configure		no
+post-extract {
+	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
+}
+
 build {
 	system "cd ${worksrcpath} && ./build -a -b"
-	file delete -force ${worksrcpath}/doc ${worksrcpath}/src
 }
 
 destroot {
-	file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2008
-	system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2008/bin/isabelle isabelle-2008"
+	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}
 }
 
 livecheck.check	regex

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20080118/a3675967/attachment-0001.html