blob: ae9c2e18a4b69461d735218f4756d7e24f7d4fd3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
MODULE = parser
LIBRARY=libparser.a
# Do not optimize the parser code - it compiles forever in some gcc versions
EXTRAFLAGS = -O0
TRANSIENT_CPP = \
parsePL.cpp lexPL.cpp \
parseLisp.cpp lexLisp.cpp \
parsesmtlib.cpp lexsmtlib.cpp
TRANSIENT = $(TRANSIENT_CPP) \
parsePL_defs.h parsePL.output \
parseLisp_defs.h parseLisp.output \
parsesmtlib_defs.h parsesmtlib.output
SRC = $(TRANSIENT_CPP) parser.cpp
HEADERS = parser_temp.h
# The actual source files for the parser that we want to include in a
# distribution
SRC_ORIG = PL.lex PL.y Lisp.lex Lisp.y smtlib.lex smtlib.y parser.cpp
include ../../Makefile.local
##################################################
# Rules for transient files
##################################################
lexPL.cpp: PL.lex parsePL_defs.h
$(LEX) $(LFLAGS) -I -PPL -olexPL.cpp PL.lex
parsePL_defs.h: parsePL.cpp
parsePL.cpp: PL.y
$(YACC) $(YFLAGS) -o parsePL.cpp -p PL --debug -v PL.y
@if [ -f parsePL.cpp.h ]; then mv parsePL.cpp.h parsePL.hpp; fi
@mv parsePL.hpp parsePL_defs.h
lexLisp.cpp: Lisp.lex parseLisp_defs.h
$(LEX) $(LFLAGS) -I -PLisp -olexLisp.cpp Lisp.lex
parseLisp_defs.h: parseLisp.cpp
parseLisp.cpp: Lisp.y
$(YACC) $(YFLAGS) -o parseLisp.cpp -p Lisp --debug -v Lisp.y
@if [ -f parseLisp.cpp.h ]; then mv parseLisp.cpp.h parseLisp.hpp; fi
@mv parseLisp.hpp parseLisp_defs.h
lexsmtlib.cpp: smtlib.lex parsesmtlib_defs.h
$(LEX) $(LFLAGS) -I -Psmtlib -olexsmtlib.cpp smtlib.lex
parsesmtlib_defs.h: parsesmtlib.cpp
parsesmtlib.cpp: smtlib.y
$(YACC) $(YFLAGS) -o parsesmtlib.cpp -p smtlib --debug -v smtlib.y
@if [ -f parsesmtlib.cpp.h ]; then mv parsesmtlib.cpp.h parsesmtlib.hpp; fi
@mv parsesmtlib.hpp parsesmtlib_defs.h
|
