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

[PVS-Help] Installation

To: <pvs-help@xxxxxxxxxxx>
Subject: [PVS-Help] Installation
From: Andy Harding <andyharding123@xxxxxxxxxxx>
Date: Mon, 22 Oct 2007 15:51:54 +0000
Importance: Normal
List-Help: <mailto:pvs-help-request@csl.sri.com?subject=help>
List-Id: PVS-Help <pvs-help.csl.sri.com>
List-Post: <mailto:pvs-help@csl.sri.com>
List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=subscribe>
List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs-help>,<mailto:pvs-help-request@csl.sri.com?subject=unsubscribe>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx


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

Prev by Date: Re: [PVS-Help] Sets-reaching their individual elements, Graphs
Next by Date: [PVS-Help] Digraphs - initialization
Prev by thread: [PVS-Help] Digraphs - initialization
Next by thread: [PVS-Help] Sets-reaching their individual elements, Graphs
Index(es):
- Date
- Thread