equal
deleted
inserted
replaced
253 # Second option: use the open source glpk solver |
253 # Second option: use the open source glpk solver |
254 #LP_SOLVER=GLPK |
254 #LP_SOLVER=GLPK |
255 #GLPK_PATH=glpsol |
255 #GLPK_PATH=glpsol |
256 |
256 |
257 # External provers |
257 # External provers |
|
258 E_HOME=$(choosefrom \ |
|
259 "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \ |
|
260 "/usr/local/E" \ |
|
261 "") |
|
262 |
258 VAMPIRE_HOME=$(choosefrom \ |
263 VAMPIRE_HOME=$(choosefrom \ |
259 "$ISABELLE_HOME/contrib/" \ |
264 "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \ |
260 "/usr/local/Vampire" \ |
265 "/usr/local/Vampire" \ |
261 "") |
266 "") |
262 |
267 |
263 E_HOME=$(choosefrom \ |
|
264 "$ISABELLE_HOME/contrib/" \ |
|
265 "/usr/local/E" \ |
|
266 "") |
|
267 |
|
268 SPASS_HOME=$(choosefrom \ |
268 SPASS_HOME=$(choosefrom \ |
269 "$ISABELLE_HOME/contrib/" \ |
269 "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \ |
270 "/usr/local/SPASS" \ |
270 "/usr/local/SPASS" \ |
271 "") |
271 "") |