pragma Elaboration_Checks (Dynamic | Static);
This is a configuration pragma that provides control over the elaboration model used by the compilation affected by the pragma. If the parameter is Dynamic, then the dynamic elaboration model described in the Ada Reference Manual is used, as though the `-gnatE' switch had been specified on the command line. If the parameter is Static, then the default GNAT static model is used. This configuration pragma overrides the setting of the command line. For full details on the elaboration models used by the GNAT compiler, see the chapter on elaboration order handling in the `GNAT User's Guide'.