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

Re: emacs: Cannot Execute Error

Bob -

Check you can execute Emacs from the command line, without PVS.  Raw
installs of SunOS don't come with Emacs, so you may need to install this
as well if it's not already available on your system.  Check the PVS
download page at http://pvs.csl.sri.com/download.html for details of where
you can get the Emacs (or XEmacs if you prefer) sources if necessary.

If you already have emacs, ensure it's in your path or do:

       pvs -emacs /path/to/emacs


Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com