equal
deleted
inserted
replaced
107 done |
107 done |
108 export ISABELLE_CLASSPATH |
108 export ISABELLE_CLASSPATH |
109 } |
109 } |
110 export -f classpath |
110 export -f classpath |
111 |
111 |
|
112 #Isabelle/Scala tools |
|
113 function isabelle_scala_tools () |
|
114 { |
|
115 local X="" |
|
116 for X in "$@" |
|
117 do |
|
118 if [ -z "$ISABELLE_SCALA_TOOLS" ]; then |
|
119 ISABELLE_SCALA_TOOLS="$X" |
|
120 else |
|
121 ISABELLE_SCALA_TOOLS="$ISABELLE_SCALA_TOOLS:$X" |
|
122 fi |
|
123 done |
|
124 export ISABELLE_SCALA_TOOLS |
|
125 } |
|
126 export -f isabelle_scala_tools |
|
127 |
112 #file formats |
128 #file formats |
113 function isabelle_file_format () |
129 function isabelle_file_format () |
114 { |
130 { |
115 local X="" |
131 local X="" |
116 for X in "$@" |
132 for X in "$@" |
117 do |
133 do |
118 if [ -z "$ISABELLE_CLASSES_FILE_FORMAT" ]; then |
134 if [ -z "$ISABELLE_FILE_FORMATS" ]; then |
119 ISABELLE_CLASSES_FILE_FORMAT="$X" |
135 ISABELLE_FILE_FORMATS="$X" |
120 else |
136 else |
121 ISABELLE_CLASSES_FILE_FORMAT="$ISABELLE_CLASSES_FILE_FORMAT:$X" |
137 ISABELLE_FILE_FORMATS="$ISABELLE_FILE_FORMATS:$X" |
122 fi |
138 fi |
123 done |
139 done |
124 export ISABELLE_CLASSES_FILE_FORMAT |
140 export ISABELLE_FILE_FORMATS |
125 } |
141 } |
126 export -f isabelle_file_format |
142 export -f isabelle_file_format |
127 |
143 |
128 #administrative build |
144 #administrative build |
129 if [ -e "$ISABELLE_HOME/Admin/build" ]; then |
145 if [ -e "$ISABELLE_HOME/Admin/build" ]; then |