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 >