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

[PVS-Help] Help install PVS

To: <pvs-help@xxxxxxxxxxx>
Subject: [PVS-Help] Help install PVS
From: "SongFu" <fsong@xxxxxxxxxxxxxxx>
Date: Thu, 8 Jan 2009 18:22:31 +0800
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

Dear Sir or Madam:

My PC is Intel +Fedora.

When I installed PVS as Installation.file. After run ./relocatore, then I run ./PVS. The error is No executable available in $~ ix86-Linux.

Thanks.

Prev by Date: RE: [PVS-Help] Trees and prewalks
Next by Date: [PVS-Help] problem of install PVS---help
Previous by thread: [PVS-Help] Trees and prewalks
Next by thread: [PVS-Help] problem of install PVS---help
Index(es):
- Date
- Thread