[gps-users] pragma Optimize

[Nicolas Setton]

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 (hnptz at yahoo.de) 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
> gps-users at lists.adacore.com
> /no-more-mailman.html
>