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

Re: PVS @ Linux other than RedHat

Martin ---

PVS has been reported to run under many different versions
of Linux, and with alternative versions of the C libraries.
We only support the Redhat Linux distribution as that is
what is supported by Allegro Lisp.

Try installing and using PVS on your Linux box `as is' and
see if you come across any difficulties.


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   Email: dave_sc@csl.sri.com