PACKAGE = cic_notation
-REQUIRES = \
- helm-cic \
- helm-utf8_macros \
- ulex
NULL =
+REQUIRES = \
+ helm-cic \
+ helm-utf8_macros \
+ camlp4.gramlib \
+ ulex \
+ $(NULL)
INTERFACE_FILES = \
cicNotationLexer.mli \
cicNotationParser.mli \
all:
-cicNotationLexer.cmo: cicNotationLexer.ml cicNotationLexer.cmi
- $(OCAMLC_P4) -c $<
-cicNotationLexer.cmx: cicNotationLexer.ml cicNotationLexer.cmi
- $(OCAMLOPT_P4) -c $<
-cicNotationParser.cmo: REQUIRES = helm-utf8_macros camlp4.gramlib helm-cic
-cicNotationParser.cmo: cicNotationParser.ml cicNotationParser.cmi cicNotationLexer.cmi
- $(OCAMLC_P4) -c $<
-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
test: test_lexer test_parser
test_lexer: test_lexer.ml $(PACKAGE).cma
test_parser: test_parser.ml $(PACKAGE).cma
$(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
+cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4)
+cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4)
+cicNotationLexer.cmx: OCAMLC = $(OCAMLC_P4)
+cicNotationParser.cmx: OCAMLC = $(OCAMLC_P4)
+
clean: extra_clean
distclean: extra_clean
rm -f macro_table.dump