[31976] trunk/dports/math/isabelle

[mww at macports.org]

Revision: 31976
          http://trac.macosforge.org/projects/macports/changeset/31976
Author:   mww at macports.org
Date:     2007-12-12 18:02:57 -0800 (Wed, 12 Dec 2007)

Log Message:
-----------
* use 'isatool' for creating executables in $prefix/bin instead of symlinking
* fix ML_HOME
* increase revision

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

Added Paths:
-----------
    trunk/dports/math/isabelle/files/
    trunk/dports/math/isabelle/files/patch-etc-settings

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2007-12-13 01:41:42 UTC (rev 31975)
+++ trunk/dports/math/isabelle/Portfile	2007-12-13 02:02:57 UTC (rev 31976)
@@ -3,6 +3,7 @@
 PortSystem        1.0
 name              isabelle
 version           2007
+revision          1
 categories        math lang ml
 maintainers       mww
 description       Isabelle is a popular generic theorem proving environment.
@@ -22,6 +23,7 @@
 distname          Isabelle${version}
 checksums         md5 088e56b79a4c8cd3e4de7dad62a35827 \
                   sha1 dd1312a1af296cb02754069691801a23e03c7e15
+patchfiles        patch-etc-settings
 
 depends_lib       port:polyml
 
@@ -30,7 +32,9 @@
     system "cd ${worksrcpath} && mv ANNOUNCE CONTRIBUTORS COPYRIGHT NEWS README ${workpath}/doc"
 }
 
-use_configure     no
+configure {
+    reinplace "s|@prefix@|${prefix}|g" ${worksrcpath}/etc/settings
+}
 
 build {
     system "cd ${workpath}/${worksrcdir} && ./build -a -b"
@@ -38,9 +42,7 @@
 
 destroot {
     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
-    }
+    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}
 }

Added: trunk/dports/math/isabelle/files/patch-etc-settings
===================================================================
--- trunk/dports/math/isabelle/files/patch-etc-settings	                        (rev 0)
+++ trunk/dports/math/isabelle/files/patch-etc-settings	2007-12-13 02:02:57 UTC (rev 31976)
@@ -0,0 +1,17 @@
+--- etc/settings	2007-11-08 20:07:57.000000000 +0100
++++ etc/settings	2007-12-13 01:59:26.000000000 +0100
+@@ -19,13 +19,7 @@
+ # Poly/ML 4.x/5.x (automated settings)
+ POLY_HOME="$(type -p poly)"; [ -n "$POLY_HOME" ] && POLY_HOME="$(dirname "$POLY_HOME")"
+ ML_PLATFORM=$("$ISABELLE_HOME/lib/scripts/polyml-platform")
+-ML_HOME=$(choosefrom \
+-  "$ISABELLE_HOME/contrib/polyml/$ML_PLATFORM" \
+-  "$ISABELLE_HOME/../polyml/$ML_PLATFORM" \
+-  "/usr/local/polyml/$ML_PLATFORM" \
+-  "/usr/share/polyml/$ML_PLATFORM" \
+-  "/opt/polyml/$ML_PLATFORM" \
+-  $POLY_HOME)
++ML_HOME="@prefix@/bin"
+ ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
+ ML_OPTIONS="-H 500"
+ ML_DBASE=""

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