Next: Generating Object Files, Previous: File Naming Topics and Utilities, Up: The GNAT Compilation Model [Contents][Index]
Configuration pragmas include those pragmas described as such in the Ada Reference Manual, as well as implementation-dependent pragmas that are configuration pragmas. See the Implementation_Defined_Pragmas chapter in the GNAT_Reference_Manual for details on these additional GNAT-specific configuration pragmas. Most notably, the pragma Source_File_Name, which allows specifying non-default names for source files, is a configuration pragma. The following is a complete list of configuration pragmas recognized by GNAT:
Ada_83 Ada_95 Ada_05 Ada_2005 Ada_12 Ada_2012 Allow_Integer_Address Annotate Assertion_Policy Assume_No_Invalid_Values C_Pass_By_Copy Check_Name Check_Policy Compile_Time_Error Compile_Time_Warning Compiler_Unit Component_Alignment Convention_Identifier Debug_Policy Detect_Blocking Default_Storage_Pool Discard_Names Elaboration_Checks Eliminate Extend_System Extensions_Allowed External_Name_Casing Fast_Math Favor_Top_Level Float_Representation Implicit_Packing Initialize_Scalars Interrupt_State License Locking_Policy Long_Float No_Run_Time No_Strict_Aliasing Normalize_Scalars Optimize_Alignment Persistent_BSS Polling Priority_Specific_Dispatching Profile Profile_Warnings Propagate_Exceptions Queuing_Policy Ravenscar Rename_Pragma Restricted_Run_Time Restrictions Restrictions_Warnings Reviewable Short_Circuit_And_Or Source_File_Name Source_File_Name_Project SPARK_Mode Style_Checks Suppress Suppress_Exception_Locations Task_Dispatching_Policy Universal_Data Unsuppress Use_VADS_Size Validity_Checks Warnings Wide_Character_Encoding
| • Handling of Configuration Pragmas: | ||
| • The Configuration Pragmas Files: | ||