diff options
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index df85ba805..fcaa2cc5d 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -4,6 +4,8 @@ UNIT_TESTS = \ expr/node_black \ parser/parser_black +TESTS_DEPENDENCIES = $(abs_top_builddir)/src/libcvc4.la $(abs_top_builddir)/src/parser/libcvc4parser.la + # things that aren't tests but that tests rely on and need to # go into the distribution TEST_DEPS = |