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
답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!