diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-03-08 19:06:08 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-03-08 19:06:08 +0000 |
commit | e0818c5764f69be7a75f65a4fa2f5993ba5b71e8 (patch) | |
tree | 6e79c25c6d126fa76c1ba37c86f7b99241908ea7 | |
parent | 84b8611466e01c6894ec5645cd805e849d70d423 (diff) |
fix "make dist"
-rw-r--r-- | src/bindings/compat/java/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 |