From a2602bd3e3ee90d50cb433e01b029d1176b4cc18 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 11 Apr 2011 05:55:37 +0000 Subject: [PATCH] fix "make dist" issues in makefiles --- src/expr/Makefile.am | 3 ++- test/regress/regress0/bv/core/Makefile.am | 2 ++ test/system/Makefile.am | 1 + 3 files changed, 5 insertions(+), 1 deletion(-) 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 -- 2.30.2