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

[PVS-Help] Re: Canm't launch PVS




Actually, I solved that problem, but now I realized that
PVS is not supported on Linux Redhat 9 ? I had a visit from
David Cyrluk, one of the authors of PVS, and he confirmed
that. People told me that Redhat 7 is ok with PVS, but we all
use Redhat 9 in michigan.

-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


On Mon, 17 Nov 2003, Sam Owre wrote:

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