From cae9d2856e3dfebde653cd03a1c674ff4dcdc067 Mon Sep 17 00:00:00 2001 From: Rod Kay Date: Thu, 20 Apr 2023 13:49:12 +1000 Subject: [PATCH] lace_shared: Use '-O3' for optimisation level. --- 0-floor/lace_shared/lace_shared.gpr | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) 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",