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

[PVS-Help] pvs-3.2 on Fedora Core 4

I have been unsuccessful executing pvs-3.2 on Fedora Core 4 (kernel 2.6.11-1).

The error message is:
Starting pvs-allegro6.2 -qq ...
dlopen(/usr/local/pvs/bin/ix86-redhat5/runtime/libacl623.so, mode) error: /usr/local/pvs/bin/ix86-redhat5/runtime/libacl623.so: cannot restore segment prot after reloc: Permission denied

Using the "new" pvs script, and some more-or-less uninformed tinkering
with different values for LD_ASSUME_KERNEL, have failed to make any

Has anyone any advice to offer?