MATLAB的答案

为什么PolySpace对C / c++为Eclipse插件不会自动从Eclipse使用include路径给我验证在PolySpace端C / c++ 7.0 (R2009a) ?

4视图(30天)
MathWorks支万博1manbetx持团队
当我配置Eclipse中的项目并使用Polyspace为Eclipse插件运行验证关于丢失的文件我收到一个错误:
文件KOD_bt.c线27
错误:
可以不开源文件“dc_debug.h”
我需要知道我在哪里可以为我配置包括路径PolySpace验证的Eclipse。

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
此增强功能已经纳入释放2009 b (R2009b)。之前的产品发布,读下面的任何可能的解决方法:
当使用PolySpace Eclipse插件,PolySpace并不会自动考虑包括路径。这是手动添加在附件截图:
截图1:配置Polyspace偏好选择在Eclipse中:
1.1选择该项目。
1.2选择“PolySpace设置”选项卡。
1.3点击在“显示高级设置”按钮
截图2:增加路径包括PolySpace偏好

更多的答案(0)