[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Canm't launch PVS




Hi,

Following the installation instructions I ran:

[ 6 ] PVS -: bin/relocate 
Setting PVSPATH in the "pvs" shell script to /n/brio/v/zandrawi/tools/PVS
If this is not the right path, edit the "pvs" script
[ 7 ] PVS -: pvs
pvs: line 187: [: too many arguments
pvs: line 200: [: too many arguments
pvs: line 203: [: too many arguments
Cannot find /n/brio/v/zandrawi/tools/PVS/bin/ix86-redhatRed Hat Linux 
release 9 (Shrike)/runtime/
Check the values of PVSPATH and PVSLISP

What is the problem??

Thanks
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x
Zaher S Andraus ACAL/EECS
University of Michigan - Ann Arbor
http://www.eecs.umich.edu/~zandrawi/
-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x-x