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/theory/Makefile.am | |
| parent | a85aa996535fb86009c1869f0daa1c27c980a566 (diff) | |
check in automake/libtool/autoconf-generated files; add better file not found handling
Diffstat (limited to 'src/theory/Makefile.am')
| -rw-r--r-- | src/theory/Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 803cc53b5..60d11ba88 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -2,6 +2,9 @@ INCLUDES = -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -fvisibility=hidden AM_CPPFLAGS = -D__BUILDING_CVC4LIB -noinst_LTLIBRARIES = libtheory.la +#noinst_LTLIBRARIES = libtheory.la -libtheory_la_SOURCES = +#libtheory_la_LIBADD = +# @builddir@/uf/libuf.la + +#SUBDIRS = uf |