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_Float_Overflow Check_Name Check_Policy Compile_Time_Error Compile_Time_Warning Compiler_Unit Compiler_Unit_Warning Component_Alignment Convention_Identifier Debug_Policy Detect_Blocking Default_Scalar_Storage_Order Default_Storage_Pool Disable_Atomic_Synchronization Discard_Names Elaboration_Checks Eliminate Enable_Atomic_Synchronization Extend_System Extensions_Allowed External_Name_Casing Fast_Math Favor_Top_Level Ignore_Pragma Implicit_Packing Initialize_Scalars Interrupt_State License Locking_Policy No_Component_Reordering No_Heap_Finalization No_Run_Time No_Strict_Aliasing Normalize_Scalars Optimize_Alignment Overflow_Mode Overriding_Renamings Partition_Elaboration_Policy Persistent_BSS Polling Prefix_Exception_Messages Priority_Specific_Dispatching Profile Profile_Warnings Propagate_Exceptions Queuing_Policy Rational Ravenscar Rename_Pragma Restricted_Run_Time Restrictions Restrictions_Warnings Reviewable Short_Circuit_And_Or Short_Descriptors Source_File_Name Source_File_Name_Project SPARK_Mode Style_Checks Suppress Suppress_Exception_Locations Task_Dispatching_Policy Unevaluated_Use_Of_Old Universal_Data Unsuppress Use_VADS_Size Validity_Checks Warning_As_Error Warnings Wide_Character_Encoding
| • Handling of Configuration Pragmas: | ||
| • The Configuration Pragmas Files: | ||