gcc-plugin-devel - Support for compiling GCC plugins
| Website: | http://gcc.gnu.org |
|---|---|
| License: | GPLv3+ and GPLv3+ with exceptions and GPLv2+ with exceptions and LGPLv2+ and BSD |
| Vendor: | CentOS |
- Description:
This package contains header files and other support files for compiling GCC plugins. The GCC plugin ABI is currently not stable, so plugins must be rebuilt any time GCC is updated.
Packages
| gcc-plugin-devel-4.8.5-16.el7.x86_64 [821 KiB] |
Changelog
by Marek Polacek (2017-06-01):
- disable emitting profiling in functions marked with a special attribute (#1457969) |