Polyspace code prover for a Qt project

3 次查看（过去 30 天）
Jason Lee
Jason Lee 2019-6-3
Hi,
I am trying to test some Qt codes using Polyspace code prover, I heard the best way is to set up the polyspace project from my own build system like the following:
Matlab youtube tutorial
So first I compiled my Qt project to generate the makefile which is in the build folder, then I created the Polyspace project by choosing"create from build command", specifed the working directory to the Qt folder conatining the makefile, but I don't know how to determine the command used for building your source files? I tried with mingw-32-make command but it didn't work.
Can you help me on this issue? Thank you very much.

请先登录，再回答此问题。

回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by