REQUIRES = \
helm-utf8_macros \
ulex
-NOTATIONS =
NULL =
INTERFACE_FILES = \
cicNotationLexer.mli \
$(NULL)
IMPLEMENTATION_FILES = \
$(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \
- $(patsubst %,%_notation.ml,$(NOTATIONS)) \
$(NULL)
all:
-cicNotationLexer.cmo: cicNotationLexer.ml
+cicNotationLexer.cmo: cicNotationLexer.ml cicNotationLexer.cmi
$(OCAMLC_P4) -c $<
-cicNotationLexer.cmx: cicNotationLexer.ml
+cicNotationLexer.cmx: cicNotationLexer.ml cicNotationLexer.cmi
$(OCAMLOPT_P4) -c $<
-cicNotationParser.cmo: cicNotationParser.ml
+cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib
+cicNotationParser.cmo: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
$(OCAMLC_P4) -c $<
-cicNotationParser.cmx: cicNotationParser.ml
- $(OCAMLOPT_P4) -c $<
-
-%_notation.cmo: %_notation.ml
- $(OCAMLC_P4) -c $<
-%_notation.cmx: %_notation.ml
+cicNotationParser.cmx: REQUIRES = helm-utf8_macros camlp4.gramlib
+cicNotationParser.cmx: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
$(OCAMLOPT_P4) -c $<
LOCAL_LINKOPTS = -package helm-cic_notation -linkpkg