diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-06 16:58:16 -0500 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-11-10 18:47:35 -0600 |
| commit | 726603e0e5a5482cf98538079790747e43313276 (patch) | |
| tree | 12e41e99a21a16cf9cff7374a84d9a6527f03c8b /src/compat | |
| parent | 6c6f44c32a6bb957c1e82ae75fbf62db2e286595 (diff) | |
Flatten libcvc4 build structure; remove some #include interdependences
Diffstat (limited to 'src/compat')
| -rw-r--r-- | src/compat/Makefile.am | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am index 11dffe9f0..5a8bd454e 100644 --- a/src/compat/Makefile.am +++ b/src/compat/Makefile.am @@ -20,26 +20,17 @@ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas if CVC4_BUILD_LIBCOMPAT lib_LTLIBRARIES = libcvc4compat.la -if HAVE_CXXTESTGEN -check_LTLIBRARIES = libcvc4compat_noinst.la -endif libcvc4compat_la_LDFLAGS = \ -version-info $(LIBCVC4COMPAT_VERSION) -libcvc4compat_noinst_la_LDFLAGS = libcvc4compat_la_LIBADD = \ -L@builddir@/.. -lcvc4 \ -L@builddir@/../parser -lcvc4parser -libcvc4compat_noinst_la_LIBADD = \ - -L@builddir@/.. -lcvc4 \ - -L@builddir@/../parser -lcvc4parser if CVC4_NEEDS_REPLACEMENT_FUNCTIONS libcvc4compat_la_LIBADD += \ @builddir@/../lib/libreplacements.la -libcvc4compat_noinst_la_LIBADD += \ - @builddir@/../lib/libreplacements.la endif libcvc4compat_la_SOURCES = \ @@ -47,11 +38,6 @@ libcvc4compat_la_SOURCES = \ cvc3_compat.cpp libcvc4compat_la_CXXFLAGS = -fno-strict-aliasing -libcvc4compat_noinst_la_SOURCES = \ - cvc3_compat.h \ - cvc3_compat.cpp -libcvc4compat_noinst_la_CXXFLAGS = -fno-strict-aliasing - else EXTRA_DIST = \ |