1

Mac で Java バインディング用に z3 ソース コード (37c9a31 コミット) をコンパイルすると、次のエラー メッセージが表示されます。
使用している OS XI は El Capitan で、Java バージョンは 1.8.0_91 です。誰もそれを修正する方法を知っていますか?

別の質問: 現在、文字列はソースからコンパイルされた z3 Java バインディングでサポートされていますか? 最新のリリース バージョン (4.4.1) は String をサポートしていないようです。

"/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