]> matita.cs.unibo.it Git - helm.git/blobdiff - metadata/extractor/Makefile
reorganization continues ...
[helm.git] / metadata / extractor / Makefile
diff --git a/metadata/extractor/Makefile b/metadata/extractor/Makefile
new file mode 100644 (file)
index 0000000..4b6f01a
--- /dev/null
@@ -0,0 +1,28 @@
+CC = gcc -Wall
+
+all: meta meta_ind
+
+meta: lex.yy.o sthandler.o
+       $(CC) lex.yy.o sthandler.o -lpq -o meta
+
+meta_ind: lex.yy_ind.o sthandler.o
+       $(CC) lex.yy_ind.o sthandler.o -lpq -o meta_ind
+
+lex.yy.c: meta_lex.l sthandler.h
+       flex meta_lex.l 
+
+lex.yy_ind.c: meta_lex_ind.l sthandler.h
+       flex -olex.yy_ind.c meta_lex_ind.l 
+
+sthandler.o: sthandler.c sthandler.h
+
+lex.yy.o: lex.yy.c sthandler.h
+       $(CC) -c lex.yy.c 
+
+lex.yy_ind.o: lex.yy_ind.c sthandler.h
+       $(CC) -c lex.yy_ind.c 
+
+clean:
+       -rm -f *.o 
+       -rm -f lex.yy.c lex.yy_ind.c
+       -rm -f meta meta_ind