diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-17 08:39:27 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-17 08:39:27 +0000 |
commit | 7293554b109742697d4d928ed7b58acadc6de947 (patch) | |
tree | 73e057306fac266b5c9ca9cf12ae050f73c43bdf /src/parser/Makefile.am | |
parent | acd68152ff9600bdff208376f2cd43f09d45cdc8 (diff) |
another pass
Diffstat (limited to 'src/parser/Makefile.am')
-rw-r--r-- | src/parser/Makefile.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/Makefile.am b/src/parser/Makefile.am index 8cf9f4a6d..a9560ab93 100644 --- a/src/parser/Makefile.am +++ b/src/parser/Makefile.am @@ -12,10 +12,10 @@ libparser_a_SOURCES = \ BUILT_SOURCES = \ pl_scanner.cpp \ pl.cpp \ - pl.h \ + pl.hpp \ smtlib_scanner.cpp \ smtlib.cpp \ - smtlib.h + smtlib.hpp # produce headers too AM_YFLAGS = -d @@ -25,11 +25,11 @@ pl_scanner.cpp: pl_scanner.lpp smtlib_scanner.cpp: smtlib_scanner.lpp $(LEX) $(AM_LFLAGS) $(LFLAGS) -P smtlib -o $@ $< -pl_scanner.o: pl.h +pl_scanner.o: pl.hpp pl.cpp: pl.ypp $(YACC) $(AM_YFLAGS) $(YFLAGS) -p PL -o $@ $< -smtlib_scanner.o: smtlib.h +smtlib_scanner.o: smtlib.hpp smtlib.cpp: smtlib.ypp $(YACC) $(AM_YFLAGS) $(YFLAGS) -p smtlib -o $@ $< |