工具/软件:
您好:
我没有从 Matlab/ Polyspace 得到一个体面的答案,所以我希望你能帮助我。
在设置 Polyspace 项目时、它可以选择"Create from build command"(通过构建命令创建)。
我曾尝试使用 make、各种*。mk 文件、甚至是 C:\ti\ccs1210\ccs\utils\bin\gmake.exe、它会全部拒绝。
我必须想念这一点或某种东西。 也许他们要求我不知道的东西。
谢谢、
Dave
This thread has been locked.
If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.
工具/软件:
您好:
我没有从 Matlab/ Polyspace 得到一个体面的答案,所以我希望你能帮助我。
在设置 Polyspace 项目时、它可以选择"Create from build command"(通过构建命令创建)。
我曾尝试使用 make、各种*。mk 文件、甚至是 C:\ti\ccs1210\ccs\utils\bin\gmake.exe、它会全部拒绝。
我必须想念这一点或某种东西。 也许他们要求我不知道的东西。
谢谢、
Dave
我已经被引导相信,如果你提供了 build 命令,它使软件更好地理解一些非 ANSI 结构的意图。 [/报价]再说一次,我不能评论任何 Polyspace 相关的东西。 我可以评论 CCS 编译环境。
首先、我建议阅读 UG 的这一部分:
CCS 在生成的 make 文件上使用的编译命令可以在工程的生成器属性中看到:
您可以查看如何在控制台输出中调用该命令:
希望这有所帮助
Ki