[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PVS-Help] ELF file OS ABI invalid error
I would google for possible answers - from what I can see,
the PVS image requires newer versions of the kernel and/or glibc.
The answer for you may be in
I'm not a subscriber (I don't use RedHat myself), so I couldn't see the
If you have further questions, I'll be happy to try and help.
And if you find a solution, please post it here.
Tucker, Doug <tuckerd@xxxxxxxxxxxx> wrote:
> I'm new to pvs. I just installed it on our scientific linux 5.7
> machine. I downloaded the prebuilt as suggested, untarred it in a
> directory and ran bin/relocate as the INSTALL file indicated. When I
> then launch ./pvs, the emac opens and states the following:
> Starting pvs-allegro -qq ...
> dlopen(/usr/local/pvs-6.0/bin/ix86_64-Linux/runtime/libacli9076.so: ELF
> file OS ABI invalid.
> Any help would be appreciated.
> Doug Tucker