]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/grafite_parser/Makefile
1. matitaEngine splitted into disambiguation (now in grafite_parser) and
[helm.git] / helm / ocaml / grafite_parser / Makefile
1 PACKAGE = grafite_parser
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         matitaDisambiguator.mli \
6         grafiteDisambiguate.mli \
7         $(NULL)
8 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
9
10 include ../Makefile.common