Problems to execute qualkitdo_codeproverserver on Centos 7

Question

Luis Blanco Abruña 2022-3-11

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/1669314-problems-to-execute-qualkitdo_codeproverserver-on-centos-7

回答： Pat Canny 2026-2-2，13:31

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

1 个评论
显示 -1更早的评论隐藏 -1更早的评论

Luis Blanco Abruña 2022-3-15

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

请先登录，再进行评论。

请先登录，再回答此问题。