| changeset 61958 | 0a5dd617a88c |
| parent 61135 | 8f7d802b7a71 |
| child 62047 | 1ae53588dcbb |
| 61957:301833d9013a | 61958:0a5dd617a88c |
|---|---|
42 |
42 |
43 ## process command line |
43 ## process command line |
44 |
44 |
45 # options |
45 # options |
46 |
46 |
47 declare -a ISABELLE_OPTIONS=() |
47 declare -a ISABELLE_OPTIONS=(-m ASCII) |
48 |
48 |
49 declare -a INCLUDE_DIRS=() |
49 declare -a INCLUDE_DIRS=() |
50 LOGIC="$ISABELLE_LOGIC" |
50 LOGIC="$ISABELLE_LOGIC" |
51 NO_BUILD="false" |
51 NO_BUILD="false" |
52 declare -a SYSTEM_OPTIONS=() |
52 declare -a SYSTEM_OPTIONS=() |