[31027] trunk/dports/math/isabelle-devel/Portfile
source_changes at macosforge.org
source_changes at macosforge.org
Wed Nov 14 02:34:45 PST 2007
Revision: 31027
http://trac.macosforge.org/projects/macports/changeset/31027
Author: mww at macports.org
Date: 2007-11-14 02:34:44 -0800 (Wed, 14 Nov 2007)
Log Message:
-----------
version 2007-11-13
Modified Paths:
--------------
trunk/dports/math/isabelle-devel/Portfile
Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile 2007-11-14 08:42:58 UTC (rev 31026)
+++ trunk/dports/math/isabelle-devel/Portfile 2007-11-14 10:34:44 UTC (rev 31027)
@@ -3,7 +3,7 @@
PortSystem 1.0
name isabelle-devel
-version 2007-11-11
+version 2007-11-13
categories math lang ml
platforms darwin
maintainers mww
@@ -19,8 +19,8 @@
homepage http://isabelle.in.tum.de/
master_sites ${homepage}/devel/
-distname Isabelle_11-Nov-2007
-checksums sha1 9e28b8264db77054d507fe37b43c7b88321b696e
+distname Isabelle_13-Nov-2007
+checksums sha1 fd7b1f7f5c217972842cb48e62eee98ebd88a089
depends_lib port:polyml
@@ -28,13 +28,12 @@
build {
system "cd ${worksrcpath} && ./build -a -b"
- file delete -force ${worksrcpath}/doc
+ file delete -force ${worksrcpath}/doc ${worksrcpath}/src
}
destroot {
file copy ${worksrcpath} ${destroot}${prefix}/lib/isabelle2007
system "cd ${destroot}${prefix}/bin && ln -sf ${prefix}/lib/isabelle2007/bin/isabelle isabelle-2007"
- file delete -force ${destroot}${prefix}/lib/isabelle2007/src
}
livecheck.check regex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071114/b17d800b/attachment-0001.html
More information about the macports-changes
mailing list