mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
47c95ee386
Now we have three build types for gnat2why: * Production (as before, all checks disabled) * Debug (as before, all checks enabled) * Devel (new, inexpensive checks enabled, expensive checks disabled) The new type Devel is the default type for every-day development; Debug is for continuous builder; Production is for release and wavefront builds.
2 lines
27 B
Plaintext
2 lines
27 B
Plaintext
pragma Initialize_Scalars;
|