projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 84b8611)
fix "make dist"
authorMorgan Deters <mdeters@gmail.com>
Thu, 8 Mar 2012 19:06:08 +0000 (19:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 8 Mar 2012 19:06:08 +0000 (19:06 +0000)
src/bindings/compat/java/Makefile.am patch | blob | history

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index d268d4d7698ab918fc773ef4bea1579ae670700a..d3dd029dd8c6b7cf0f7d77974728f2fed1834b4d 100644 (file)
--- a/src/bindings/compat/java/Makefile.am
+++ b/src/bindings/compat/java/Makefile.am
@@ -119,7 +119,7 @@ EXTRA_DIST = \
        formula_value.h \
        create_impl.py \
        Cvc3_manifest \
-       $(SRC_CPP_FILES:%=src/cvc3/%_impl.cpp) \
+       $(JNI_CPP_FILES:%.cpp=src/cvc3/%_impl.cpp) \
        $(JAVA_FILES:%=src/cvc3/%.java)
 
 # compile each cpp file