diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-04 22:23:53 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-04 22:23:53 +0000 |
commit | 5e2f381b26d683691d9a040589536dc39c5831e0 (patch) | |
tree | 7fadaed04fa7f2954fe84efa78754a4fded30a33 /src/Makefile.am | |
parent | 1891eb9abf6e37a34c732211a8f11d08720fb2b7 (diff) |
fix gdb issues (at least for static builds); resolves bug 194
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index fb337e204..944600c81 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -20,19 +20,24 @@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) SUBDIRS = lib expr util context theory prop smt . parser main lib_LTLIBRARIES = libcvc4.la - noinst_LTLIBRARIES = libcvc4_noinst.la libcvc4_la_LDFLAGS = -version-info $(LIBCVC4_VERSION) -libcvc4_la_LINK = $(CXXLINK) - -libcvc4_la_SOURCES = -libcvc4_la_LIBADD = libcvc4_noinst.la # empty.cpp is a fake file added to "trick" automake into linking us as a # C++ library (rather than as a C library, which messes up exception # handling support) +libcvc4_la_SOURCES = empty.cpp libcvc4_noinst_la_SOURCES = empty.cpp +libcvc4_la_LIBADD = \ + @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@/theory/libtheory.la \ + @builddir@/lib/libreplacements.la libcvc4_noinst_la_LIBADD = \ @builddir@/util/libutil.la \ @builddir@/expr/libexpr.la \ |