diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-24 16:37:00 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-24 16:37:00 +0000 |
| commit | ade732181ad2eabfb3a6eef46bdc9ea42d27246e (patch) | |
| tree | d487a25c2cc7bfbf610b57e9b4cd5cba2701a4c4 /test/unit/Makefile.am | |
| parent | d8a8f335f4043a0117f2b92af3d1e94f285e4d30 (diff) | |
Adding unit test for InteractiveShell
Diffstat (limited to 'test/unit/Makefile.am')
| -rw-r--r-- | test/unit/Makefile.am | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index af9e447ed..d511e48e7 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -39,7 +39,8 @@ UNIT_TESTS = \ util/integer_white \ util/rational_black \ util/rational_white \ - util/stats_black + util/stats_black \ + main/interactive_shell_black export VERBOSE = 1 @@ -74,11 +75,14 @@ AM_LDFLAGS_BLACK = AM_LDFLAGS_PUBLIC = AM_LIBADD_WHITE = \ @abs_top_builddir@/src/parser/libcvc4parser_noinst.la \ - @abs_top_builddir@/src/libcvc4_noinst.la + @abs_top_builddir@/src/libcvc4_noinst.la \ + @abs_top_builddir@/src/main/libmain.a AM_LIBADD_BLACK = \ @abs_top_builddir@/src/parser/libcvc4parser_noinst.la \ - @abs_top_builddir@/src/libcvc4_noinst.la + @abs_top_builddir@/src/libcvc4_noinst.la \ + @abs_top_builddir@/src/main/libmain.a AM_LIBADD_PUBLIC = \ + @abs_top_builddir@/src/parser/libcvc4parser.la \ @abs_top_builddir@/src/libcvc4.la EXTRA_DIST = \ |