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

RE: PVS Installation question



Hi Sam,

Still can't make PVS2.1 work...  I followed your instructions but now I get
core dump.  PVS loads emacs, starts loading pvs system, and then stop with
error like "Cannot load PVS".  I would like to go through my configuration
once more:

- Sun SPARC (non Ultra)
- Solaris 2.5
- GNU Emacs 20.2.1

Please help!!!

- Saeed Awan


> -----Original Message-----
> From: Sam Owre [mailto:owre@csl.sri.com]
> Sent: Wednesday, February 18, 1998 9:40 PM
> To: Saeed Akhtar Awan
> Cc: pvs-help@csl.sri.com
> Subject: Re: PVS Installation question
>
>
> Hi Saeed,
>
> From ftp://ftp.csl.sri.com/pub/pvs2.1/solaris, get
>
> pvs-allegro-SunOS5-2.tgz
> pvs-system-2.tgz
> pvs-sun-patches.tgz
>
> untar the first two, use
>
>   chmod -R u+w .
>
> and untar the last one.  Then run bin/relocate and you should be ready to
> go.  If you want to use the libraries, get and untar the pvs-libraries.tgz
> file from the parent directory.
>
> Hope this helps,
>
> Sam Owre
>