diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-27 00:34:30 +0000 |
commit | d529e4c065d880f5fdf6e10cb0996a45e739bb51 (patch) | |
tree | 52aa084b73cb46870a8a544eeca36c0266948d9b /src/compat/Makefile.am | |
parent | 964b40905c6daed1ac4612fde034264222f6bb67 (diff) |
more interface work; adding legacy C interface
Diffstat (limited to 'src/compat/Makefile.am')
-rw-r--r-- | src/compat/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compat/Makefile.am b/src/compat/Makefile.am index 1e64a61bb..936a63559 100644 --- a/src/compat/Makefile.am +++ b/src/compat/Makefile.am @@ -21,7 +21,7 @@ if CVC4_BUILD_LIBCOMPAT lib_LTLIBRARIES = libcvc4compat.la if HAVE_CXXTESTGEN -noinst_LTLIBRARIES = libcvc4compat_noinst.la +check_LTLIBRARIES = libcvc4compat_noinst.la endif libcvc4compat_la_LDFLAGS = \ @@ -48,6 +48,7 @@ libcvc4compat_noinst_la_SOURCES = \ else EXTRA_DIST = \ + cvc3_kinds.h \ cvc3_compat.h \ cvc3_compat.cpp |