MATLAB的答案

为什么不polyspace-configure认识编译器在我的自定义配置吗?

31日视图(30天)
MathWorks支万博1manbetx持团队
回答: MathWorks支万博1manbetx持团队 2020年12月10日
我用polyspace-configure结合Makefile为TI ARM编译器创建一个polyspace配置如下所示:
polyspace-configure掠夺。让- b targetName buildOptions
然而,当我运行这个命令,我看到以下错误信息:
polyspace-configure: 7 s:错误:所有程序检测到未知:没有匹配的编译器配置。执行项目:
polyspace-configure: 7 s:错误:armar/ opt / ti / ccs /工具/编译器/ ti-cgt-arm_20.2.1.LTS / bin / armar
polyspace-configure: 7 s:错误:armcl/ opt / ti / ccs /工具/编译器/ ti-cgt-arm_20.2.1.LTS / bin / armcl
polyspace-configure: 7 s:错误:bash/bin/bash
polyspace-configure: 7 s:错误:build.sh/ tmp / polyspace_configure_tmp-e3ba-d09c / build.sh
polyspace-configure: 7 s:错误:cmake/usr/local/bin/cmake
polyspace-configure: 7 s:错误:/usr/bin/make
polyspace-configure: 7 s:错误:sh/bin/bash
polyspace-configure: 7 s:错误:以下编译器是被polyspace-configure(与路径相关的配置文件):
。
。
。
。
。
polyspace-configure: 7 s:错误:没有编译检测到您的构建单元。
可能的来源对于这个错误:
——您的构建命令不编译任何C / c++文件。
——你的编译器不叫。你必须强迫一个干净的重建。
——你的编译器是Polyspace未知。你必须写一个编译器配置。
——你使用一个编译器缓存(比如ccache)。你必须关闭它。
——你使用一个分布式构建系统(如distmake)。你必须关闭它。
——你使用-include-sources / -exclude-sources组合过滤掉每一个源文件。考虑设置-print-included-files和-print-excluded-files。
polyspace-configure: 7 s:错误:致命错误
我怎样才能解决这个错误继续代码验证?

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队
这个问题可能有几个不同的原因。所描述的错误消息,首先确保没有编译器使用的缓存,构建一个干净的构建(首先删除构建构件),等等。如果这些解决方案行不通,试试以下:万博 尤文图斯
手动输入错误发现者的C头文件,如下所示:
//www.tianjin-qmedu.com/help/releases/R2020a/codeprover/ug/polyspace-configure-source-files-selection-syntax.html
因为错误发现者不调用编译器本身,将没有问题识别潜在不受支持的编译器工具链。万博1manbetx你可以找到所有文件使用Unix命令如下:
美元找到。- name”*。h”——- name " * c "

更多的答案(0)