Disable assertions for optimized builds

Enabling `-gnata` and `-O` at the same time leads to very long build times. Ref. #911
AdaCore · Jan 26, 2022 · 6bb7e63 · 6bb7e63
1 parent a5377ff
commit 6bb7e63
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/defaults.gpr b/defaults.gpr
@@ -22,9 +22,9 @@ abstract project Defaults is
    GNATA := "-gnata";
 
    case Mode is
-      when "strict" =>
+      when "strict" | "optimized" =>
          GNATA  := "";
-      when "asserts_enabled" | "optimized" | "runtime_compatible" =>
+      when "asserts_enabled" | "runtime_compatible" =>
    end case;
 
    Proof_Switches :=