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

Re: [PVS-Help] PVS on Fedora

At 07:22 AM 7/9/2004, Hanne Gottliebsen wrote:
>I'm trying to install and run PVS on Fedora, I got the Redhat 5 version of 
>PVS installed, but when starting up, it complains about some C-library not 
>being exactly as expected.
>Should I be using the PVS script for Redhat 9 or is there some deeper 
>problem here?
>If any of you know someone who runs PVS under Fedora, maybe you could put 
>me in touch?


Jeff Maddalon is running PVS on Fedora.  He used the Redhat 9 fix to get it 
to work.

| Paul S. Miner, Ph.D.                  | phone: (757) 864-6201
| Senior Research Engineer              | fax:   (757) 864-4234
| Mail Stop 130                         | mailto:paul.s.miner@nasa.gov
| NASA Langley Research Center  | http://shemesh.larc.nasa.gov/people/psm/
| Hampton, Virginia 23681-2199
The contents herein do not necessarily reflect the positions of the United 
States Government.