1 PACKAGE = cic_transformations
5 helm-cic_proof_checking \
13 # modules which have both a .ml and a .mli
21 applyTransformation.mli \
23 IMPLEMENTATION_FILES = \
24 $(INTERFACE_FILES:%.mli=%.ml)
25 EXTRA_OBJECTS_TO_INSTALL =
26 EXTRA_OBJECTS_TO_CLEAN =
31 distclean: extra_clean
35 include ../Makefile.common