* added todo file

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index b383154646687773a680e5dae56aebc6fb96ee06..76048ac8070d8c7dab979a73812d5f50c0b139a9 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -10,9 +10,11 @@ REQUIRES = \
        $(NULL)
 INTERFACE_FILES = \
        cicNotationUtil.mli     \
+       cicNotationTag.mli      \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
+       cicNotationMatcher.mli  \
        cicNotationFwd.mli      \
        cicNotationRew.mli      \
        cicNotationParser.mli   \
@@ -28,6 +30,7 @@ LOCAL_LINKOPTS = -package helm-cic_notation -linkpkg
 test: test_lexer test_parser
 test_lexer: test_lexer.ml $(PACKAGE).cma
        $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<
+test_parser: REQUIRES += helm-cic_omdoc
 test_parser: test_parser.ml $(PACKAGE).cma
        $(OCAMLC) $(LOCAL_LINKOPTS) -o $@ $<