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

[PVS-HELP]-Install problem

To: <pvs-help@xxxxxxxxxxx>
Subject: [PVS-HELP]-Install problem
From: "SongFu" <fsong@xxxxxxxxxxxxxxx>
Date: Sat, 7 Feb 2009 22:32:08 +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>
References: <431840251.11184@webmail.ecnu.edu.cn> <431844475.29092@webmail.ecnu.edu.cn>
Sender: pvs-help-bounces+archive=csl.sri.com@xxxxxxxxxxx

When I run PVS. The problem is "cmulisp-local-source-directory not set" and died in this view.

My env.is :ubuntu8.10, emacs22, cmulisp.
How can I pix this problem.

Best regard

References:
- [PVS-HELP]-Install problem
  - From:

Prev by Date: Re: [PVS-HELP]-Install problem
Next by Date: [PVS-Help] Need suggestion with Inequality
Previous by thread: Re: [PVS-HELP]-Install problem
Next by thread: [PVS-Help] Need suggestion with Inequality
Index(es):
- Date
- Thread