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

Re: Canm't launch PVS



Hi Zaher,

I'm not sure what the problem is, could you send me your 'pvs' file, and
check your versions of /bin/sh and sed?  Under linux, --version will
usually provide this information.

Thanks,
Sam Owre

> 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
>