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

Re:[PVS-Help] Installation problem: cmulisp-local-source-directorynotset

Dear Christian Henkel:

I met this problem too, may be you can install this version "PVS 4 Allegro Lisp Binaries (free, but requires a license agreement)".

Goog luck

Song


------------------ ԭʼÓʼþ ------------------
>From: schoppekloppe <schoppekloppe@yahoo.de>
>Reply-To: 
>To: pvs-help@csl.sri.com
>Subject: Re:[PVS-Help] Installation problem: cmulisp-local-source-directory notset
>Date: Wed, 15 Apr 2009 11:37:15 +0200
>
>I have installed the PVS 4.2 CMU Lisp binaries from
>

>according to the instructions, i.e. untared into a new directory and ran
>bin/relocate. If I now run ./pvs to start PVS, emacs starts up, displays
>"cmulisp-local-source-directory not set" and hangs, so that I have to
>kill it.
>
>Did I make an error during installation or is it a bug? How can I fix this?
>
>I am using Ubuntu 8.10 and GNU Emacs 22.2.1 (i486-pc-linux-gnu, GTK+
>Version 2.14.1).
>
>Any help is appreciated.
>-- 
>Christian Henkel
>
>