]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/grafite/Makefile
1. Several files in grafite that should be in grafite_parser moved there.
[helm.git] / helm / ocaml / grafite / Makefile
1 PACKAGE = grafite
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         grafiteAstPp.mli        \
6         cicNotation.mli         \
7         grafiteMarshal.mli      \
8         $(NULL)
9 IMPLEMENTATION_FILES =          \
10         grafiteAst.ml           \
11         $(INTERFACE_FILES:%.mli=%.ml)
12
13
14 include ../Makefile.common