diff options
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/gnat-gpl/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-lang/gnat-gpl/metadata.xml b/dev-lang/gnat-gpl/metadata.xml index ce151bd0f453..a5fc1ab20846 100644 --- a/dev-lang/gnat-gpl/metadata.xml +++ b/dev-lang/gnat-gpl/metadata.xml @@ -7,6 +7,7 @@ <use> <flag name="ada">Build the ADA language (GNAT) frontend</flag> <flag name="bootstrap">Used to bootstrap gnat-gpl</flag> + <flag name="cet" restrict=">=dev-lang/gnat-gpl-11.2.1">Enable support for Intel Control Flow Enforcement Technology (CET)</flag> <flag name="d">Enable support for the D programming language</flag> <flag name="fixed-point">Enable fixed-point arithmetic support for MIPS targets in gcc (Warning: significantly increases compile time!) |