a strange error occurs during using command line to run polyspace-bug-finder

조회 수: 16 (최근 30일)
Batch File one:
@echo off
Set workspace="D:\Devapp\Jenkins\jobs\D1HA13_Pipeline_Jenkinsfile\workspace"
set workspace=%workspace:\=/%
set MATLABROOT=C:\Devapp\MATLAB\R2016a
::set MATLABROOT=%MATLABROOT:\=/%
Set JOB_NAME="D1HA13_Pipeline_Jenkinsfile"
Path=C:\Devapp\Cygwin2.11\bin;%Path%
%MATLABROOT%\polyspace\bin\polyspace-configure -allow-build-error -output-options-file %workspace%/polyspace/D1HA13_Pipeline_Jenkinsfile.txt call run.bat
pause
Batch File two:
@echo off
%MATLABROOT%/polyspace/bin/polyspace-bug-finder-nodesktop.exe -options-file %workspace%\polyspace\D1HA13_Pipeline_Jenkinsfile.txt -options-file %workspace%\polyspace\target_D1HA13_Pipeline_Jenkinsfile.txt -sources %workspace%\polyspace\sources\AppBtn.c -I %workspace%\polyspace\sources
D1HA13_Pipeline_Jenkinsfile.txt:
-lang c
-OS-target no-predefined-OS
-prog D1HA13
-author wujie
-dialect gnu4.6
-target hc12
target_D1HA13_Pipeline_Jenkinsfile.txt:
-misra3 D:\Workstation\01_Doc\03_Software\Polyspace_Rule_PATAC
-no-extern-C
-results-dir D:\Devapp\Jenkins\jobs\D1HA13_Pipeline_Jenkinsfile\workspace\polyspace\Result
-no-language-extensions
after running:
1. the result from log file is correct
**********************************************************
***
*** Bug-finder - Module Analysis done
***
**********************************************************
Ending at: Tue Jun 25 10:05:17 2019
User time for module: 00:00:01.60 (1.61real, 1.61u + 0s)
Generating GUI files
Defects statistics:
- Total number of defects: 0
GUI files generation completed in 0.54real
User time for polyspace-bug-finder-nodesktop: 00:00:28.3 (28.03real, 28.03u + 0s (0.44gc))
***
*** End of Polyspace analysis
***
2. the result printed on windows console is not correct
there are some unnecessary items as shown below
***
*** End of Polyspace analysis
***
polyspace-configure ERROR: All programs detected are unknown: there is no matching compiler configuration. Executed programs are:
polyspace-configure ERROR: polyspace-bug-finder-nodesktop C:/Devapp/MATLAB/R2016a/polyspace/bin/polyspace-bug-finder-nodesktop.exe
polyspace-configure ERROR: ps_be C:/Devapp/MATLAB/R2016a/bin/win64/ps_be.exe
polyspace-configure ERROR: ps_c_me C:/Devapp/MATLAB/R2016a/bin/win64/ps_c_me.exe
polyspace-configure ERROR: ps_c_stubber C:/Devapp/MATLAB/R2016a/bin/win64/ps_c_stubber.exe
polyspace-configure ERROR: ps_cxx_fe C:/Devapp/MATLAB/R2016a/bin/win64/ps_cxx_fe.exe
polyspace-configure ERROR: ps_gen_gui_files C:/Devapp/MATLAB/R2016a/bin/win64/ps_gen_gui_files.exe
polyspace-configure ERROR: ps_leavesfirst C:/Devapp/MATLAB/R2016a/bin/win64/ps_leavesfirst.exe
polyspace-configure ERROR: ps_linksuif C:/Devapp/MATLAB/R2016a/bin/win64/ps_linksuif.exe
polyspace-configure ERROR: ps_mvm C:/Devapp/MATLAB/R2016a/bin/win64/ps_mvm.exe
polyspace-configure ERROR: ps_pckg C:/Devapp/MATLAB/R2016a/bin/win64/ps_pckg.exe
polyspace-configure ERROR: ps_porky C:/Devapp/MATLAB/R2016a/bin/win64/ps_porky.exe
polyspace-configure ERROR: ps_printsuif C:/Devapp/MATLAB/R2016a/bin/win64/ps_printsuif.exe
polyspace-configure ERROR: ps_swighnflew C:/Devapp/MATLAB/R2016a/bin/win64/ps_swighnflew.exe
polyspace-configure ERROR: Following compilers are recognized by polyspace-configure (with path to their compiler configuration):
polyspace-configure ERROR: (.*-)?([cg]\+\+|g?cc) C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\gcc.xml
polyspace-configure ERROR: (.*-)?clang(\+\+)? C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\clang.xml
polyspace-configure ERROR: cl C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cl.xml
polyspace-configure ERROR: cl2000 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cl2000.xml
polyspace-configure ERROR: cx6808 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\cx6808.xml
polyspace-configure ERROR: icc(430|78k|78k0r|8051|arm|avr|avr32|cf|cr16c|h8|hcs12|m16c|m32c|maxq|r32c|rh850|rl78|rx|s08|sam8|sh|stm8|v850) C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\iccarm.xml
polyspace-configure ERROR: tcc C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\tcc.xml
polyspace-configure ERROR: xc8 C:\Devapp\MATLAB\R2016a\polyspace\configure\compiler_configuration\xc8.xml
polyspace-configure ERROR: No compilation unit detected in your build.
Possible sources for this error are:
- Your build command does not compile any C/C++ files.
- Your compiler was not called. You must force a clean rebuild.
- Your compiler is unknown to Polyspace. You must write a compiler configuration.
- You use a compiler cache (such as ccache). You must deactivate it.
- You use a distributed build system (such as distmake). You must deactivate it.
Exiting
I want to know how to fix it? Thanks in advanced!

답변 (0개)

Community Treasure Hunt

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

Start Hunting!

Translated by