snapshot (first working implementation of parttern matching from level 2

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

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index b383154646687773a680e5dae56aebc6fb96ee06..7102f2ea7b82207bb17a46ebbf0afbfcf404bc9a 100644 (file)
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -10,6 +10,7 @@ REQUIRES = \
        $(NULL)
 INTERFACE_FILES = \
        cicNotationUtil.mli     \
+       cicNotationTag.mli      \
        cicNotationLexer.mli    \
        cicNotationEnv.mli      \
        cicNotationPp.mli       \
@@ -28,6 +29,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 $@ $<