Closed regalroad closed 2 months ago
The libncurses.so.5
is not a built-in library in some linux destro, for example, WSL ubuntu 20.04, but it can be installed via sudo apt-get install libncurses5
.
After the installation, godel can correctly functioning, but I am also facing a new warning:
sparrow-cli/godel-1.0/usr/bin/godel: sparrow-cli/godel-1.0/usr/bin/../lib64/../lib64/libtinfo.so.5: no version information available (required by /lib/x86_64-linux-gnu/libncurses.so.5)
Though this warning seems have no side effects on godel producing results.
The
libncurses.so.5
is not a built-in library in some linux destro, for example, WSL ubuntu 20.04, but it can be installed viasudo apt-get install libncurses5
.After the installation, godel can correctly functioning, but I am also facing a new warning:
sparrow-cli/godel-1.0/usr/bin/godel: sparrow-cli/godel-1.0/usr/bin/../lib64/../lib64/libtinfo.so.5: no version information available (required by /lib/x86_64-linux-gnu/libncurses.so.5)
Though this warning seems have no side effects on godel producing results.
I've checked that soufflé project uses ncurses.h
in its source file src/include/provenance/Explain.h
:
#ifdef USE_NCURSES
#include <ncurses.h>
#endif
And we could choose to compile soufflé without using this header and the shared library. We will deal with this later, then there's no need to load libncurses.so.5
.
Source code of godel-script has been merged into main branch.
In the CMakeLists the ncurses compile option is turned off, now the built executables will not need to refer libncurses.so.5
.
set(SOUFFLE_USE_CURSES OFF)
Released in 2.1.0. https://github.com/codefuse-ai/CodeFuse-Query/releases/tag/2.1.0
error while loading shared libraries: libncurses.so.5 : cannot open shared object file: No such file or directory