Polyspace code prover for a Qt project

3 visualizaciones (últimos 30 días)
Jason Lee
Jason Lee el 3 de Jun. de 2019
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.

Respuestas (0)

Etiquetas

Community Treasure Hunt

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

Start Hunting!

Translated by