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

Re: [PVS-Help] PVS on Fedora



Thanks to all those who replied to me that the fix is on the PVS web 
page, of course it works no problem.

Hanne

Paul S. Miner wrote:
> 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?
> 
> 
> Hanne,
> 
> 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.
> -----------------------------------------------------
>