[33779] trunk/dports/math/isabelle-devel

mww at macports.org mww at macports.org
Mon Feb 4 23:24:52 PST 2008


Revision: 33779
          http://trac.macosforge.org/projects/macports/changeset/33779
Author:   mww at macports.org
Date:     2008-02-04 23:24:51 -0800 (Mon, 04 Feb 2008)

Log Message:
-----------
version 2008-02-03

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

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

Modified: trunk/dports/math/isabelle-devel/Portfile
===================================================================
--- trunk/dports/math/isabelle-devel/Portfile	2008-02-05 04:41:40 UTC (rev 33778)
+++ trunk/dports/math/isabelle-devel/Portfile	2008-02-05 07:24:51 UTC (rev 33779)
@@ -3,7 +3,7 @@
 PortSystem 1.0
 
 name			isabelle-devel
-version			2008-01-18
+version			2008-02-03
 categories		math lang ml
 platforms		darwin
 maintainers		mww
@@ -19,9 +19,9 @@
 
 homepage		http://isabelle.in.tum.de/
 master_sites		${homepage}/devel/
-distname		Isabelle_18-Jan-2008
-checksums		sha1 f3ffb3f98dbef57b1d42baa176a3f24411b39a07
-patchfiles		patch-etc-settings
+distname		Isabelle_03-Feb-2008
+checksums		sha1 eff99f8b6fdb08182625ac41cb9d536f2b932d60
+patchfiles		patch-etc-settings.diff
 
 depends_lib		port:polyml
 

Added: trunk/dports/math/isabelle-devel/files/patch-etc-settings.diff
===================================================================
--- trunk/dports/math/isabelle-devel/files/patch-etc-settings.diff	                        (rev 0)
+++ trunk/dports/math/isabelle-devel/files/patch-etc-settings.diff	2008-02-05 07:24:51 UTC (rev 33779)
@@ -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/20080204/7dcf56b2/attachment-0001.html


More information about the macports-changes mailing list