DHBW-Horn-clauses-resolver/makefile at master · Philhil/DHBW-Horn-clauses-resolver · GitHub

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
LEX  = flex
YACC = bison


all: scan_read

clean:
	rm scan_read
	rm *.o
	rm lex.yy.c

lex.yy.c: read.l
	lex read.l

grammar.tab.h: grammar.y
	$(YACC) -d grammar.y

grammar.tab.c: grammar.y
	$(YACC) -d grammar.y

grammar.tab.o: grammar.tab.c
	gcc -c -o grammar.tab.o grammar.tab.c

data.o: data.c
	gcc -c -o data.o data.c

lex.yy.o: lex.yy.c
	gcc -c -o lex.yy.o lex.yy.c

scan_read: lex.yy.o data.o grammar.tab.o
	gcc lex.yy.o data.o grammar.tab.o -o scan_read


#bison -d grammar.y (generate tabc und tab.h)
#flex -t read.l > read.c
# gcc -c -o read.o read.c
# gcc -c -o grammar.tab.o grammar.tab.c
# gcc read.o grammar.tab.o -o read (linken)