diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:52:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-09-16 21:52:25 +0000 |
commit | 67bc89bd3fa304ea39934c14a7187c088e600011 (patch) | |
tree | 605dd06960842c354c8ca712690dbf605ef80fbc /src/theory/Makefile.am | |
parent | 438bec4894e3696d80152b420d7815ff88f07797 (diff) |
include example theory (former "UF-Tim") that's included in the dist but not built for the library
Diffstat (limited to 'src/theory/Makefile.am')
-rw-r--r-- | src/theory/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 6e8734b4d..c1a77d988 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -4,6 +4,7 @@ AM_CPPFLAGS = \ AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) SUBDIRS = builtin booleans uf arith arrays bv datatypes +DIST_SUBDIRS = $(SUBDIRS) example noinst_LTLIBRARIES = libtheory.la |