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

Re: [PVS-Help] Startup error in 64bit Ubuntu

This issue was resolved by removing tcl.el* from <pvs>/emacs

On Thu, Apr 15, 2010 at 12:23:10AM -0400, Jerome White wrote:
>I'm unable to run PVS on my 64bit Ubuntu system. I'm trying to run the
>prebuilt Linux binaries of version 4.2; I get the error with both the
>Allegro and CMU versions. The is a complaint from Emacs, seemingly about
>a Lisp problem, is attached. Below is my system information:
>        $> uname -a
>        Linux inspiron 2.6.31-20-generic #58-Ubuntu SMP Fri Mar 12
>        04:38:19 UTC 2010 x86_64 GNU/Linux
>        $> cat /etc/issue
>        Ubuntu 9.10 \n \l
>        $> emacs --version
>        GNU Emacs 23.1.1
>        Copyright (C) 2009 Free Software Foundation, Inc.
>        GNU Emacs comes with ABSOLUTELY NO WARRANTY.
>        You may redistribute copies of Emacs
>        under the terms of the GNU General Public License.
>        For more information about these matters, see the file named
>        COPYING.