diff options
Diffstat (limited to 'test/unit/Makefile.in')
-rw-r--r-- | test/unit/Makefile.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/unit/Makefile.in b/test/unit/Makefile.in index 4d20d59de..49912b26c 100644 --- a/test/unit/Makefile.in +++ b/test/unit/Makefile.in @@ -88,6 +88,8 @@ AUTOCONF = @AUTOCONF@ AUTOHEADER = @AUTOHEADER@ AUTOMAKE = @AUTOMAKE@ AWK = @AWK@ +BUILDING_SHARED = @BUILDING_SHARED@ +BUILDING_STATIC = @BUILDING_STATIC@ CC = @CC@ CCDEPMODE = @CCDEPMODE@ CFLAGS = @CFLAGS@ @@ -220,6 +222,7 @@ 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 |