Searched refs:ML_HOME (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/scripts/
H A Dpolyml-version5 if [ -x "$ML_HOME/polyml-version" ]; then
6 "$ML_HOME/polyml-version"
7 elif [ -x "$ML_HOME/poly" ]; then
9 LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
10 DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \
11 "$ML_HOME/poly" -v -H 10)"
/seL4-l4v-10.1.1/l4v/isabelle/lib/scripts/
H A Dpolyml-version5 if [ -x "$ML_HOME/polyml-version" ]; then
6 "$ML_HOME/polyml-version"
7 elif [ -x "$ML_HOME/poly" ]; then
9 LD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$LD_LIBRARY_PATH" \
10 DYLD_LIBRARY_PATH="$ML_HOME:$ML_HOME/../lib:$DYLD_LIBRARY_PATH" \
11 "$ML_HOME/poly" -v -H 10)"
/seL4-l4v-10.1.1/isabelle/src/Pure/ML/
H A Dml_process.scala149 "exec " + options.string("ML_process_policy") + """ "$ML_HOME/poly" -q """ +
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/
H A Dml_process.scala149 "exec " + options.string("ML_process_policy") + """ "$ML_HOME/poly" -q """ +
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_log.scala51 val ML_HOME = SQL.Column.string("ML_HOME")
55 val ml_settings = List(ML_PLATFORM, ML_HOME, ML_SYSTEM, ML_OPTIONS)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_log.scala51 val ML_HOME = SQL.Column.string("ML_HOME")
55 val ml_settings = List(ML_PLATFORM, ML_HOME, ML_SYSTEM, ML_OPTIONS)

Completed in 51 milliseconds