diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-28 23:57:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-28 23:57:12 +0000 |
| commit | 5bdea9d2c58ee3ff0140294e53c60bd55b62f8e3 (patch) | |
| tree | d0b4c5220b7b212e92e8b9743b910e2ca87ce622 /src | |
| parent | 87de6caa100f5f727ff5cda577ccd79288e0f474 (diff) | |
another make dist fix for java compat bindings
Diffstat (limited to 'src')
| -rw-r--r-- | src/bindings/compat/java/Makefile.am | 42 |
1 files changed, 3 insertions, 39 deletions
diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am index c3663426b..aa18c1119 100644 --- a/src/bindings/compat/java/Makefile.am +++ b/src/bindings/compat/java/Makefile.am @@ -112,51 +112,15 @@ SRC_CPP_FILES = src/cvc3/JniUtils.cpp # all cpp files (to compile) CPP_FILES = $(SRC_CPP_FILES) $(JNI_CPP_FILES) -dist_libcvc4bindings_java_compat_la_SOURCES = $(SRC_CPP_FILES) $(IMPL_FILES) +dist_libcvc4bindings_java_compat_la_SOURCES = $(SRC_CPP_FILES) $(IMPL_FILES) include/cvc3/JniUtils.h nodist_libcvc4bindings_java_compat_la_SOURCES = $(JNI_CPP_FILES) BUILT_SOURCES = $(JNI_CPP_FILES) -EXTRA_DIST = +EXTRA_DIST = \ formula_value.h \ create_impl.py \ Cvc3_manifest \ - src/cvc3/JniUtils.java \ - src/cvc3/Cvc3Exception.java \ - src/cvc3/TypecheckException.java \ - src/cvc3/SoundException.java \ - src/cvc3/EvalException.java \ - src/cvc3/CLException.java \ - src/cvc3/ParserException.java \ - src/cvc3/SmtlibException.java \ - src/cvc3/DebugException.java \ - src/cvc3/Embedded.java \ - src/cvc3/EmbeddedManager.java \ - src/cvc3/InputLanguage.java \ - src/cvc3/QueryResult.java \ - src/cvc3/SatResult.java \ - src/cvc3/FormulaValue.java \ - src/cvc3/Expr.java \ - src/cvc3/ExprMut.java \ - src/cvc3/ExprManager.java \ - src/cvc3/ExprManagerMut.java \ - src/cvc3/Type.java \ - src/cvc3/TypeMut.java \ - src/cvc3/Op.java \ - src/cvc3/OpMut.java \ - src/cvc3/Rational.java \ - src/cvc3/RationalMut.java \ - src/cvc3/Theorem.java \ - src/cvc3/TheoremMut.java \ - src/cvc3/Proof.java \ - src/cvc3/ProofMut.java \ - src/cvc3/Context.java \ - src/cvc3/ContextMut.java \ - src/cvc3/Flag.java \ - src/cvc3/Flags.java \ - src/cvc3/FlagsMut.java \ - src/cvc3/Statistics.java \ - src/cvc3/StatisticsMut.java \ - src/cvc3/ValidityChecker.java + $(JAVA_FILES:%=src/cvc3/%.java) # compile each cpp file $(JNI_CPP_FILES): %.cpp: src/cvc3/%_impl.cpp $(builddir)/cvc3/%.h include/cvc3/JniUtils.h |