]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/grafite/Makefile
generalize no more required before elim
[helm.git] / helm / software / components / grafite / Makefile
1 PACKAGE = grafite
2 PREDICATES =
3
4 INTERFACE_FILES =               \
5         grafiteAstPp.mli        \
6         grafiteMarshal.mli      \
7         $(NULL)
8 IMPLEMENTATION_FILES =          \
9         grafiteAst.ml           \
10         $(INTERFACE_FILES:%.mli=%.ml)
11
12
13 include ../../Makefile.defs
14 include ../Makefile.common