ScalaZ3 技术文档

2024-12-27 16:56:46作者：霍妲思

本文档将详细介绍ScalaZ3的安装、使用以及API调用方法。

1. 安装指南

系统要求

ScalaZ3 是为 Z3 4.8.14 和 Scala 3.2.0 设计的。在安装之前，请确保您的系统中已安装以下软件：

Java
SBT 1.7.x

编译 ScalaZ3

Mac & Unix

在终端中运行以下命令来编译 ScalaZ3：

sbt +package

编译完成后，JAR 文件将位于 target/scala-3.2.0/scalaz3_3-4.8.14.jar 目录中，并包含共享库依赖项。

若要进行测试，请运行：

sbt +test

Windows

准备工作

安装 Visual Studio Community 版本 2015
确保安装以下组件：
- 编程语言
  - Visual C++
    - 为 Visual C++ 2015 安装通用工具（勾选）
安装 JDK 1.8 或更高版本
在 C:\Program Files\Java\jdk1.8.0_121 下的 include 文件夹中创建一个副本，直接放在 C:\Program Files\Java\ 中
安装 64 位版本的 GCC。运行 gcc -v，输出应为 64 位。如果显示 mingw32，则需要安装新版本

使用以下选项成功打包并测试 ScalaZ3：

版本：6.3.0
架构：x86_64
线程：wind32
异常：seh
构建版本：2

打包说明

打开本机 x64 命令提示符（在 Visual Studio 文件夹的启动菜单中可用）

导航到 scalaz3 文件夹并输入：

sbt +package

JAR 文件将位于 target/scala-3.2.0/scalaz3_3-4.8.14.jar 目录中，并包含共享库依赖项。

测试打包

运行以下命令测试打包：

sbt test

如果无法正常工作，请检查 lib-bin/scalaz3.dll 是否为正确设置的 64 位 DLL：

dumpbin /headers lib-bin/scalaz3.dll | findstr machine

输出应为 x64。如果您遇到任何其他问题，请告知我们。

2. 项目的使用说明

在单个操作系统/架构上使用

在 build.sbt 文件同一级别的位置创建一个名为 unmanaged 的文件夹，并将 target/scala-3.2.0/scalaz3_3-4.8.14.jar 文件复制到其中。

然后在 build.sbt 文件中添加以下内容：

Compile / unmanagedJars += {
  baseDirectory.value / "unmanaged" / "scalaz3_3-4.8.14.jar"
}

在多个操作系统/架构上使用

如果您希望在支持各种操作系统和架构的项目中使用 ScalaZ3，您需要在每个系统/架构上按照上述说明编译 ScalaZ3。

确保将生成的 JAR 文件命名为 scalaz3-[osName]-[osArch]-3.jar，其中：

[osName] 是以下之一：mac、win、unix
[osArch] 对应于 System.getProperty("sun.arch.data.model")，例如 x64、fds 等

在 build.sbt 文件同一级别的位置创建一个名为 unmanaged 的文件夹，并将上述 JAR 文件复制到其中。

然后在 build.sbt 文件中添加以下内容：

val osInf = Option(System.getProperty("os.name")).getOrElse("")
val osArch = System.getProperty("sun.arch.data.model")

val isUnix    = osInf.indexOf("nix") >= 0 || osInf.indexOf("nux") >= 0
val isWindows = osInf.indexOf("Win") >= 0
val isMac     = osInf.indexOf("Mac") >= 0

val osName = if (isWindows) "win" else if (isMac) "mac" else "unix"

Compile / unmanagedJars += {
  baseDirectory.value / "unmanaged" / s"scalaz3-$osName-$osArch-3.jar"
}