diff options
| author | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-05 16:35:37 -0400 |
|---|---|---|
| committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2013-06-06 14:51:32 -0400 |
| commit | 482167cc10c5df25e107e0b44a24c125f7b18bd2 (patch) | |
| tree | b3a132657bbe28c4af493c0152e634ffedf28c3f /src/theory/Makefile.am | |
| parent | 6edae99ca2d1af88ebe82256132d0d058913a13c (diff) | |
IDL example theory (to be used with --use-theory=idl).
Diffstat (limited to 'src/theory/Makefile.am')
| -rw-r--r-- | src/theory/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/theory/Makefile.am b/src/theory/Makefile.am index 70962e6ed..2df698da4 100644 --- a/src/theory/Makefile.am +++ b/src/theory/Makefile.am @@ -3,7 +3,7 @@ AM_CPPFLAGS = \ -I@builddir@/.. -I@srcdir@/../include -I@srcdir@/.. AM_CXXFLAGS = -Wall -Wno-unknown-pragmas $(FLAG_VISIBILITY_HIDDEN) -SUBDIRS = builtin booleans uf arith bv arrays datatypes quantifiers rewriterules +SUBDIRS = builtin booleans uf arith bv arrays datatypes quantifiers rewriterules idl DIST_SUBDIRS = $(SUBDIRS) example noinst_LTLIBRARIES = libtheory.la @@ -60,7 +60,8 @@ libtheory_la_LIBADD = \ @builddir@/bv/libbv.la \ @builddir@/datatypes/libdatatypes.la \ @builddir@/quantifiers/libquantifiers.la \ - @builddir@/rewriterules/librewriterules.la + @builddir@/rewriterules/librewriterules.la \ + @builddir@/idl/libidl.la EXTRA_DIST = \ logic_info.i \ |