PACKAGE = cic_textual_parser2
REQUIRES = \
helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
PACKAGE = cic_textual_parser2
REQUIRES = \
helm-tactics helm-logger helm-cic_unification helm-cic_transformations \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(patsubst %,%_notation.ml,$(NOTATIONS))
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
$(patsubst %,%_notation.ml,$(NOTATIONS))