-lexer.cmo: lexer.ml
- $(OCAMLC) -pp "camlp4o $(LEXER_P4_OPTS)" -c $<
-parser.cmo: parser.ml macro.cmo pa_unicode_macro.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-%_notation.cmo: %_notation.ml parser.cmo
- $(OCAMLC) -pp "camlp4o $(PARSER_P4_OPTS)" -c $<
-
-pa_unicode_macro.cmo: pa_unicode_macro.ml macro.cmo
- $(OCAMLC) -pp "camlp4o $(PA_P4_OPTS)" -c $<
-
-LOCAL_LINKOPTS = -linkpkg gramlib.cma $(PACKAGE).cma
-test: test_lexer test_parser
-test_lexer: test_lexer.ml $(PACKAGE).cma
- $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-test_parser: test_parser.ml $(PACKAGE).cma
- $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
-make_table: make_table.ml
- $(OCAMLC) -linkpkg -o $@ $<
-
-.PHONY: macro_table.dump
-macro_table.dump: make_table
- ./make_table $@
-
-clean: extra_clean
-distclean: extra_clean
- rm -f macro_table.dump
-extra_clean:
- rm -f test_lexer test_parser make_table
+OCAMLARCHIVEOPTIONS += -linkall
+
+disambiguateTypes.cmi: disambiguateTypes.mli
+ @echo " OCAMLC -rectypes $<"
+ @$(OCAMLC) -c -rectypes $<
+disambiguateTypes.cmo: disambiguateTypes.ml disambiguateTypes.cmi
+ @echo " OCAMLC -rectypes $<"
+ @$(OCAMLC) -c -rectypes $<
+disambiguateTypes.cmx: disambiguateTypes.ml disambiguateTypes.cmi
+ @echo " OCAMLOPT -rectypes $<"
+ @$(OCAMLOPT) -c -rectypes $<