From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 8 Mar 2012 19:06:08 +0000 (+0000)
Subject: fix "make dist"
X-Git-Tag: cvc5-1.0.0~8279
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e0818c5764f69be7a75f65a4fa2f5993ba5b71e8;p=cvc5.git

fix "make dist"
---

diff --git a/src/bindings/compat/java/Makefile.am b/src/bindings/compat/java/Makefile.am
index d268d4d76..d3dd029dd 100644
--- 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