diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-04-11 05:55:37 +0000 |
commit | a2602bd3e3ee90d50cb433e01b029d1176b4cc18 (patch) | |
tree | fc8168fb358d819497bbe8db2bb482ace5e1ddff | |
parent | 969b144a5f9630d646afdf0ff0a053df38d0ed1a (diff) |
fix "make dist" issues in makefiles
-rw-r--r-- | src/expr/Makefile.am | 3 | ||||
-rw-r--r-- | test/regress/regress0/bv/core/Makefile.am | 2 | ||||
-rw-r--r-- | test/system/Makefile.am | 1 |
3 files changed, 5 insertions, 1 deletions
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 |