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

Re: [PVS-Help] Problem with installing PVS



Hanen,

> I need your help for the installation of PVS. I have unatar the
> files containing PVS and i am blocked in running /bin/relocate
> because i dont find this files.

Change to the directory to which you have untarred all the files,
then execute the command

	./bin/relocate

Beware the initial dot!

Regards,

	- Holger