PACKAGE = cic_transformations REQUIRES = \ gdome2-xslt \ helm-xml helm-cic_proof_checking helm-cic_omdoc helm-registry \ helm-utf8_macros PREDICATES = # modules which have both a .ml and a .mli INTERFACE_FILES = \ contentTable.mli \ cic2Xml.mli \ mpresentation.mli box.mli \ acic2Ast.mli \ cicAstPp.mli ast2pres.mli content2pres.mli \ sequent2pres.mli \ misc.mli xml2Gdome.mli sequentPp.mli \ applyStylesheets.mli applyTransformation.mli \ tacticAstPp.mli boxPp.mli tacticAst2Box.mli IMPLEMENTATION_FILES = \ cicAst.ml tacticAst.ml \ $(INTERFACE_FILES:%.mli=%.ml) EXTRA_OBJECTS_TO_INSTALL = EXTRA_OBJECTS_TO_CLEAN = all: clean: extra_clean distclean: extra_clean extra_clean: rm -f make_table include ../Makefile.common