tactics \
paramodulation \
cic_disambiguation \
- grafite2 \
+ lexicon \
+ grafite_engine \
grafite_parser \
$(NULL)
.extdep.dot: .dep.dot
./patch_deps.sh $< $@
+.clustersdep.dot: .dep.dot
+ USE_CLUSTERS=yes ./patch_deps.sh $< $@
libraries.ps: .dep.dot
dot -Tps -o $@ $<
libraries-ext.ps: .extdep.dot
dot -Tps -o $@ $<
+libraries-clusters.ps: .clustersdep.dot
+ dot -Tps -o $@ $<
libraries-complete.ps: .alldep.dot
dot -Tps -o $@ $<
+ps: libraries.ps libraries-ext.ps libraries-clusters.ps
+
tags: TAGS
.PHONY: TAGS
TAGS: