diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-20 23:47:56 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-20 23:47:56 +0000 |
commit | 95e5ca98d4c22897c0192a78ebeeb05e4838db2b (patch) | |
tree | 7bd14dc25a240bc2b4f5152c4ee7b666763dbebe /src/Makefile.am | |
parent | cb56555734b5139f779e65cc6e628124ac6796e6 (diff) |
fixes to build/test system
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 57a67d6e5..f7404e514 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -1,18 +1,18 @@ INCLUDES = -I@srcdir@/include -I@srcdir@ AM_CXXFLAGS = -Wall -fvisibility=hidden -SUBDIRS = util expr context prop smt theory parser main +SUBDIRS = util expr context prop smt theory . parser main lib_LTLIBRARIES = libcvc4.la +libcvc4_la_SOURCES = libcvc4_la_LIBADD = \ - util/libutil.a \ - expr/libexpr.a \ - context/libcontext.a \ - prop/minisat/libminisat.a \ - smt/libsmt.a \ - theory/libtheory.a \ - parser/libparser.a + util/libutil.la \ + expr/libexpr.la \ + context/libcontext.la \ + prop/minisat/libminisat.la \ + smt/libsmt.la \ + theory/libtheory.la EXTRA_DIST = \ include/cvc4.h \ |