Linux IDEA中Scala项目加载libz3java.so报UnsatisfiedLinkError求助

以下是针对问题的具体排查和解决步骤：

1. 确认库文件的有效性 #

• 检查libz3java.so是否存在且权限正常：

  ls -l /home/xiangmin/z3/build/libz3java.so
  

  确保文件存在，且当前用户拥有可读权限。
• 验证库文件架构与JDK匹配：

  file /home/xiangmin/z3/build/libz3java.so
  

  输出需包含x86-64（与你的amd64架构JDK对应）。

2. 修复IDEA的环境变量传递问题 #

IDEA默认可能不会完全继承系统的LD_LIBRARY_PATH，需手动配置：

• 打开IDEA的Run/Debug Configurations
• 选中你的Scala应用配置
• 在Environment variables中添加：

  LD_LIBRARY_PATH=/opt/gurobi1000/linux64/lib:/home/xiangmin/z3/build
  

  （注意去掉路径中多余的//）
• 或者直接在VM options中指定java.library.path：

  -Djava.library.path=/opt/gurobi1000/linux64/lib:/home/xiangmin/z3/build
  

3. 检查库文件的依赖链 #

使用ldd命令查看libz3java.so是否存在缺失的依赖：

ldd /home/xiangmin/z3/build/libz3java.so

如果输出中出现not found的依赖，需将对应依赖的库路径加入LD_LIBRARY_PATH，或安装缺失的系统包。

4. 修正System.load的调用方式 #

• 如果使用System.load，必须传入完整的库文件路径：

  System.load("/home/xiangmin/z3/build/libz3java.so")
  

• 更推荐使用System.loadLibrary，它会自动适配系统的库命名规则（无需加lib前缀和.so后缀）：

  System.loadLibrary("z3java")
  

5. 验证运行时的java.library.path #

在代码中添加一行打印，确认运行时实际生效的路径：

println("Current java.library.path: " + System.getProperty("java.library.path"))

运行后检查输出是否包含/home/xiangmin/z3/build，以此确认IDEA的配置是否生效。

6. 重新编译Z3的Java绑定 #

若以上步骤无效，可能是Z3的Java绑定编译不完整：

cd /home/xiangmin/z3
rm -rf build && mkdir build && cd build
cmake -DBUILD_JAVA_BINDINGS=ON ..
make -j$(nproc)
sudo make install

编译安装后，libz3java.so会被安装到/usr/local/lib，而java.library.path默认包含该路径，无需额外配置。

内容的提问来源于stack exchange，提问作者ggggxm