mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-04 05:19:11 +00:00
Code Activity

Update CMakeLists.txt for building the Java API.

Browse source
This commit is contained in:
Thomas Haas 2024-02-17 12:33:49 +01:00
parent a1528aaadd
commit d8930e7101
1 changed files with 1 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

19
src/api/java/CMakeLists.txt
View file

@ -91,17 +91,13 @@ add_custom_command(OUTPUT ${Z3_JAVA_ENUMERATION_PACKAGE_FILES_FULL_PATH}
set(Z3_JAVA_JAR_SOURCE_FILES set(Z3_JAVA_JAR_SOURCE_FILES
AlgebraicNum.java AlgebraicNum.java
ApplyResultDecRefQueue.java
ApplyResult.java ApplyResult.java
ArithExpr.java ArithExpr.java
ArithSort.java ArithSort.java
ArrayExpr.java ArrayExpr.java
ArraySort.java ArraySort.java
ASTDecRefQueue.java
AST.java AST.java
AstMapDecRefQueue.java
ASTMap.java ASTMap.java
AstVectorDecRefQueue.java
ASTVector.java ASTVector.java
BitVecExpr.java BitVecExpr.java
BitVecNum.java BitVecNum.java
@ -109,9 +105,7 @@ set(Z3_JAVA_JAR_SOURCE_FILES
BoolExpr.java BoolExpr.java
BoolSort.java BoolSort.java
CharSort.java CharSort.java
ConstructorDecRefQueue.java
Constructor.java Constructor.java
ConstructorListDecRefQueue.java
ConstructorList.java ConstructorList.java
Context.java Context.java
DatatypeExpr.java DatatypeExpr.java
@ -121,7 +115,6 @@ set(Z3_JAVA_JAR_SOURCE_FILES
FiniteDomainExpr.java FiniteDomainExpr.java
FiniteDomainNum.java FiniteDomainNum.java
FiniteDomainSort.java FiniteDomainSort.java
FixedpointDecRefQueue.java
Fixedpoint.java Fixedpoint.java
FPExpr.java FPExpr.java
FPNum.java FPNum.java
@ -130,8 +123,6 @@ set(Z3_JAVA_JAR_SOURCE_FILES
FPRMSort.java FPRMSort.java
FPSort.java FPSort.java
FuncDecl.java FuncDecl.java
FuncInterpDecRefQueue.java
FuncInterpEntryDecRefQueue.java
FuncInterp.java FuncInterp.java
Global.java Global.java
GoalDecRefQueue.java GoalDecRefQueue.java
@ -144,16 +135,11 @@ set(Z3_JAVA_JAR_SOURCE_FILES
Lambda.java Lambda.java
ListSort.java ListSort.java
Log.java Log.java
ModelDecRefQueue.java
Model.java Model.java
OptimizeDecRefQueue.java
Optimize.java Optimize.java
ParamDescrsDecRefQueue.java
ParamDescrs.java ParamDescrs.java
ParamsDecRefQueue.java
Params.java Params.java
Pattern.java Pattern.java
ProbeDecRefQueue.java
Probe.java Probe.java
Quantifier.java Quantifier.java
RatNum.java RatNum.java
@ -166,16 +152,12 @@ set(Z3_JAVA_JAR_SOURCE_FILES
SeqSort.java SeqSort.java
SetSort.java SetSort.java
Simplifier.java Simplifier.java
SimplifierDecRefQueue.java
SolverDecRefQueue.java
Solver.java Solver.java
Sort.java Sort.java
StatisticsDecRefQueue.java
Statistics.java Statistics.java
Status.java Status.java
StringSymbol.java StringSymbol.java
Symbol.java Symbol.java
TacticDecRefQueue.java
Tactic.java Tactic.java
TupleSort.java TupleSort.java
UninterpretedSort.java UninterpretedSort.java
@ -183,6 +165,7 @@ set(Z3_JAVA_JAR_SOURCE_FILES
Version.java Version.java
Z3Exception.java Z3Exception.java
Z3Object.java Z3Object.java
Z3ReferenceQueue.java
) )
set(Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH "") set(Z3_JAVA_JAR_SOURCE_FILES_FULL_PATH "")
foreach (java_src_file ${Z3_JAVA_JAR_SOURCE_FILES}) foreach (java_src_file ${Z3_JAVA_JAR_SOURCE_FILES})