[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Typechecker looking for "nil" file in current context
Could you try again, this time before typechecking set the emacs variable
debug-on-error to t (M-x set-variable <RET> debug-on-error <RET> t). It
should then produce a backtrace buffer; if you send that to me I might be
able to figure out what is going on.
> From: Michael Greiner <email@example.com>
> Subject: Typechecker looking for "nil" file in current context
> Date: Wed, 21 May 2003 10:36:18 -0400
> To: pvs-help <firstname.lastname@example.org>
> I have recently installed PVS and I get an error whenever I try to
> typecheck. After running the typecheck command, I get the following error:
> error in process filter: Opening input file: no such file or directory,
> ... where /home/mike/ is my current context. After that, none of the
> parsing, typechecking or proving commands will work. If I then reset
> PVS, it typechecks the file once as it should but any subsequent
> typechecks produce the same error. Thus I seem to have to reset PVS
> everytime I want to typecheck.
> I'm running PVS 3.1 on RedHat Linux 9 with GNU Emacs 21.2.1
> Can anyone help?
> Mike Greiner