[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


------------------ ԭʼʼ ------------------
>From: schoppekloppe <schoppekloppe@yahoo.de>
>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