Problems to execute qualkitdo_​codeprover​server on Centos 7

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

[Luis Blanco Abruña]

Hello,

I compile my own GCC 8 (./configure --disable-multilib --enable-languages=c,c++ && make -j <number_cpu_cores> && make install) and install the new GCC in /usr/local/lib64.Then I remove :

sudo yum remove gcc-c++.x86_64

sudo yum remove gcc.x86_64

And finish, I run with:

$ LD_PRELOAD="/usr/local/lib64/libstdc++.so.6.0.25" ./qualkitdo_codeproverserver_tcp.sh

Answer 1

[Pat Canny]

I recommend contacting MathWorks Technical Support. This question requires more information.