在Mac上运行ScalaZ3

Question

运行使用ScalaZ3的程序。这是一个Max OS XAt运行时我得到一个例外如下

Could not find /lib-bin/libscalaz3.dylib
java.io.FileNotFoundException: Could not find /lib-bin/libscalaz3.dylib
at z3.Z3Wrapper.loadLib(Z3Wrapper.java:74)
at z3.Z3Wrapper.loadFromJar(Z3Wrapper.java:52)
at z3.Z3Wrapper.<clinit>(Z3Wrapper.java:32)
at z3.scala.Z3Config.<init>(Z3Config.scala:6)

稍后我得到第二个堆栈跟踪

java.lang.UnsatisfiedLinkError: z3.Z3Wrapper.mkConfig()J
at z3.Z3Wrapper.mkConfig(Native Method)
at z3.scala.Z3Config.<init>(Z3Config.scala:6)
at thesis.z3option.Z3SessionCore$class.open(Z3SessionCore.scala:89)

我正在使用jar文件    罐子发行版本/ 64 /阶-2.9.1 / scalaz3-3.2.c.jar 在github存储库中。

---

编辑：以下是我在设置过程的第（3）步中遇到的错误：sbt package

n060h152:ScalaZ3 theo$ sbt package
[info] Building project ScalaZ3 4.0a against Scala 2.9.2
[info] 
[info] == compute-checksum ==
[info] == compute-checksum ==
[info] 
[info] == compile ==
[info]   Source analysis: 0 new/modified, 0 indirectly invalidated, 0 removed.
[info] Compiling main sources...
[info] Nothing to compile.
[info]   Post-analysis: 273 classes.
[info] == compile ==
[info] 
[info] == javah ==
[info] Generating JNI C headers
[info] javah -classpath /Users/theo/Documents/ScalaZ3/target/scala_2.9.2/classes -d /Users/theo/Documents/ScalaZ3/src/c z3.Z3Wrapper
[error] Cannot find annotation method 'bytes()' in type 'scala.reflect.ScalaSignature': class file for scala.reflect.ScalaSignature not found
[error] Error: Class scala.ScalaObject could not be found.
[info] == javah ==
[error] Error running javah: Non-zero exit code.
[info] 
[info] Total time: 4 s, completed 24-May-2013 2:52:36 PM
[info] 
[info] Total session time: 6 s, completed 24-May-2013 2:52:36 PM