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