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