1

在 Mac 上为 Java 绑定编译 z3 源代码（37c9a31 提交）时收到以下错误消息。
正在使用的 OS XI 是 El Capitan，Java 版本是 1.8.0_91。有谁知道如何修理它？

另一个问题：从源代码编译的z3 Java绑定当前是否支持String？最新的发布版本（4.4.1）似乎不支持字符串。

"/usr/bin/javac" ../src/api/java/enumerations/*.java -d api/java/classes

"/usr/bin/javac" -cp api/java/classes ../src/api/java/*.java -d api/java/classes

../src/api/java/Sort.java:134: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_SEQ_SORT:
             ^

../src/api/java/Sort.java:136: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_RE_SORT:
             ^
../src/api/java/Expr.java:2179: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_SEQ_SORT:
             ^

../src/api/java/Expr.java:2181: error: an enum switch case label must be the unqualified name of an enumeration constant
        case Z3_RE_SORT:
             ^

4 errors
make: *** [com.microsoft.z3.jar] Error 1
4

0 回答 0