]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create4/METADATA/Makefile
Generation of forward metadata using a lexical analyser.
[helm.git] / helm / metadata / create4 / METADATA / Makefile
diff --git a/helm/metadata/create4/METADATA/Makefile b/helm/metadata/create4/METADATA/Makefile
new file mode 100644 (file)
index 0000000..160f0bb
--- /dev/null
@@ -0,0 +1,17 @@
+CC = gcc
+
+meta: lex.yy.o sthandler.o
+       gcc lex.yy.o sthandler.o -o meta
+
+lex.yy.c: meta_lex.l sthandler.h
+       flex meta_lex.l 
+
+sthandler.o: sthandler.c sthandler.h
+
+lex.yy.o: lex.yy.c sthandler.h
+       gcc -c lex.yy.c 
+
+clean:
+       -rm *.o 
+       -rm lex.yy.c
+       -rm meta