diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:28:03 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:28:03 +0000 |
commit | 6f6a6bc95e661996a08b882ef6c7fdbdd0140e80 (patch) | |
tree | 34817ff3302977be6ff0f62db1c66b96681b1a77 /src/parser/Makefile.am | |
parent | 811158832b74e3b101af2c7473f4e11a41377dd4 (diff) |
Partial parser for booleans
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index e83605d29..7965b88f9 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -6,18 +6,18 @@ noinst_LTLIBRARIES = libparser.la libparser_la_SOURCES = \ pl_scanner.lpp \ - pl.ypp \ - smtlib_scanner.lpp \ - smtlib.ypp \ - parser.cpp + pl.ypp # \ + # smtlib_scanner.lpp \ + # smtlib.ypp \ + # parser.cpp BUILT_SOURCES = \ pl_scanner.cpp \ pl.cpp \ - pl.hpp \ - smtlib_scanner.cpp \ - smtlib.cpp \ - smtlib.hpp + pl.hpp # \ + # smtlib_scanner.cpp \ + # smtlib.cpp \ + # smtlib.hpp # produce headers too AM_YFLAGS = -d |