# Warning: the modules must be in compilation order
NULL =
MODULES = \
+ extlib \
xml \
+ hgdome \
registry \
+ hmysql \
utf8_macros \
thread \
xmldiff \
cic \
cic_proof_checking \
cic_unification \
- cic_omdoc \
+ cic_acic \
+ acic_content \
+ content_pres \
+ grafite \
metadata \
+ whelp \
tactics \
- cic_transformations \
- cic_notation \
- 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-disambiguator
+METAS = $(MODULES:%=METAS/META.helm-%) METAS/META.helm-cic_disambiguation
all: metas $(MODULES:%=%.all)
opt: metas $(MODULES:%=%.opt)