#! /bin/sh

# Relocate PVSPATH and in the pvs shell script.

echo Setting PVSPATH in the \"pvs\", \"pvsio\", \"proveit\", and \"provethem\"
echo shell scripts to $PWD
echo If this is not the right path, edit the scripts before using them.
chmod u+w pvs pvsio proveit provethem
sed -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < pvs > tmp.$$
mv tmp.$$ pvs
sed -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < pvsio > tmp.$$
mv tmp.$$ pvsio
sed -e "s,^PVSPATH=.*$,PVSPATH=$PWD," < proveit > tmp.$$
mv tmp.$$ proveit
sed -e "s,^\$PVSPATH=.*$,\$PVSPATH=\"$PWD\";," < provethem > tmp.$$
mv tmp.$$ provethem
chmod a+x pvs pvsio proveit provethem
