src/HOL/Mirabelle/etc/settings
author krauss
Wed Mar 23 09:15:49 2011 +0100 (2011-03-23)
changeset 42069 6a147393c62a
parent 41308 9e576ec5c0dc
permissions -rw-r--r--
replace hardwired MIRABELLE_OUTPUT_PATH by temporary directory derived from ISABELLE_TMP_PREFIX and $$ -- old behaviour can be achieved by manually setting MIRABELLE_OUTPUT_PATH
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     3 MIRABELLE_HOME="$COMPONENT"
     4 
     5 MIRABELLE_LOGIC=HOL
     6 MIRABELLE_THEORY=Main
     7 MIRABELLE_TIMEOUT=30
     8 
     9 ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"