metadata \
tactics \
cic_transformations \
+ cic_notation \
cic_textual_parser2 \
- mathql \
- mathql_interpreter \
- mathql_generator \
hbugs
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
depend: $(MODULES:%=%.depend)
install: $(MODULES:%=%.install)
uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: clean_metas $(MODULES:%=%.clean)
clean_metas:
rm -f $(METAS)
distclean: clean clean_metas