PREDICATES =
INTERFACE_FILES = \
- renderingAttrs.mli \
cicNotationLexer.mli \
- interpTable.mli \
smallLexer.mli \
cicNotationParser.mli \
- mpresentation.mli \
box.mli \
- content2presMatcher.mli \
+ content2presMatcher.mli \
termContentPres.mli \
boxPp.mli \
cicNotationPres.mli \
- content2pres.mli \
$(NULL)
IMPLEMENTATION_FILES = \
$(INTERFACE_FILES:%.mli=%.ml) \
PKGS = -package "$(MATITA_REQUIRES)"
-CMOS = $(ML:%.ml=%.cmo)
-$(CMOS) : $(LIB_DEPS)
+#CMOS = $(ML:%.ml=%.cmo)
+#$(CMOS) : $(LIB_DEPS)
cicNotationPres.cmi: OCAMLOPTIONS += -rectypes
cicNotationPres.cmo: OCAMLOPTIONS += -rectypes