changeset 32382 | 98674ac811c4 |
parent 32381 | 11542bebe4d4 |
32381:11542bebe4d4 | 32382:98674ac811c4 |
---|---|
1 MIRABELLE_HOME="$COMPONENT" |
1 MIRABELLE_HOME="$COMPONENT" |
2 |
2 |
3 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/mirabelle" |
3 MIRABELLE_LOGIC=HOL |
4 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle |
|
5 MIRABELLE_TIMEOUT=30 |
|
6 MIRABELLE_VERBOSE=false |
|
7 |
|
8 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools" |