diff options
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch')
| -rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch b/sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch new file mode 100644 index 000000000000..3e63f1c62237 --- /dev/null +++ b/sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch @@ -0,0 +1,11 @@ +--- Isabelle2012-orig/lib/browser/build 2012-05-20 19:34:33.000000000 +1000 ++++ Isabelle2012/lib/browser/build 2012-05-26 22:18:41.952750622 +1000 +@@ -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 + |