diff --git a/0-floor/lace_shared/lace_shared.gpr b/0-floor/lace_shared/lace_shared.gpr index 083176a..6f491a9 100644 --- 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",