Hello, we tried using Disco in our CentOS 7 cluster, but the versions of the glibc library are older than the ones you compiled against:
/opt/Disco-1.1-beta/buildG: /lib64/libstdc++.so.6: version `CXXABI_1.3.8' not found (required by /opt/Disco-1.1-beta/buildG)
/opt/Disco-1.1-beta/buildG: /lib64/libstdc++.so.6: version `GLIBCXX_3.4.20' not found (required by /opt/Disco-1.1-beta/buildG)
/opt/Disco-1.1-beta/fullsimplify: /lib64/libstdc++.so.6: version `CXXABI_1.3.8' not found (required by /opt/Disco-1.1-beta/fullsimplify)
/opt/Disco-1.1-beta/fullsimplify: /lib64/libstdc++.so.6: version `GLIBCXX_3.4.20' not found (required by /opt/Disco-1.1-beta/fullsimplify)
Since you're releasing pre-compiled binaries, would it be possible to at least have them statically linked?
Hello, we tried using Disco in our CentOS 7 cluster, but the versions of the glibc library are older than the ones you compiled against:
Since you're releasing pre-compiled binaries, would it be possible to at least have them statically linked?