]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/grafite/Makefile
b16d7b7dd41f807e94a6a0334614fbaa5a4948aa
[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