Polyspace code prover for a Qt project
조회 수: 5 (최근 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!