ports/116046: Update port: math/isabelle

[Timothy Bourke]

The following reply was made to PR ports/116046; it has been noted by GNATS.

From: Timothy Bourke <timbob at bigpond.com>
To: bug-followup at FreeBSD.org
Cc:  
Subject: Re: ports/116046: Update port: math/isabelle
Date: Sun, 9 Sep 2007 22:47:21 +1000

 --TRYliJ5NKNqkz5bu
 Content-Type: multipart/mixed; boundary="+QahgC5+KEYLbs62"
 Content-Disposition: inline
 
 
 --+QahgC5+KEYLbs62
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Patches to patches. Thanks again to Johannes 5 Joemann.
 
 
 --+QahgC5+KEYLbs62
 Content-Type: text/x-diff; charset=us-ascii
 Content-Disposition: attachment; filename="isabelle.patch"
 Content-Transfer-Encoding: quoted-printable
 
 diff -ur isabelle.orig/Makefile isabelle/Makefile
 --- isabelle.orig/Makefile	Sun Sep  9 22:18:47 2007
 +++ isabelle/Makefile	Sun Sep  9 22:19:46 2007
 @@ -41,6 +41,7 @@
 =20
  USE_PERL5=3D	yes
  RUN_DEPENDS+=3D	proofgeneral:${PORTSDIR}/math/proofgeneral
 +RUN_DEPENDS+=3D	smlnj-devel>=3D110.65:${PORTSDIR}/lang/sml-nj-devel
 =20
  DOCFILES=3D	Contents *.pdf *.eps *.ps *.dvi
 =20
 diff -ur isabelle.orig/files/patch-etc-settings isabelle/files/patch-etc-se=
 ttings
 --- isabelle.orig/files/patch-etc-settings	Sun Sep  9 22:18:46 2007
 +++ isabelle/files/patch-etc-settings	Sun Sep  9 22:34:37 2007
 @@ -1,6 +1,6 @@
 ---- etc/settings.orig	Thu Nov 24 21:53:10 2005
 -+++ etc/settings	Thu Nov 24 22:07:36 2005
 -@@ -16,33 +16,11 @@
 +--- etc/settings.orig	Thu Sep 22 04:26:45 2005
 ++++ etc/settings	Sun Sep  9 22:23:15 2007
 +@@ -16,33 +16,14 @@
   # not invent new ML system names unless you know what you are doing.
   # Only one of the sections below should be activated.
  =20
 @@ -30,16 +30,18 @@
  -#ML_HOME=3D"$ISABELLE_HOME/contrib/mosml/bin"
  -#ML_PLATFORM=3D""
  -#ML_OPTIONS=3D""
 --
  +ML_SYSTEM=3D%%ML_SYSTEM%%
  +ML_HOME=3D%%ML_HOME%%
  +ML_OPTIONS=3D%%ML_OPTIONS%%
  +ML_PLATFORM=3D%%ML_PLATFORM%%
  +ML_DBASE=3D%%ML_DBASE%%
  =20
 ++# Selects the lang/sml-nj-devel binaries when Isabelle runs on SML/NJ.
 ++SMLNJ_DEVEL=3Dyes
 +=20
   ###
   ### Compilation options (cf. isatool usedir)
 -@@ -116,7 +94,7 @@
 +@@ -116,7 +97,7 @@
   ###
  =20
   # Where to look for docs (multiple dirs separated by ':').
 @@ -48,7 +50,7 @@
  =20
   # Preferred document format
   ISABELLE_DOC_FORMAT=3Dpdf
 -@@ -152,6 +130,7 @@
 +@@ -152,6 +133,7 @@
     "/usr/share/ProofGeneral/isar/interface" \
     "/opt/ProofGeneral/isar/interface" \
     "/usr/share/emacs/ProofGeneral/isar/interface" \
 
 --+QahgC5+KEYLbs62--
 
 --TRYliJ5NKNqkz5bu
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 Version: GnuPG v2.0.4 (FreeBSD)
 
 iD8DBQFG4+tYtKVK1sFb0ecRAo+PAJ9XQF8D8pGWjEASqsxihpqTRYRqugCcDRTk
 jFvmnLfh0jn+qK8h059IX88=
 =JBFI
 -----END PGP SIGNATURE-----
 
 --TRYliJ5NKNqkz5bu--