sci-mathematics/isabelle/files/isabelle-2012-graphbrowser.patch


1
2
3
4
5
6
7
8
9
10
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