equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/usr/wiss/wenzelm/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
4 # |
4 # |
5 # Basic Isabelle startup script. |
5 # Basic Isabelle startup script. |
6 |
6 |
25 echo " -e MLTEXT pass MLTEXT to the ML session" |
25 echo " -e MLTEXT pass MLTEXT to the ML session" |
26 echo " -m MODE add print mode for output" |
26 echo " -m MODE add print mode for output" |
27 echo " -q non-interactive session" |
27 echo " -q non-interactive session" |
28 echo " -r open heap file read-only" |
28 echo " -r open heap file read-only" |
29 echo |
29 echo |
30 echo " INPUT (default \"$DEFAULT_LOGIC\") and OUTPUT specify in/out heaps." |
30 echo " INPUT (default \"$ISABELLE_LOGIC\") and OUTPUT specify in/out heaps." |
31 echo " These are either names to be searched in the Isabelle path, or actual" |
31 echo " These are either names to be searched in the Isabelle path, or actual" |
32 echo " file names (then containing at least one /)." |
32 echo " file names (then containing at least one /)." |
33 echo " If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system." |
33 echo " If INPUT is \"RAW_ML_SYSTEM\", just start the bare bones ML system." |
34 echo |
34 echo |
35 exit 1 |
35 exit 1 |
102 [ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Unable to run Isabelle." |
102 [ -z "$ML_SYSTEM" ] && fail "Missing ML system settings! Unable to run Isabelle." |
103 |
103 |
104 |
104 |
105 ## input heap file |
105 ## input heap file |
106 |
106 |
107 [ -z "$INPUT" ] && INPUT="$DEFAULT_LOGIC" |
107 [ -z "$INPUT" ] && INPUT="$ISABELLE_LOGIC" |
108 |
108 |
109 case "$INPUT" in |
109 case "$INPUT" in |
110 RAW_ML_SYSTEM) |
110 RAW_ML_SYSTEM) |
111 INFILE="" |
111 INFILE="" |
112 ;; |
112 ;; |