* [gentoo-commits] gentoo-x86 commit in sci-mathematics/isabelle/files: isabelle-2011.1-proofgeneral-gentoo-path.patch isabelle-2011.1-graphbrowser.patch
@ 2012-01-08 12:35 Mark Wright (gienah)
0 siblings, 0 replies; only message in thread
From: Mark Wright (gienah) @ 2012-01-08 12:35 UTC (permalink / raw
To: gentoo-commits
gienah 12/01/08 12:35:43
Added: isabelle-2011.1-proofgeneral-gentoo-path.patch
isabelle-2011.1-graphbrowser.patch
Log:
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Revision Changes Path
1.1 sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch?rev=1.1&content-type=text/plain
Index: isabelle-2011.1-proofgeneral-gentoo-path.patch
===================================================================
--- Isabelle2011-1-orig/etc/settings 2011-10-10 01:47:58.000000000 +1100
+++ Isabelle2011-1/etc/settings 2012-01-01 16:33:27.922565527 +1100
@@ -24,9 +24,16 @@
"/usr/share/polyml/$ML_PLATFORM" \
"/opt/polyml/$ML_PLATFORM" \
"")"
-ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
-ML_OPTIONS="-H 200"
-ML_SOURCES="$ML_HOME/../src"
+# ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
+# ML_OPTIONS="-H 200"
+# ML_SOURCES="$ML_HOME/../src"
+
+# Poly/ML 5.4.0 (64 bit)
+ML_PLATFORM=x86_64-linux
+ML_HOME=/usr/bin
+ML_SYSTEM=polyml-5.4.0
+ML_OPTIONS="-H 1000"
+#ML_SOURCES="$ML_HOME/../src"
# Poly/ML 32 bit (manual settings)
#ML_SYSTEM=polyml-5.4.0
@@ -106,7 +113,7 @@
ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER"
# Heap input locations. ML system identifier is included in lookup.
-ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps"
+ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:/usr/lib64/Isabelle2011-1/heaps"
# Heap output location. ML system identifier is appended automatically later on.
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
@@ -170,6 +177,7 @@
"/usr/local/ProofGeneral" \
"/usr/share/ProofGeneral" \
"/opt/ProofGeneral" \
+ "/usr/share/emacs/site-lisp/ProofGeneral" \
"")"
PROOFGENERAL_OPTIONS=""
1.1 sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch?rev=1.1&view=markup
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch?rev=1.1&content-type=text/plain
Index: isabelle-2011.1-graphbrowser.patch
===================================================================
--- Isabelle2011-1-orig/lib/browser/build 2011-10-10 01:47:58.000000000 +1100
+++ Isabelle2011-1/lib/browser/build 2012-01-08 12:58:06.041444651 +1100
@@ -6,6 +6,8 @@
#
# Requires proper Isabelle settings environment.
+ISABELLE_HOME="$(cd "$(dirname "${0}")/../.."; pwd -P)"
+source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
## diagnostics
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2012-01-08 12:35 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-01-08 12:35 [gentoo-commits] gentoo-x86 commit in sci-mathematics/isabelle/files: isabelle-2011.1-proofgeneral-gentoo-path.patch isabelle-2011.1-graphbrowser.patch Mark Wright (gienah)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox