Polyspace code prover for a Qt project
3 ビュー (過去 30 日間)
古いコメントを表示
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:
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 件のコメント
回答 (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!