public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
* [PATCH] aarch64: Fix plugin header install
@ 2022-12-20 10:41 Jakub Jelinek
  2022-12-21  9:56 ` Richard Sandiford
  0 siblings, 1 reply; 4+ messages in thread
From: Jakub Jelinek @ 2022-12-20 10:41 UTC (permalink / raw)
  To: Richard Earnshaw, Kyrylo Tkachov, richard.sandiford; +Cc: gcc-patches

Hi!

The r13-2943-g11a113d501ff64 made aarch64.h include
aarch64-option-extensions.def, but that file isn't installed
for building plugins.

The following patch should fix that, ok for trunk if it
passes bootstrap/regtest + building plugin against it?

2022-12-20  Jakub Jelinek  <jakub@redhat.com>

	* config/aarch64/t-aarch64 (OPTIONS_H_EXTRA): Add
	aarch64-option-extensions.def.

--- gcc/config/aarch64/t-aarch64.jj	2022-04-04 13:55:46.001615509 +0200
+++ gcc/config/aarch64/t-aarch64	2022-12-20 11:31:03.245651809 +0100
@@ -22,7 +22,8 @@ TM_H += $(srcdir)/config/aarch64/aarch64
 OPTIONS_H_EXTRA += $(srcdir)/config/aarch64/aarch64-cores.def \
 		   $(srcdir)/config/aarch64/aarch64-arches.def \
 		   $(srcdir)/config/aarch64/aarch64-fusion-pairs.def \
-		   $(srcdir)/config/aarch64/aarch64-tuning-flags.def
+		   $(srcdir)/config/aarch64/aarch64-tuning-flags.def \
+		   $(srcdir)/config/aarch64/aarch64-option-extensions.def
 
 $(srcdir)/config/aarch64/aarch64-tune.md: s-aarch64-tune-md; @true
 s-aarch64-tune-md: $(srcdir)/config/aarch64/gentune.sh \

	Jakub


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2022-12-21 10:43 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-12-20 10:41 [PATCH] aarch64: Fix plugin header install Jakub Jelinek
2022-12-21  9:56 ` Richard Sandiford
2022-12-21 10:12   ` Jakub Jelinek
2022-12-21 10:43     ` Richard Sandiford

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).