Hello,
I am trying to run the qualkitdo_codeproverserver_tcp.sh to Polyspace Code Prover R2021a on Centos 7, but I have had the following problem:
./qualkitdo_codeproverserver_tcp.sh
/usr/local/polyspace/polyspace-server/R2021a/bin/glnxa64/ps_pckg: symbol lookup error: /usr/local/polyspace/polyspace-server/R2021a/bin/glnxa64/../../sys/os/glnxa64/libstdc++.so.6: undefined symbol: __cxa_thread_atexit_impl
Compilation failed in require at /usr/local/polyspace/polyspace-server/R2021a_qualification_kit/toolbox/qualkits/do/codeprover/tests/options-api/lib/ReportGeneratorQual.pm line 18.
Compilation failed in require at options-api/lib/polyspace-DO-178C-Kit-tests.prl line 16.
BEGIN failed--compilation aborted at options-api/lib/polyspace-DO-178C-Kit-tests.prl line 16.
Thank you.
Regards