On Wed, 15 Jan 2020 at 11:07, Tru Huynh <tru at pasteur.fr> wrote: > > gcc is /opt/rh/devtoolset-6/root/usr/bin/gcc > Good, so is Cmake using it? (e.g. remove the build dir and run cmake again to see what it first reports, or inspect $builddir/CMakeCache.txt for the compiler setting) Mark