scala - 在 Windows 上编译 Scala^Z3

Question

我尝试使用 Cygwin 和 JDK 1.7.0 在 Win XP 上编译 Scala^Z3，但没有达到预期效果。

我做了以下事情:- 使用SBT 0.7.4- 使用来自 github 的当前 Scala^Z3 修订版- 使用 Cygwin 及其 gcc- 使用JDK 1.7.0 (javac)

“sbt更新”成功。“sbt package”最终会出现几个错误，指出 undefined reference ，如下所示:

\psuter-ScalaZ3-35cb691\src\c/z3_Z3Wrapper.c:10: undefined reference to `_Z3_mk_config'

为了使其正常工作，我将 ....\PSuterScalaZ3\psuter-ScalaZ3-35cb691\project\build\scalaz3.scala 第 74 行更改为:

lazy val gcc : ManagedTask = if(isUnix || is32bit) {

主页上指出它也应该适用于 Windows。真的吗？有可用的预编译 jar 吗？

我在这里看到了一个 z3.jar:http://lara.epfl.ch/~psuter/jniz3/z3.jar我猜这也是 Linux 版本？因为它对我来说也不起作用......

Scala^Z3 是一段非常好的代码(如果我能让它工作的话；))

Answer 1

抱歉，sbt 脚本目前确实仅适用于 Linux(正如您可以通过绝对路径看出的那样，我们还不太习惯拥有外部用户)。

以下是我在 Windows 下编译它的步骤:

• 使用 javac 编译所有 Java 源代码(没有依赖项)
• 使用javah生成头文件
• 使用 scalac 编译所有 Scala 源代码(仅使用 Java .class 文件作为依赖项)
• 使用 Visual Studio 编译 .c + .h 文件
• 手动创建包含所有内容的 jar 文件

一旦我们使 Scala^Z3 适应 Z3 3.1 中的新变化，我们还希望发布一个包含 Linux 和 Windows 共享库的预编译 .jar 文件。

编辑 GitHub 存储库现在包含为 Scala 2.9.1 和 Z3 3.2 准备的预编译 .jar 文件。它可以在 Windows 和 Linux(32 位)下运行。该存储库还包含有关如何使用 MinGW 而不是 Visual Studio 在 Windows 中编译共享库的更详细说明(因此无需 VS 运行时库)。