Date: Mon, 10 Sep 2007 12:00:13 GMT From: Timothy Bourke <timbob@bigpond.com> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/116046: Update port: math/isabelle Message-ID: <200709101200.l8AC0DUP023468@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/116046; it has been noted by GNATS.
From: Timothy Bourke <timbob@bigpond.com>
To: bug-followup@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--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709101200.l8AC0DUP023468>