Re: pragma Optimize

Nicolas Setton <[email protected]> Thu, 6 Dec 2018 10:41:12 +0000
Newsgroups gmane.comp.ide.gps.user
Message-ID <[email protected]>
Hello,

this is not a GPS question, I would suggest posting this on stackoverflow.com.

Best regards,

Nicolas


On 5 December 2018 at 15:52:18, tws ([email protected]) wrote:
> Hi,
> 
> I defined
> 
> package ruiz is
> 
> pragma Optimize(Time);
> 
> ...
> 
> end ruiz;
> 
> and
> package body ruiz is
> 
> pragma Optimize(Time);
> 
> ...
> 
> end ruiz;
> 
> and tried to use it like:
> with ruiz;use ruiz
> 
> program prm is
> 
> pragma Optimize(Time);
> 
> ...
> 
> begin
> 
> ...
> 
> end prm;
> 
> 
> and get the warning: insufficient -O value in program prm.
> 
> If I delete line "pragma Optimize(Time);" from program prm then there is
> no warning anymore, but also no optimization for Time.
> 
> If I replace Optimize(Time) by Optimize(Space) everywhere, then I get the warning: 
> must specify -Os in ruiz.adb , ruiz.ads and in program prm.
> 
> Can you help?
> 
> Best,
> 
> tws
> 
> _______________________________________________
> gps-users mailing list
> [email protected]
> https://lists.adacore.com/mailman/listinfo/gps-users
>