cic_cache \
cic_proof_checking \
cic_textual_parser \
- cic_textual_parser2 \
tex_cic_textual_parser \
cic_unification \
mathql \
cic_omdoc \
tactics \
cic_transformations \
- logger
+ logger \
+ cic_textual_parser2
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@