diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-01-08 12:35:43 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-01-08 12:35:43 +0000 |
| commit | e209deb4b6bb526791005af111c16b6f5732405d (patch) | |
| tree | bb9c4540aa30fd0f1108bfba6a199dcaf09f07b0 /sci-mathematics/isabelle/files | |
| parent | Fix a compilation problem (diff) | |
| download | gentoo-2-e209deb4b6bb526791005af111c16b6f5732405d.tar.gz gentoo-2-e209deb4b6bb526791005af111c16b6f5732405d.tar.bz2 gentoo-2-e209deb4b6bb526791005af111c16b6f5732405d.zip | |
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995
(Portage version: 2.1.10.44/cvs/Linux x86_64)
Diffstat (limited to 'sci-mathematics/isabelle/files')
| -rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch | 11 | ||||
| -rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch | 39 |
2 files changed, 50 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch b/sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch new file mode 100644 index 000000000000..ed8036a9b2d4 --- /dev/null +++ b/sci-mathematics/isabelle/files/isabelle-2011.1-graphbrowser.patch @@ -0,0 +1,11 @@ +--- 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 + diff --git a/sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch b/sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch new file mode 100644 index 000000000000..67e3476f2170 --- /dev/null +++ b/sci-mathematics/isabelle/files/isabelle-2011.1-proofgeneral-gentoo-path.patch @@ -0,0 +1,39 @@ +--- 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="" |