Bug #96167 Many header files now missing from devel package

• Submitted: 11 Jul 2019 2:50
• Modified: 11 Jul 2019 5:36
• Reporter: Manuel Ung
• Status: Verified
• Category: MySQL Server: Packaging
• Severity: S3 (Non-critical)
• Version: 8.0
• OS: Any
• CPU Architecture: Any

[11 Jul 2019 2:50] Manuel Ung

Description:
As part of https://github.com/mysql/mysql-server/commit/dafc65ec13d223aecfa2f1b7c8c8e07cb6235389, many headers files are now removed, under the assumption that only clients use these header files.

However, there are other things that make use of these headers files, like plugins and udfs, and it is impossible to build these unless users download the source tree, and then copy the headers to the appropriate places.

As a side note, it also seems like none of the header files under libbinlogevents/include are not exported either, meaning that anyone writing a client reading binlogs would have a very hard time making sense of the bytes in the buffer.

Related bug: https://bugs.mysql.com/bug.php?id=91114

How to repeat:
Download mysql-community-devel-8.0.16-2.el7.x86_64.rpm from https://dev.mysql.com/downloads/mysql/ and check contents of rpm.

Suggested fix:
Add them back in.

[11 Jul 2019 5:36] MySQL Verification Team

Hello Manuel Ung,

Thank you for the bug report and feedback.

regards,
Umesh