etc/settings
changeset 41968 7f5c9bd991be
parent 41955 703ea96b13c6
child 43484 51b8043a8cf5
equal deleted inserted replaced
41967:6aa69999da8f 41968:7f5c9bd991be
   226 #LP_SOLVER=CPLEX
   226 #LP_SOLVER=CPLEX
   227 #CPLEX_PATH=cplex
   227 #CPLEX_PATH=cplex
   228 # Second option: use the open source glpk solver
   228 # Second option: use the open source glpk solver
   229 #LP_SOLVER=GLPK
   229 #LP_SOLVER=GLPK
   230 #GLPK_PATH=glpsol
   230 #GLPK_PATH=glpsol
       
   231 
       
   232 # Misc programming languages
       
   233 #ISABELLE_GHC="/usr/local/ghc/$ISABELLE_PLATFORM/ghc"
       
   234 #ISABELLE_OCAML="/usr/local/ocaml/$ISABELLE_PLATFORM/ocaml"
       
   235 #ISABELLE_SWIPL="/usr/local/swipl/$ISABELLE_PLATFORM/swipl"