Next: , Previous: Renaming Files with gnatchop, Up: Top


9 Configuration Pragmas

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
        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
        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