Why when I run polyspace-configure, I get ERROR: Error building temporary directory

I tried to create a Polyspace project using polyspace-configure, I work with Qt, and my project name is "sequencer.pro", but when I run the command with the appropriate options,(I runed:

polyspace-configure qmake sequencer.pro

I get :

polyspace-configure: 0s: ERROR: Error building temporary directory "C:\Windows\system32\config\SYSTEM~1\AppData\Local\Temp\": Le fichier spÚcifiÚ est introuvable

I used the option -tmp-path, and I created a repository "D:\folder" and I runned:

polyspace-configure -tmp-path "D:\folder" qmake sequencer.pro

and I get:

polyspace-configure: 0s: ERROR: Error building the trace directory "D:\folder": Le fichier spÚcifiÚ est introuvable

do you have an idea about this issue? Thank you

Answer 1

[Alexandre De Barros]

Hello,

I suggest to contact the support here. In order to better understand the problem, please first launch polyspace-configure this way:

 polyspace-configure -easy-debug <debug_folder> <your build command>

<debug_folder> being a local folder where polyspace-configure will create the debug files. Then attach the contents of this folder to your support request.

Best regards,

Alexandre

Answer 2

[Khaled klai]

Hello, Thank you for your answer, but unfortunately, your suggestion did not solve my issue, I get the same error printed in the log.txt:

polyspace-configure: 0s: ERROR: Error building temporary directory "C:\Windows\system32\config\SYSTEM~1\AppData\Local\Temp\": Le fichier spécifié est introuvable
polyspace-configure: 0s: ERROR: Command line could not be processed

and the file polyspace_tracefile.txt was not created.

[Alexandre De Barros]

ok, so it's even more difficult to debug :(

Please contact the support and explain the things you tried.

Also please give the folder where polyspace-configure is launched, and the ouput of the Dos command "set".

Best regards,

Alexandre