Compilation 优化布拉格语

为了让Ada代码运行得更快，我在代码中加入了pragma优化时间（在声明部分）。使用GNAT Ada libre核心编译器在AdaGIDE中编译时，我收到一条警告消息：

    pragma Optimize(Time);
       |
    >>> warning: insufficient -O value

在AdaGIDE编辑器的全局设置中，我在优化部分启用了扩展（O2级别）

同样的代码在GPS编译时没有给出任何警告。这里有没有使用过类似经验的阿达吉德的人

---

非常感谢

很抱歉，我没有为Ada使用IDE，但我很好奇地发现可用选项在GNAT版本之间有所不同：，和。您可能会检查哪些值适用于您安装的编译器版本，而不是IDE所期望的值。

对不起，我没有将IDE用于Ada，但我很好奇地发现，可用的选项在GNAT版本之间有所不同：，和。您可以对照IDE的预期检查哪些值适用于您安装的编译器版本。

谢谢。我将调查这个问题。但这只是一个“警告”信息，我可以使用GNAT选项-O3以获得完全优化（O3=O2+内联库单元优化）。Emacs是一个集成开发环境。这就是我使用的IDE。@T.E.D:没有那么便携，但集成度很好，我在Mac OS X上使用类似的BBEdit或TextWrangler:谢谢。我将调查这个问题。但这只是一个“警告”信息，我可以使用GNAT选项-O3以获得完全优化（O3=O2+内联库单元优化）。Emacs是一个集成开发环境。这就是我使用的IDE。@T.E.D.：不是便携的，但集成良好，我在Mac OS X上使用类似的BBEdit或TextWrangler：