$NetBSD: patch-aa,v 1.5 2007/08/22 17:28:09 jlam Exp $

--- pvs.orig	2004-10-05 20:04:54.000000000 -0400
+++ pvs
@@ -45,7 +45,7 @@
 
 # PVSPATH should be set after installation by <PVS>/bin/relocate or by hand
 # to the location of the PVS installation
-PVSPATH=/homes/owre/pvs3.0
+PVSPATH=@PREFIX@/pvs
 
 #-------------------------------------------------
 # Nothing below this line should need modification
@@ -155,12 +155,18 @@ done
 
 PVSEMACS=${PVSEMACS:-"emacs"}
 
+# Handle NetBSD binary emulation.
+case $opsys in
+  NetBSD) arch=`uname -p`
+	  case $arch in
+	    *86*)   opsys=Linux ;;
+	    sparc*) opsys=SunOS ;;
+	  esac ;;
+esac
+
 # Determine the system type and set PVSARCH accordingly
 case $opsys in
-  SunOS) majvers=`uname -r | cut -d"." -f1`
-	 if [ $majvers = 4 ]
-	    then echo "PVS 3.0 only runs under Solaris or Linux"; exit 1
-	 fi
+  SunOS) majvers=5
 	 PVSARCH=sun4;;
   Linux) # If Linux, we need to determine the Redhat version to use.
 	 opsys=redhat
@@ -215,8 +221,15 @@ PVSVERBOSE=${PVSVERBOSE:-0}
 PVSIMAGE="$PVSLISP"
 
 export ALLEGRO_CL_HOME DISPLAY LD_LIBRARY_PATH
-export PVSARCH PVSIMAGE PVSPATH PATH PVSLISP PVSVERBOSE PVSTIMEOUT
-export PVSPATCHLEVEL PVSMINUSQ PVSFORCEDP PVSDEFAULTDP
+export PVSARCH PVSIMAGE PVSPATH PATH PVSLISP PVSVERBOSE
+export PVSPATCHLEVEL PVSMINUSQ PVSFORCEDP
+if [ "$PVSTIMEOUT" ]; then
+	export PVSTIMEOUT
+fi
+if [ "$PVSDEFAULTDP" ]; then
+	export PVSDEFAULTDP;
+fi
+
 
 pvsemacsinit="-load $PVSPATH/emacs/go-pvs.el $loadafter"