scala - 使用 Scala 2.10 运行 Scala^Z3

Question

我在我的 Mac OSX(Mountain Lion、JDK 7、Scala 2.10、Z3 4.3)上成功安装了 Scala^Z3(如下:http://lara.epfl.ch/w/ScalaZ3)。一切都很好，除了我无法从这个网站( http://lara.epfl.ch/w/jniz3-scala-examples )运行任何示例而不会出现这个讨厌的错误:

java.lang.NoClassDefFoundError: scala/reflect/ClassManifest
    at .<init>(<console>:8)
    at .<clinit>(<console>)
    at .<init>(<console>:7)
        ...
Caused by: java.lang.ClassNotFoundException: scala.reflect.ClassManifest
    at java.net.URLClassLoader$1.run(URLClassLoader.java:366)
    at java.net.URLClassLoader$1.run(URLClassLoader.java:355)
    at java.security.AccessController.doPrivileged(Native Method)
    at java.net.URLClassLoader.findClass(URLClassLoader.java:354)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:423)
    at java.lang.ClassLoader.loadClass(ClassLoader.java:356)
    ... 29 more

我认为这是因为 Scala 2.9.x 和 2.10.x 在处理反射方面不兼容。因为我能够在 Scala 2.9.x 下运行相同的示例集。我的问题是，有没有办法绕过这个并在 Scala 2.10 下运行 Scala^Z3？

Answer 1

通过查看项目属性和构建文件(https://github.com/psuter/ScalaZ3/blob/master/project/build.properties 和 https://github.com/psuter/ScalaZ3/blob/master/project/build/scalaZ3.scala)，我推断 scalaZ3 目前仅适用于 scala 2.9.2。目前没有跨版本支持。

在“build.properties”文件中将版本更改为 scala 2.10.0 后，您可能会尝试获取代码并自行编译。有关如何编译它的说明，请参阅此页面:https://github.com/psuter/ScalaZ3 .如果幸运的话，代码将在 scala 2.10 下编译。如果你不是，可能需要做一些小的修复。交叉手指。

如果您不着急，您也可以向 Scala^Z3 作者发送错误信息，并向他们索要 scala 2.10 版本的库。