--- a/lib/Tools/console Sun Jan 03 17:19:47 2016 +0100
+++ b/lib/Tools/console Sun Jan 03 21:31:57 2016 +0100
@@ -44,7 +44,7 @@
# options
-declare -a ISABELLE_OPTIONS=(-m ASCII)
+declare -a ISABELLE_OPTIONS=()
declare -a INCLUDE_DIRS=()
LOGIC="$ISABELLE_LOGIC"
@@ -104,6 +104,11 @@
exit "$?"
}
+if [ "$LOGIC" != "RAW" ]; then
+ ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-m"
+ ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="ASCII"
+fi
+
ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="-O"
ISABELLE_OPTIONS["${#ISABELLE_OPTIONS[@]}"]="$OPTIONS_FILE"