# Warning: the modules must be in compilation order
+NULL =
MODULES = \
xml \
- pxp \
registry \
utf8_macros \
thread \
logger \
getter \
cic \
- cic_annotations \
cic_proof_checking \
cic_unification \
cic_omdoc \
metadata \
tactics \
- cic_notation \
cic_transformations \
+ cic_notation \
cic_textual_parser2 \
- mathql \
- mathql_interpreter \
- mathql_generator \
- hbugs
+ $(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@