如何解决错误: java:符号查找错误

Question

我正在尝试在SATFC/Linux上运行一个软件，该软件由x86_64开发，名为SATFC.软件调用一个名为satenstein的sat求解器，当它调用时，我得到以下错误消息：

java:符号查找错误: /tmp/libjnasatenstein_15758433517075266088.so:未定义符号: AddToList1

**让我注意到，我已经按照软件手册的说明在我的系统中设置了satenstein。

谢谢你的帮忙!

*编辑

我运行: nm -D libjnasatenstein_15758433517075266088.so来检查库，它显示了关于该符号的以下内容：

-U AddToList1

Answer 1

这可能太晚了，但我正在使用相同的SATFC库，并面临同样的问题。经过大量的挖掘，我终于解决了这个问题。我认为SATenstein构建代码有问题，我不得不对其进行调整以使其正常工作。导航到SATFC源代码目录(如果您正在使用SATenstein项目中的源代码，它应该在satfc/src/dist/satenstein/ubcsat_stein中)。在内部，编辑CMakeLists.txt文件:将标志-std=gnu89添加到CMAKE_C_FLAGS。重新编译SATenstein项目。应该能行得通。

Answer 2

最有可能的情况是，没有将LD_LIBRARY_PATH环境变量设置为包含satenstein-libs，将相同的内容附加到LD_LIBRARY_PATH

export LD_LIBRARY_PATH=${LD_LIBRARY_PATH}:<path_to_satenstein_lib>