[37506] trunk/dports/math/isabelle
mww at macports.org
mww at macports.org
Tue Jun 10 04:21:25 PDT 2008
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
More information about the macports-changes
mailing list