]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/extractor/Makefile
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / metadata / extractor / Makefile
diff --git a/helm/metadata/extractor/Makefile b/helm/metadata/extractor/Makefile
deleted file mode 100644 (file)
index 4b6f01a..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-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