diff options
Diffstat (limited to 'devel/pvs/patches/patch-aa')
| -rw-r--r-- | devel/pvs/patches/patch-aa | 25 |
1 files changed, 11 insertions, 14 deletions
diff --git a/devel/pvs/patches/patch-aa b/devel/pvs/patches/patch-aa index 3c2434ffcb5..6af189dd704 100644 --- a/devel/pvs/patches/patch-aa +++ b/devel/pvs/patches/patch-aa @@ -1,29 +1,26 @@ -$NetBSD: patch-aa,v 1.3 2003/03/31 20:49:36 jschauma Exp $ +$NetBSD: patch-aa,v 1.4 2005/09/02 02:27:12 jschauma Exp $ ---- pvs.orig Thu Dec 19 22:38:25 2002 -+++ pvs Thu Dec 19 22:42:32 2002 -@@ -46,7 +46,7 @@ +--- pvs.orig 2004-10-05 20:04:54.000000000 -0400 ++++ pvs 2005-09-01 10:51:21.000000000 -0400 +@@ -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=/project/pvs/pvs3.0 +-PVSPATH=/homes/owre/pvs3.0 +PVSPATH=@PREFIX@/pvs #------------------------------------------------- # Nothing below this line should need modification -@@ -167,6 +167,11 @@ +@@ -162,7 +162,7 @@ then echo "PVS 3.0 only runs under Solaris or Linux"; exit 1 fi PVSARCH=sun4;; -+ NetBSD) # pretend to be a redhat linux system -+ opsys=redhat -+ majvers=5 -+ othervers=4 -+ PVSARCH=ix86;; - Linux) # If Linux, we need to determine the Redhat version to use. +- Linux) # If Linux, we need to determine the Redhat version to use. ++ Linux|NetBSD) # If Linux, we need to determine the Redhat version to use. opsys=redhat - if [ ! $majvers ]; then -@@ -228,8 +233,15 @@ + majvers=5 + othervers=4 +@@ -215,8 +215,15 @@ PVSIMAGE="$PVSLISP" export ALLEGRO_CL_HOME DISPLAY LD_LIBRARY_PATH |