#!/bin/sh
# cb 010227
# $Id: pri,v 1.2 2001/05/17 12:51:18 cb Exp $

# trap ^C
trap killpvs 2

ELFILE=/tmp/pri-$$
PVS=/usr/local/pvs/pvs
PVSOPTS="-redhat 5 -emacs xemacs -batch -q -v 2"
THEORY=$1

killpvs() {
  killall pvs-allegro5.0
  rm $ELFILE
  exit 1
}


cat > $ELFILE << EOF
(setq current-prefix-arg t)
(prove-importchain '$THEORY)
(save-context)
EOF

$PVS $PVSOPTS -l $ELFILE | tee pri.$$.log

rm $ELFILE