build failure

[Joachim Schwender]

Dear developer,

tried to compile isl on a centos 7, (glibc.x86_64    2.17-326.el7_9, gmp-6.2.0, mpc-1.2.1, gcc 9.3.0) and got the following error while make check:

================================
   isl 0.24: ./test-suite.log
================================

# TOTAL: 9
# PASS:  8
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: isl_test_cpp
==================

/usr/src/gcc/isl-0.24/.libs/lt-isl_test_cpp: /lib64/libstdc++.so.6: version `CXXABI_1.3.9' not found (required by /usr/src/gcc/isl-0.24/.libs/lt-isl_test_cpp)
/usr/src/gcc/isl-0.24/.libs/lt-isl_test_cpp: /lib64/libstdc++.so.6: version `GLIBCXX_3.4.21' not found (required by /usr/src/gcc/isl-0.24/.libs/lt-isl_test_cpp)
FAIL isl_test_cpp (exit status: 1)

hope it helps.

--

Joachim Schwender

[Sven Verdoolaege]

This looks like you are using a badly configured C++ compiler.
In particular, it looks like the dynamic linker is picking up
a version of libstdc++ that is older than expected.

Which C++ compiler are you using?
Are you able to compile and run a simple C++ program with this compiler?
If so, which libstdc++ does it use (ldd will tell you).

skimo