The Coq mailing list

["Richard W.M. Jones" <rjones AT redhat.com>]

On Wed, Sep 03, 2008 at 06:33:25AM -0400, Alan Dunn wrote:
> I'm the Coq package maintainer for Fedora.
> 
> I was surprised to hear this, as this is something I explicitly
> checked for (stripping vs. non-stripping of the binaries), so I
> checked it again. I did receive the classic "No bytecode file
> specified." error originally, which is a sign of problems along the
> line you are suggesting.

You may be hitting the prelink stripping problem.  See:

https://www.redhat.com/archives/fedora-devel-list/2008-September/thread.html#00045

The easy answer is to drop a file in the /etc/prelink.conf.d/
directory containing one line for each file that you wish prelink not
to touch:

  -b /usr/bin/coq
  -b /usr/bin/coqdoc

(You can also use globs).

The prelink cronjob seems to run nightly, so you can have an RPM which
is protected from stripping, install it, and everything seems fine
until the next morning when you discover the binary is broken.

The whole concept of having cronjobs which modify installed binaries
is off the crack-radar IMHO.

Rich.

-- 
Richard Jones, Emerging Technologies, Red Hat  http://et.redhat.com/~rjones
virt-p2v converts physical machines to virtual machines.  Boot with a
live CD or over the network (PXE) and turn machines into Xen guests.
http://et.redhat.com/~rjones/virt-p2v