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

[PVS-Help] Installation




Hello,

I am having problems installing PVS onto my computer.

I run the following commands bin/relocate and ./pvs but nothing works, the following messgae appears:
No executable available in /home/andy/pvs/pvs/bin/ix86-Linux.

Do you have suggestions to this?

Thank you

Andy Harding



 

_________________________________________________________________
Get free emoticon packs and customisation from Windows Live. 
http://www.pimpmylive.co.uk