prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
authorwenzelm
Thu Jan 10 15:45:27 2013 +0100 (2013-01-10)
changeset 5080569439c9defec
parent 50804 4156a45aeb63
child 50806 c19dba2d7ffe
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
Admin/MacOS/App1/script
Isabelle
src/Pure/Tools/main.scala
     1.1 --- a/Admin/MacOS/App1/script	Thu Jan 10 14:40:19 2013 +0100
     1.2 +++ b/Admin/MacOS/App1/script	Thu Jan 10 15:45:27 2013 +0100
     1.3 @@ -60,7 +60,7 @@
     1.4    ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1
     1.5    RC=$?
     1.6  else
     1.7 -  ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1
     1.8 +  ( "$ISABELLE_TOOL" jedit -s "$@" ) > "$OUTPUT" 2>&1
     1.9    RC=$?
    1.10  fi
    1.11  
     2.1 --- a/Isabelle	Thu Jan 10 14:40:19 2013 +0100
     2.2 +++ b/Isabelle	Thu Jan 10 15:45:27 2013 +0100
     2.3 @@ -4,5 +4,5 @@
     2.4  #
     2.5  # Default Isabelle application wrapper.
     2.6  
     2.7 -exec "$(dirname "$0")"/bin/isabelle jedit "$@"
     2.8 +exec "$(dirname "$0")"/bin/isabelle jedit -s "$@"
     2.9  
     3.1 --- a/src/Pure/Tools/main.scala	Thu Jan 10 14:40:19 2013 +0100
     3.2 +++ b/src/Pure/Tools/main.scala	Thu Jan 10 15:45:27 2013 +0100
     3.3 @@ -17,7 +17,7 @@
     3.4        try {
     3.5          Platform.init_laf()
     3.6          Isabelle_System.init()
     3.7 -        Isabelle_System.isabelle_tool("jedit", args: _*)
     3.8 +        Isabelle_System.isabelle_tool("jedit", ("-s" :: args.toList): _*)
     3.9        }
    3.10        catch { case exn: Throwable => (Exn.message(exn), 2) }
    3.11