PACKAGE = grafite2
PREDICATES =

INTERFACE_FILES = \
	grafiteTypes.mli \
	disambiguatePp.mli \
	matitaSync.mli \
	grafiteMisc.mli \
	grafiteEngine.mli \
	$(NULL)
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)

include ../Makefile.common