# Warning: the modules must be in compilation order
MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
- cic_cache cic_proof_checking cic_textual_parser
+ cic_cache cic_proof_checking cic_textual_parser \
+ tex_cic_textual_parser cic_unification mathql mathql_interpreter \
+ mquery_generator mathql_test tactics
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@