etc/settings
changeset 51940 958d439b3013
parent 51384 d2116723f550
child 51977 b55f90655328
     1.1 --- a/etc/settings	Sun May 12 13:56:21 2013 +0200
     1.2 +++ b/etc/settings	Sun May 12 14:25:16 2013 +0200
     1.3 @@ -142,36 +142,6 @@
     1.4  #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
     1.5  #SMLNJ_CYGWIN_RUNTIME=1
     1.6  
     1.7 -## Set HOME only for tools you have installed!
     1.8 -
     1.9 -# SVC (Stanford Validity Checker)
    1.10 -#SVC_HOME=
    1.11 -#SVC_MACHINE=i386-redhat-linux
    1.12 -#SVC_MACHINE=sparc-sun-solaris
    1.13 -
    1.14 -# MiniSat 1.14 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
    1.15 -#MINISAT_HOME=/usr/local/bin
    1.16 -
    1.17 -# zChaff (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
    1.18 -#ZCHAFF_HOME=/usr/local/bin
    1.19 -
    1.20 -# BerkMin561 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
    1.21 -#BERKMIN_HOME=/usr/local/bin
    1.22 -#BERKMIN_EXE=BerkMin561-linux
    1.23 -#BERKMIN_EXE=BerkMin561-solaris
    1.24 -
    1.25 -# Jerusat 1.3 (SAT Solver, cf. src/HOL/Tools/sat_solver.ML)
    1.26 -#JERUSAT_HOME=/usr/local/bin
    1.27 -
    1.28 -# For configuring HOL/Matrix/cplex
    1.29 -# LP_SOLVER is the default solver. It can be changed during runtime via Cplex.set_solver.
    1.30 -# First option: use the commercial cplex solver
    1.31 -#LP_SOLVER=CPLEX
    1.32 -#CPLEX_PATH=cplex
    1.33 -# Second option: use the open source glpk solver
    1.34 -#LP_SOLVER=GLPK
    1.35 -#GLPK_PATH=glpsol
    1.36 -
    1.37  # Misc programming languages
    1.38  #ISABELLE_GHC="/usr/bin/ghc"
    1.39  #ISABELLE_OCAML="/usr/bin/ocaml"