provethem="../provethem"

if [ ! -x $provethem ]; then
    provethem=`which provethem`
fi

if [ "$provethem" ]; then
  $provethem --clean $* nasalib.all
  $provethem --log --clearpath --addpath --force $* nasalib.all
else
  echo "Directory where PVS is installed must be in the environment variable PATH for this command to work"
fi