etc/settings
changeset 9679 6dca83af209b
parent 9569 68400ff46b09
child 9744 9ca034ef256c
equal deleted inserted replaced
9678:97bd508bcb63 9679:6dca83af209b
    13 # Note that ML_HOME specifies the location of the actual compiler
    13 # Note that ML_HOME specifies the location of the actual compiler
    14 # binaries.  Do not invent new ML system names unless you know what
    14 # binaries.  Do not invent new ML system names unless you know what
    15 # you are doing.
    15 # you are doing.
    16 
    16 
    17 # Poly/ML 3.x
    17 # Poly/ML 3.x
    18 POLYML_HOME=$ISABELLE_HOME/../polyml
    18 POLYML_HOME=$(choosefrom \
       
    19   "$ISABELLE_HOME/contrib/polyml" \
       
    20   "$ISABELLE_HOME/../polyml")
    19 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
    21 ML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)
    20 ML_HOME=$POLYML_HOME/$ML_PLATFORM
    22 ML_HOME=$POLYML_HOME/$ML_PLATFORM
    21 ML_SYSTEM=polyml-3.x
    23 ML_SYSTEM=polyml-3.x
    22 ML_OPTIONS="-h 30000"
    24 ML_OPTIONS="-h 30000"
    23 
    25 
   140 # Emacs running Isamode.
   142 # Emacs running Isamode.
   141 #ISABELLE_INTERFACE=emacs
   143 #ISABELLE_INTERFACE=emacs
   142 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
   144 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
   143 ISAMODE_OPTIONS=""
   145 ISAMODE_OPTIONS=""
   144 
   146 
   145 # Proof General -- make default if found in canonical place
   147 # Proof General
   146 if [ -d "$ISABELLE_HOME/contrib/ProofGeneral" ]; then
   148 ISABELLE_INTERFACE=$(choosefrom \
   147   ISABELLE_INTERFACE="$ISABELLE_HOME/contrib/ProofGeneral/isar/interface"
   149   "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \
   148 elif [ -d "$ISABELLE_HOME/../ProofGeneral" ]; then
   150   "$ISABELLE_HOME/../ProofGeneral/isar/interface" \
   149   ISABELLE_INTERFACE="$ISABELLE_HOME/../ProofGeneral/isar/interface"
   151   "$ISABELLE_INTERFACE")
   150 fi
       
   151 PROOFGENERAL_OPTIONS=""
   152 PROOFGENERAL_OPTIONS=""
   152 
   153 
   153 # X-Symbol mode -- look in canonical place
   154 # X-Symbol mode
   154 if [ -d "$ISABELLE_HOME/contrib/x-symbol" ]; then
   155 XSYMBOL_HOME=$(choosefrom \
   155   XSYMBOL_HOME="$ISABELLE_HOME/contrib/x-symbol"
   156   "$ISABELLE_HOME/contrib/x-symbol" \
   156 fi
   157   "$ISABELLE_HOME/../x-symbol" \
       
   158   "")
   157 
   159 
   158 
   160 
   159 ###
   161 ###
   160 ### External reasoning tools
   162 ### External reasoning tools
   161 ###
   163 ###