fix "make dist" issues in makefiles

diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am
index 12e7f2ff01945b23bbab995ca110c5ed9041cfb5..1d7af717bdf4449ce29b4633ba814af4d3124bfd 100644 (file)
--- a/src/expr/Makefile.am
+++ b/src/expr/Makefile.am
@@ -26,7 +26,8 @@ libexpr_la_SOURCES = \
        declaration_scope.h \
        declaration_scope.cpp \
        expr_manager_scope.h \
-       node_self_iterator.h
+       node_self_iterator.h \
+       expr_stream.h
 nodist_libexpr_la_SOURCES = \
        kind.h \
        metakind.h \

diff --git a/test/regress/regress0/bv/core/Makefile.am b/test/regress/regress0/bv/core/Makefile.am
index f1a12e165fe8def3abd478541f26a77fe704c193..a7fa9abfd1a5a8195696555ad24aefeb8fadec26 100644 (file)
--- a/test/regress/regress0/bv/core/Makefile.am
+++ b/test/regress/regress0/bv/core/Makefile.am
@@ -71,6 +71,8 @@ TESTS =       \
        bitvec3.smt \
        bitvec5.smt
 
+EXTRA_DIST = $(TESTS)
+
 # synonyms for "check" in this directory
 .PHONY: regress regress0 test
 regress regress0 test: check

diff --git a/test/system/Makefile.am b/test/system/Makefile.am
index af9b4325625d3a49af2c0990c55a9da7ea6fb62b..55688309e2a6c8e05c9db0cbf3ae39338e203179 100644 (file)
--- a/test/system/Makefile.am
+++ b/test/system/Makefile.am
@@ -22,6 +22,7 @@ TEST_DEPS = \
        $(TEST_DEPS_NODIST)
 
 EXTRA_DIST = \
+       $(TESTS:%=%.cpp) \
        $(TEST_DEPS_DIST)
 
 if STATIC_BINARY