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


9 Configuration Pragmas

In Ada 95, configuration pragmas include those pragmas described as such in the Ada 95 Reference Manual, as well as implementation-dependent pragmas that are configuration pragmas. See the individual descriptions of pragmas 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
        C_Pass_By_Copy
        Component_Alignment
        Detect_Blocking
        Discard_Names
        Elaboration_Checks
        Eliminate
        Extend_System
        External_Name_Casing
        Float_Representation
        Initialize_Scalars
        Interrupt_State
        License
        Locking_Policy
        Long_Float
        Normalize_Scalars
        Persistent_BSS
        Polling
        Profile
        Profile_Warnings
        Propagate_Exceptions
        Queuing_Policy
        Ravenscar
        Restricted_Run_Time
        Restrictions
        Restrictions_Warnings
        Reviewable
        Source_File_Name
        Style_Checks
        Suppress
        Task_Dispatching_Policy
        Universal_Data
        Unsuppress
        Use_VADS_Size
        Warnings
        Validity_Checks