This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Install all gcc/*.{h,def} headers for plugins (PR plugins/61176)
- From: Jakub Jelinek <jakub at redhat dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Thu, 26 Mar 2015 14:40:34 +0100
- Subject: [PATCH] Install all gcc/*.{h,def} headers for plugins (PR plugins/61176)
- Authentication-results: sourceware.org; auth=none
- Reply-to: Jakub Jelinek <jakub at redhat dot com>
Hi!
Rather than adding 130 or so missing headers to PLUGIN_HEADERS,
this just adds all *.h and *.def files from gcc/ directory.
For files from different directories, one has to still add them
into PLUGIN_HEADERS.
Tested on x86_64-linux and i686-linux, ok for trunk?
2015-03-26 Jakub Jelinek <jakub@redhat.com>
PR plugins/61176
* Makefile.in (install-plugin): Add all gcc/*.{h,def} files
automatically to $headers.
--- gcc/Makefile.in.jj 2015-03-23 08:47:53.000000000 +0100
+++ gcc/Makefile.in 2015-03-26 11:48:40.193054828 +0100
@@ -3255,7 +3255,7 @@ install-plugin: installdirs lang.install
# We keep the directory structure for files in config or c-family and .def
# files. All other files are flattened to a single directory.
$(mkinstalldirs) $(DESTDIR)$(plugin_includedir)
- headers=`echo $(PLUGIN_HEADERS) | tr ' ' '\012' | sort -u`; \
+ headers=`echo $(PLUGIN_HEADERS) $$(cd $(srcdir); echo *.h *.def) | tr ' ' '\012' | sort -u`; \
srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*|]/\\\\&/g'`; \
for file in $$headers; do \
if [ -f $$file ] ; then \
Jakub