我正在按照here的描述尝试从源代码编译 OpenSMT ，但是最后我得到以下错误。对于C / C ++来说不是很好，所以不确定如何解决此问题。
[ 98%] Linking CXX executable opensmt
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tgetnum'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tgetent'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tgetstr'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tgoto'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `UP'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `BC'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tputs'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `PC'
/home/sasho/miniconda3/lib/libreadline.so: undefined reference to `tgetflag'
collect2: error: ld returned 1 exit status
src/bin/CMakeFiles/exec.dir/build.make:98: recipe for target 'src/bin/opensmt' failed
make[2]: *** [src/bin/opensmt] Error 1
CMakeFiles/Makefile2:998: recipe for target 'src/bin/CMakeFiles/exec.dir/all' failed
make[1]: *** [src/bin/CMakeFiles/exec.dir/all] Error 2
Makefile:127: recipe for target 'all' failed
make: *** [all] Error 2