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

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