[37506] trunk/dports/math/isabelle

[mww at macports.org]

Revision: 37506
          http://trac.macosforge.org/projects/macports/changeset/37506
Author:   mww at macports.org
Date:     2008-06-10 04:21:24 -0700 (Tue, 10 Jun 2008)

Log Message:
-----------
version 2008

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

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

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

Modified: trunk/dports/math/isabelle/Portfile
===================================================================
--- trunk/dports/math/isabelle/Portfile	2008-06-10 11:20:24 UTC (rev 37505)
+++ trunk/dports/math/isabelle/Portfile	2008-06-10 11:21:24 UTC (rev 37506)
@@ -1,10 +1,11 @@
 # $Id$
 
 PortSystem        1.0
+
 name              isabelle
-version           2007
-revision          1
+version           2008
 categories        math lang ml
+platforms         darwin
 maintainers       mww
 description       Isabelle is a popular generic theorem proving environment.
 long_description  Isabelle is a generic proof assistant. It allows mathematical \
@@ -21,9 +22,9 @@
                   http://mirror.cse.unsw.edu.au/pub/isabelle/dist/
 
 distname          Isabelle${version}
-checksums         md5 088e56b79a4c8cd3e4de7dad62a35827 \
-                  sha1 dd1312a1af296cb02754069691801a23e03c7e15
-patchfiles        patch-etc-settings
+checksums         md5 4ebd3288458b6a87979b211bf8fe3e15 \
+                  sha1 82b4c9bf1791d24560561a8fafd0b24f4dfd1971
+patchfiles        patch-etc-settings.diff
 
 depends_lib       port:polyml
 

Deleted: trunk/dports/math/isabelle/files/patch-etc-settings
===================================================================
--- trunk/dports/math/isabelle/files/patch-etc-settings	2008-06-10 11:20:24 UTC (rev 37505)
+++ trunk/dports/math/isabelle/files/patch-etc-settings	2008-06-10 11:21:24 UTC (rev 37506)
@@ -1,17 +0,0 @@
---- 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=""

Copied: trunk/dports/math/isabelle/files/patch-etc-settings.diff (from rev 37499, trunk/dports/math/isabelle/files/patch-etc-settings)
===================================================================
--- trunk/dports/math/isabelle/files/patch-etc-settings.diff	                        (rev 0)
+++ trunk/dports/math/isabelle/files/patch-etc-settings.diff	2008-06-10 11:21:24 UTC (rev 37506)
@@ -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/20080610/1db02d84/attachment.htm