PACKAGE = cic_omdoc
REQUIRES = helm-cic_proof_checking
PREDICATES =

INTERFACE_FILES =		\
	eta_fixing.mli		\
	doubleTypeInference.mli \
	cic2acic.mli		\
	content.mli		\
	contentPp.mli		\
	cic2content.mli		\
	content2cic.mli		\
	$(NULL)
IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)

EXTRA_OBJECTS_TO_INSTALL = \
EXTRA_OBJECTS_TO_CLEAN =

include ../Makefile.common