# Warning: the modules must be in compilation order
NULL =
MODULES = \
+ extlib \
xml \
registry \
+ hmysql \
utf8_macros \
thread \
xmldiff \
tactics \
cic_notation \
cic_transformations \
- cic_textual_parser2 \
+ cic_disambiguation \
paramodulation \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLPATH = @OCAMLFIND_META_DIR@
+OCAMLFIND = OCAMLPATH=$(OCAMLPATH):$$OCAMLPATH @OCAMLFIND@
METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation