You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I accessed an Ubuntu 18.04 LTS server via ssh. The system has g++ or gcc version 12:
jidogun@compute5:~$ g++ --version
g++ (GCC) 12.3.0
Copyright (C) 2022 Free Software Foundation, Inc.
This is free software; see the sourcefor copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
However, I get this error after issuing the command:
jidogun@compute5:~$ souffle
souffle: /usr/lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.29' not found (required by souffle)souffle: /usr/lib/x86_64-linux-gnu/libstdc++.so.6: version `GLIBCXX_3.4.26' not found (required by souffle)
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I accessed an Ubuntu 18.04 LTS server via
ssh
. The system hasg++
orgcc
version 12:And it contains these versions of
GLIBCXX
:I downloaded souffle from this repo and built and installed it following these instructions https://souffle-lang.github.io/build:
However, I get this error after issuing the command:
What am I missing here?
Beta Was this translation helpful? Give feedback.
All reactions