Re: [Valgrind-developers] valgrind: r4279 - trunk

[Tom H. <to...@co...>]

In message <Pin...@ch...>
          Nicholas Nethercote <nj...@cs...> wrote:

> On Wed, 27 Jul 2005, sv...@va... wrote:
> 
> > Log:
> > Prevent the rule for installing the VEX headers from trying to add
> > them to the distribution as it doesn't work due to the full paths and
> > they are in EXTRA_DIST anyway.
> 
> Now I'm really confused:  The Vex headers aren't included in EXTRA_DIST
> (VEX_PRIMARY_SOURCES is, but VEX_PUBLIC_HDRS is not), and the headers are
> marked as "nodist", yet when I do 'make dist' and install from it the
> headers get installed.  Which is good and what we want, but I don't
> understand how it works...

The VEX headers are in both PRIMARY_SOURCES and PUBLIC_HDRS now. I had
to move them back because make dist wants the local ones but make install
want the ones we configured with.

Tom

-- 
Tom Hughes (to...@co...)
http://www.compton.nu/