src/HOL/Tools/ATP/scripts/spass_new

cleaned up new SPASS parsing

#!/usr/bin/env bash
#
# Wrapper for SPASS 3.8 that also outputs the clause-to-formula relation
#
# Author: Jasmin Blanchette, TU Muenchen

options=${@:1:$(($#-1))}
name=${@:$(($#)):1}

rm -f "$name.prf"
"$SPASS_NEW_HOME/SPASS" $options "$name"
if [ -f "$name.prf" ]
then
  cat "$name.prf"
  rm -f "$name.prf"
fi