From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 11 Apr 2011 05:55:37 +0000 (+0000)
Subject: fix "make dist" issues in makefiles
X-Git-Tag: cvc5-1.0.0~8606
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a2602bd3e3ee90d50cb433e01b029d1176b4cc18;p=cvc5.git

fix "make dist" issues in makefiles
---

diff --git a/src/expr/Makefile.am b/src/expr/Makefile.am
index 12e7f2ff0..1d7af717b 100644
--- 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 f1a12e165..a7fa9abfd 100644
--- 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 af9b43256..55688309e 100644
--- 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