blob: 4d48984518fecd794e69a906fd52c87171119f05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
$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"
|