still a working copy, now towards a cleaner implementation ...

[helm.git] / helm / ocaml / cic_disambiguation / Makefile

diff --git a/helm/ocaml/cic_disambiguation/Makefile b/helm/ocaml/cic_disambiguation/Makefile
index 4827da66618546818892882f0a56e7e48917c02a..11da724694d4c626a927c63a14fd930108aacb1b 100644 (file)
--- a/helm/ocaml/cic_disambiguation/Makefile
+++ b/helm/ocaml/cic_disambiguation/Makefile
@@ -1,11 +1,16 @@
 
 PACKAGE = cic_textual_parser2
-REQUIRES = ulex camlp4 pxp
-INTERFACE_FILES = ast.mli pp.mli macro.mli lexer.mli
+REQUIRES = \
+       ulex pxp helm-tactics helm-cic helm-logger helm-cic_unification \
+       camlp4.gramlib
 NOTATIONS = logic arit
+INTERFACE_FILES = \
+       ast.mli pp.mli macro.mli lexer.mli disambiguate.mli parser.mli \
+       disambiguate_types.mli
 IMPLEMENTATION_FILES = \
-       pp.ml macro.ml lexer.ml parser.ml \
-       $(patsubst %,%_notation.ml,$(NOTATIONS))
+       pp.ml macro.ml lexer.ml disambiguate_struct.ml parser.ml \
+       disambiguate.ml \
+       $(patsubst %,%_notation.ml,$(NOTATIONS)) \
 
 ULEXDIR := $(shell ocamlfind query ulex)
 
@@ -13,7 +18,7 @@ LEXER_P4_OPTS = -I $(ULEXDIR) pa_ulex.cma
 PARSER_P4_OPTS = pa_extend.cmo ./macro.cmo ./pa_unicode_macro.cmo
 PA_P4_OPTS = q_MLast.cmo pa_extend.cmo
 
-include ../Makefile.common
+all:
 
 lexer.cmo: lexer.ml
        $(OCAMLC) -pp "camlp4o $(LEXER_P4_OPTS)" -c $<
@@ -26,7 +31,7 @@ parser.cmo: parser.ml macro.cmo pa_unicode_macro.cmo
 pa_unicode_macro.cmo: pa_unicode_macro.ml macro.cmo
        $(OCAMLC) -pp "camlp4o $(PA_P4_OPTS)" -c $<
 
-LOCAL_LINKOPTS = -linkpkg gramlib.cma $(PACKAGE).cma
+LOCAL_LINKOPTS = -linkpkg $(PACKAGE).cma
 test: test_lexer test_parser
 test_lexer: test_lexer.ml $(PACKAGE).cma
        $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
@@ -45,3 +50,12 @@ distclean: extra_clean
 extra_clean:
        rm -f test_lexer test_parser make_table
 
+include ../Makefile.common
+
+.PHONY: depend
+depend: macro.cmi macro.cmo pa_unicode_macro.cmi pa_unicode_macro.cmo
+       $(OCAMLDEP) -pp "camlp4o $(PARSER_P4_OPTS) $(LEXER_P4_OPTS)" $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
+
+disambiguate_types.cmi: disambiguate_types.mli
+       $(OCAMLC) -c -rectypes $<
+