[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
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?
Get free emoticon packs and customisation from Windows Live.