mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

[CMake] Fix building the Java bindings.

Browse source 
This was broken due to 495ef0f055
and a914822346 adding and removing
source files without updating the CMake build.
This commit is contained in:
Dan Liew 2016-10-17 18:30:49 +01:00
parent 462d3e8e8b
commit 289e51f455
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
contrib/cmake/src/api/java/CMakeLists.txt
View file

@ -110,7 +110,9 @@ set(Z3_JAVA_JAR_SOURCE_FILES
BitVecSort.java BitVecSort.java
BoolExpr.java BoolExpr.java
BoolSort.java BoolSort.java
ConstructorDecRefQueue.java
Constructor.java Constructor.java
ConstructorListDecRefQueue.java
ConstructorList.java ConstructorList.java
Context.java Context.java
DatatypeExpr.java DatatypeExpr.java
@ -136,7 +138,6 @@ set(Z3_JAVA_JAR_SOURCE_FILES
GoalDecRefQueue.java GoalDecRefQueue.java
Goal.java Goal.java
IDecRefQueue.java IDecRefQueue.java
IDisposable.java
InterpolationContext.java InterpolationContext.java
IntExpr.java IntExpr.java
IntNum.java IntNum.java