+
+export SHELL=/bin/bash
+
# Warning: the modules must be in compilation order
NULL =
MODULES = \
lexicon \
grafite_engine \
grafite_parser \
- tactics/paramodulation \
+ tactics/paramodulation \
$(NULL)
OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
(for m in $(MODULES); do echo -n "$$m:"; cat $$m/.stats; done) \
| sort -t : -k 2 -n -r > .stats
+EXTRA_DIST_CLEAN = \
+ libraries-clusters.ps \
+ libraries-clusters.pdf \
+ libraries-ext.ps \
+ libraries.ps \
+ .dep.dot \
+ .extdep.dot \
+ .clustersdep.dot \
+ $(NULL)
+
clean_metas:
rm -f $(METAS)
distclean: clean clean_metas
- rm -f Makefile Makefile.common configure config.log config.cache config.status
+ rm -f configure config.log config.cache config.status
+ rm -f Makefile Makefile.common $(EXTRA_DIST_CLEAN)
.PHONY: all opt world metas depend install uninstall clean clean_metas distclean
echo "}" >> $@
.extdep.dot: .dep.dot
- ./patch_deps.sh $< $@
+ STATS/patch_deps.sh $< $@
.clustersdep.dot: .dep.dot
- USE_CLUSTERS=yes ./patch_deps.sh $< $@
+ USE_CLUSTERS=yes STATS/patch_deps.sh $< $@
libraries.ps: .dep.dot
dot -Tps -o $@ $<