REQUIRES = helm-cic
PREDICATES =
-INTERFACE_FILES = cicTextualParser.mli
+INTERFACE_FILES = cicTextualParser.mli cicTextualParserContext.mli
IMPLEMENTATION_FILES = cicTextualParser0.ml $(INTERFACE_FILES:%.mli=%.ml) \
cicTextualLexer.ml
EXTRA_OBJECTS_TO_INSTALL = cicTextualParser0.ml cicTextualParser0.cmi \