TEST_REQUIRES = \
helm-registry \
- helm-mathql_interpreter \
- helm-mathql_generator \
helm-tactics \
helm-cic_transformations \
helm-cic_textual_parser2 \
+ helm-mathql_interpreter \
+ helm-mathql_generator \
helm-xmldiff \
lablgtk2 \
mathml-editor \
lablgtkmathview \
- dbi.mysql
+ mysql
REQUIRES = $(TEST_REQUIRES) gdome2-xslt helm-hbugs lablgtk2.init lablgtk2.glade
disambiguatingParser.mli \
termEditor.mli \
texTermEditor.mli \
- chosenTransformer.mli \
termViewer.mli \
invokeTactics.mli \
hbugs.mli \