lace_shared: Use '-O3' for optimisation level.

2023-04-20 13:49:12 +10:00
parent fcbc5e3676
commit cae9d2856e
1 changed files with 2 additions and 6 deletions
--- a/0-floor/lace_shared/lace_shared.gpr
+++ b/0-floor/lace_shared/lace_shared.gpr
@@ -33,15 +33,11 @@ is
                          "-fno-strict-aliasing")
                        & Style_Options;

-   Fast_Options := ("-O2", 
+   Fast_Options := ("-O3", 
                    "-gnatn",
                    "-gnatp",
                    "-funroll-loops",
-                    "-fpeel-loops",
-                    "-ftracer",
-                    "-funswitch-loops",
-                    "-fweb",
-                    "-frename-registers"); 
+                    "-ftracer");

   Small_Options := ("-Os",
                     "-gnatp",