diff options
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 |