diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-29 16:53:19 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-04-29 16:53:19 +0000 |
| commit | 194c5b6f04c7c9bec8c0f23b88ac8d0f0094186a (patch) | |
| tree | 20faf669228e725a7521311841a13b5ddbb71a78 /src/parser/Makefile.am | |
| parent | b99ec8f0f659884d30c5fa1a9312addd07e75059 (diff) | |
First draft implementation of SMT v2 parser
Diffstat (limited to 'src/parser/Makefile.am')
| -rw-r--r-- | src/parser/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 1464eeac0..380f40c6a 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -17,7 +17,7 @@ AM_CPPFLAGS = \ -I@srcdir@/../include -I@srcdir@/.. $(ANTLR_INCLUDES) AM_CXXFLAGS = -Wall $(FLAG_VISIBILITY_HIDDEN) -SUBDIRS = smt cvc +SUBDIRS = smt smt2 cvc nobase_lib_LTLIBRARIES = libcvc4parser.la noinst_LTLIBRARIES = libcvc4parser_noinst.la @@ -30,7 +30,8 @@ libcvc4parser_la_LINK = $(CXXLINK) libcvc4parser_noinst_la_LDFLAGS = $(ANTLR_LDFLAGS) libcvc4parser_noinst_la_LIBADD = \ @builddir@/smt/libparsersmt.la \ - @builddir@/cvc/libparsercvc.la + @builddir@/smt2/libparsersmt2.la \ + @builddir@/cvc/libparsercvc.la libcvc4parser_la_SOURCES = libcvc4parser_noinst_la_SOURCES = \ |