]> matita.cs.unibo.it Git - helm.git/blob - metadata/extractor/Makefile
use the proper top level function to parse terms
[helm.git] / metadata / extractor / Makefile
1 CC = gcc -Wall
2
3 all: meta meta_ind
4
5 meta: lex.yy.o sthandler.o
6         $(CC) lex.yy.o sthandler.o -lpq -o meta
7
8 meta_ind: lex.yy_ind.o sthandler.o
9         $(CC) lex.yy_ind.o sthandler.o -lpq -o meta_ind
10
11 lex.yy.c: meta_lex.l sthandler.h
12         flex meta_lex.l 
13
14 lex.yy_ind.c: meta_lex_ind.l sthandler.h
15         flex -olex.yy_ind.c meta_lex_ind.l 
16
17 sthandler.o: sthandler.c sthandler.h
18
19 lex.yy.o: lex.yy.c sthandler.h
20         $(CC) -c lex.yy.c 
21
22 lex.yy_ind.o: lex.yy_ind.c sthandler.h
23         $(CC) -c lex.yy_ind.c 
24
25 clean:
26         -rm -f *.o 
27         -rm -f lex.yy.c lex.yy_ind.c
28         -rm -f meta meta_ind