Next: Handling Arbitrary File Naming Conventions Using gnatname, Previous: Renaming Files Using gnatchop, Up: Top
Configuration pragmas include those pragmas described as
such in the Ada Reference Manual, as well as
implementation-dependent pragmas that are configuration pragmas.
See Implementation Defined Pragmas,
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 Assertion_Policy C_Pass_By_Copy Check_Name Check_Policy Compile_Time_Error Compile_Time_Warning Compiler_Unit Component_Alignment Debug_Policy Detect_Blocking Discard_Names Elaboration_Checks Eliminate Extend_System 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 Restricted_Run_Time Restrictions Restrictions_Warnings Reviewable Source_File_Name Source_File_Name_Project Style_Checks Suppress Suppress_Exception_Locations Task_Dispatching_Policy Universal_Data Unsuppress Use_VADS_Size Validity_Checks Warnings Wide_Character_Encoding