#!/bin/sh
SADROOT="/home/andrei/prj/alice"
ALICE="$SADROOT/alice/alice"
HAIGHA="$SADROOT/haigha/haigha"
SPASS="/home/andrei/prj/SPASS-2.1/src/SPASS"
SPASS_OPTS="-DocProof=0 -PProblem=0 -PGiven=0 -CNFOptSkolem=0"

hd=${*/ -- */} ; tl=${*/* -- /} ; if [ "$hd" = "$tl" ]
then $ALICE -p $HAIGHA -n SPASS $*  -- spass $SPASS $SPASS_OPTS
else $ALICE -p $HAIGHA -n SPASS $hd -- spass $SPASS $SPASS_OPTS $tl
fi
