[Bug plugins/107964] New: [13] missing plugin header contracts.h

[sss@li-snyder.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107964

            Bug ID: 107964
           Summary: [13] missing plugin header contracts.h
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: plugins
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sss@li-snyder.org
  Target Milestone: ---

I have a gcc plugin that fails to compile against trunk because the
contracts.h header, which is included by cp-tree.h, is not installed
to the plugins directory.

Trivially fixed thus:

diff --git a/gcc/cp/Make-lang.in b/gcc/cp/Make-lang.in
index af25bdc044a..e189f556955 100644
--- a/gcc/cp/Make-lang.in
+++ b/gcc/cp/Make-lang.in
@@ -39,7 +39,7 @@ CXX_INSTALL_NAME := $(shell echo c++|sed
'$(program_transform_name)')
 GXX_INSTALL_NAME := $(shell echo g++|sed '$(program_transform_name)')
 CXX_TARGET_INSTALL_NAME := $(target_noncanonical)-$(shell echo c++|sed
'$(program_transform_name)')
 GXX_TARGET_INSTALL_NAME := $(target_noncanonical)-$(shell echo g++|sed
'$(program_transform_name)')
-CP_PLUGIN_HEADERS := cp-tree.h cxx-pretty-print.h name-lookup.h type-utils.h
operators.def cp-trait.def
+CP_PLUGIN_HEADERS := cp-tree.h cxx-pretty-print.h name-lookup.h type-utils.h
operators.def cp-trait.def contracts.h

 #^L
 # Define the names for selecting c++ in LANGUAGES.



(I can send a reproducer if desired, but i didn't think that was really
necessary in this case.)