diff options
Diffstat (limited to 'src/Makefile.in')
| -rw-r--r-- | src/Makefile.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index a651482e6..fb902f2ce 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -76,7 +76,8 @@ LTLIBRARIES = $(lib_LTLIBRARIES) libcvc4_la_DEPENDENCIES = @builddir@/util/libutil.la \ @builddir@/expr/libexpr.la @builddir@/context/libcontext.la \ @builddir@/prop/libprop.la \ - @builddir@/prop/minisat/libminisat.la @builddir@/smt/libsmt.la + @builddir@/prop/minisat/libminisat.la @builddir@/smt/libsmt.la \ + @builddir@/theory/libtheory.la am_libcvc4_la_OBJECTS = libcvc4_la_OBJECTS = $(am_libcvc4_la_OBJECTS) libcvc4_la_LINK = $(LIBTOOL) --tag=CC $(AM_LIBTOOLFLAGS) \ @@ -299,9 +300,9 @@ libcvc4_la_LIBADD = \ @builddir@/context/libcontext.la \ @builddir@/prop/libprop.la \ @builddir@/prop/minisat/libminisat.la \ - @builddir@/smt/libsmt.la + @builddir@/smt/libsmt.la \ + @builddir@/theory/libtheory.la -# @builddir@/theory/libtheory.la publicheaders = \ include/cvc4_config.h |