|
From: <sv...@va...> - 2005-07-27 09:25:19
|
Author: tom Date: 2005-07-27 10:25:08 +0100 (Wed, 27 Jul 2005) New Revision: 4279 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. Modified: trunk/Makefile.am Modified: trunk/Makefile.am =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --- trunk/Makefile.am 2005-07-27 07:37:41 UTC (rev 4278) +++ trunk/Makefile.am 2005-07-27 09:25:08 UTC (rev 4279) @@ -29,7 +29,7 @@ pkgconfig_DATA =3D valgrind.pc =20 incincdir =3D $(includedir)/valgrind -incinc_HEADERS =3D $(VEX_PUBLIC_HDRS) +nodist_incinc_HEADERS =3D $(VEX_PUBLIC_HDRS) =20 BUILT_SOURCES =3D default.supp valgrind.pc =20 |
|
From: Nicholas N. <nj...@cs...> - 2005-07-27 17:30:58
|
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... N |
|
From: Tom H. <to...@co...> - 2005-07-27 17:33:30
|
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/
|