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

Re: Can PVS run on Cygwin / Cygnus

> Has anyone succeeded in running PVS under Cygwin (or know for certain
> that it cannot be done)?

It cannot be done - for certain - without significant extra work in
porting and additional Lisp licenses for us to support the windows
platform.  I just installed Cygwin on my laptop and although it does a
reasonable job of providing a POSIX style environment for windows, it
won't run Linux/x86 binaries, so the PVS lisp image will not run.