当启动Polyspace命令行,可以指定一个选项文件(文本文件包含选项列表中),通过使用参数选项文件。
这个选项仍然可以使用图形通过指定这个选项在“其他”字段(在高级设置)。
这里的想法然后叫polyspace-configure为了生成一个选项文件(这将只包含相关的编译选项),然后使用这个选项文件Polyspace项目由Polyspace生成Eclipse插件。
验证将启动时,选择来自选项文件中定义的项目将被合并。
实现这个解决方案在Eclipse中,您可以创建一个脚本,该脚本将用于发射polyspace-configure在构建命令。
这个脚本可以通过调用“构建目标”。
然后使用额外的选项生成的选项文件选项文件Polyspace项目(Polyspace >配置项目)。
脚本本身将作为参数调用polyspace-configure构建命令。
冲突发生以来由于源文件规范在项目文件和选项文件中,源文件的列表需要从生成的选项文件中删除。
您可能会看到额外的警告之初验证出于类似的原因,但是这些可以安全地忽略。
R2018b以来,有一个选项,可以防止生成的源文件列表:任何资料。
在这个版本之前,它必须在脚本完成。
这里有一个例子构建命令调用命令忍者。exe,用来编译一个项目使用忍者开源软件构建系统:
设置BUILD_COMMAND = " C: \ PROGRA ~ 1 \忍者- ~ 1 \ ninja.exe”
设置CLEAN_COMMAND = " C: \ PROGRA ~ 1 \ \忍者忍者——~ 1。exe - t干净”
设置MATLAB_ROOT = " C: \ Program Files \ MATLAB \ R2017a”
设置DUMMY_FILE = dummy.txt
设置OPTION_FILE = option_file.txt
cmd / C % CLEAN_COMMAND %
% MATLAB_ROOT % \ polyspace \ bin \ polyspace-configure。exe -output-options-file % DUMMY_FILE % -allow-overwrite % BUILD_COMMAND %
中/ v / r / c:“^”来源% DUMMY_FILE % > % OPTION_FILE %
首先,忍者清洁命令来确保一个完整的构建将会完成。
然后polyspace-configure叫做构建命令的参数。
最后,选择文件修改删除线从源头开始。
在R2018b脚本只是结束:
% MATLAB_ROOT % \ polyspace \ bin \ polyspace-configure。exe -output-options-file % DUMMY_FILE %任何资料-allow-overwrite % BUILD_COMMAND %
