Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
allow spaces in $SPASS_HOME value;
authorwenzelm
Fri, 07 Jan 2011 23:10:33 +0100
changeset 41456 006d85ad56d3
parent 41455 d3be2a414d15
child 41457 3bb2f035203f
allow spaces in $SPASS_HOME value;
src/HOL/Tools/ATP/scripts/spass file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/scripts/spass	Fri Jan 07 23:07:04 2011 +0100
+++ b/src/HOL/Tools/ATP/scripts/spass	Fri Jan 07 23:10:33 2011 +0100
@@ -8,12 +8,12 @@
 options=${@:1:$(($#-1))}
 name=${@:$(($#)):1}
 
-$SPASS_HOME/tptp2dfg $name $name.fof.dfg
-$SPASS_HOME/SPASS -Flotter $name.fof.dfg \
+"$SPASS_HOME/tptp2dfg" $name $name.fof.dfg
+"$SPASS_HOME/SPASS" -Flotter $name.fof.dfg \
     | sed 's/description({$/description({*/' \
     > $name.cnf.dfg
 rm -f $name.fof.dfg
 cat $name.cnf.dfg
-$SPASS_HOME/SPASS $options $name.cnf.dfg \
+"$SPASS_HOME/SPASS" $options $name.cnf.dfg \
     | sed 's/\(Formulae used in the proof :\).*/\1 N\/A/'
 rm -f $name.cnf.dfg
isabelle