缺少动态库,可以打包进来
regalroad opened this issue · 4 comments
error while loading shared libraries: libncurses.so.5 : cannot open shared object file: No such file or directory
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.5is 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>
#endifAnd 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)