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

[mww at macports.org]

Revision: 31720
          http://trac.macosforge.org/projects/macports/changeset/31720
Author:   mww at macports.org
Date:     2007-12-04 10:51:43 -0800 (Tue, 04 Dec 2007)

Log Message:
-----------
* version 2007
* take maintainership
* dem5302 at cs.rit.edu (former maintainer) is not in trac nor reachable via mail

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

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2007-12-04 16:29:22 UTC (rev 31719)
+++ trunk/dports/math/isabelle/Portfile	2007-12-04 18:51:43 UTC (rev 31720)
@@ -2,10 +2,9 @@
 
 PortSystem        1.0
 name              isabelle
-version           2004
-revision 	  2
-categories        lang ml
-maintainers       dem5302 at cs.rit.edu
+version           2007
+categories        math lang ml
+maintainers       mww
 description       Isabelle is a popular generic theorem proving environment.
 long_description  Isabelle is a generic proof assistant. It allows mathematical \
                   formulas to be expressed in a formal language and provides \
@@ -16,40 +15,37 @@
                   properties of computer languages and protocols.
 
 homepage          http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
-master_sites      http://www.cl.cam.ac.uk/~lp15/archive/
+master_sites      http://isabelle.in.tum.de/dist/ \
+                  http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/ \
+                  http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
 
-distfiles         Isabelle${version}${extract.suffix}
-checksums         md5 8ea6985fde973453090abaa68aaa8446
-worksrcdir        Isabelle2004
+distname          Isabelle${version}
+checksums         md5 088e56b79a4c8cd3e4de7dad62a35827 \
+                  sha1 dd1312a1af296cb02754069691801a23e03c7e15
 
-depends_lib       bin:poly:polyml \
-                  lib:poly/ML_dbase:polyml
+depends_lib       port:polyml
 
-# The goal is to make polyml+isabelle "just work" out of the box. If
-# a user wishes to use other implementations of ML, then they will
-# have to edit the settings file directly.
-#
-# The settings file is limited to very few scenarios out of the box.
-# We modify the linux entry, since it is the closest thing that will
-# resemble our MacPorts installation.
-
-post-configure {
-	reinplace "s|/.*/bin/poly|${prefix}/bin/poly|g" ${workpath}/${worksrcdir}/etc/settings
-	reinplace "s|/usr/lib/poly|${prefix}/lib/poly|g" ${workpath}/${worksrcdir}/etc/settings
-	reinplace "s|ML_PLATFORM=x86-linux|ML_PLATFORM=ppc-darwin|g" ${workpath}/${worksrcdir}/etc/settings
-	reinplace "s|ML_HOME=/usr/bin|ML_HOME=${prefix}/bin|g" ${workpath}/${worksrcdir}/etc/settings
+post-extract {
+    file rename ${worksrcpath}/doc ${workpath}/doc
+    system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
 }
 
+use_configure     no
+
 build {
-    cd ${workpath}/${worksrcdir}
-	system "./build -a"
+    system "cd ${workpath}/${worksrcdir} && ./build -a -b"
 }
 
 destroot {
-	file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/lib/Isabelle2004
-    system "${destroot}${prefix}/lib/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin"
-    reinplace "s|\"/.*/bin|\"${prefix}/lib/Isabelle2004/bin|g" \
-              ${destroot}${prefix}/bin/isabelle-process \
-              ${destroot}${prefix}/bin/isabelle-interface \
-              ${destroot}${prefix}/bin/isatool
+    file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
+    foreach f {isabelle isabelle-interface isabelle-process isatool} {
+        ln -sf ${prefix}/lib/isabelle/bin/${f} ${destroot}${prefix}/bin
+    }
+    xinstall -d ${destroot}${prefix}/share/doc/
+    file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version}
 }
+
+livecheck.check regex
+livecheck.url   http://www.cl.cam.ac.uk/research/hvg/Isabelle/download.html
+livecheck.regex Isabelle(\[0-9\]+).tar.gz
+

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071204/04a00e97/attachment.html