diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-08 20:39:12 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-08 20:39:12 +0000 |
| commit | 0e1168af7a33263c73e1c51055c8980153d8d3b7 (patch) | |
| tree | 6b4fd96c3a3f4680e77c7fde2b20c5c1abfd896d /src/Makefile.am | |
| parent | a85aa996535fb86009c1869f0daa1c27c980a566 (diff) | |
check in automake/libtool/autoconf-generated files; add better file not found handling
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 1db9d9ecf..4ea07ea95 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -32,8 +32,8 @@ libcvc4_la_LIBADD = \ @builddir@/context/libcontext.la \ @builddir@/prop/libprop.la \ @builddir@/prop/minisat/libminisat.la \ - @builddir@/smt/libsmt.la \ - @builddir@/theory/libtheory.la + @builddir@/smt/libsmt.la +# @builddir@/theory/libtheory.la publicheaders = \ include/cvc4_config.h |