metadata \
library \
acic_content \
- content_pres \
grafite \
+ content_pres \
cic_unification \
whelp \
tactics \
+ acic_procedural \
cic_disambiguation \
lexicon \
grafite_engine \
grafite_parser \
+ tptp_grafite \
$(NULL)
METAS = $(MODULES:%=METAS/META.helm-%)
$(H)$(MAKE) -C syntax_extensions
depend: syntax-extensions $(MODULES:%=rec@depend@%)
depend.opt: syntax-extensions $(MODULES:%=rec@depend.opt@%)
-install: $(MODULES:%=rec@install@%)
+install-arch: $(MODULES:%=rec@install@%)
+install-indep:
uninstall: $(MODULES:%=rec@uninstall@%)
clean: $(MODULES:%=rec@clean@%) clean_metas
TAGS:
$(H)otags -vi -r .
+metas: $(filter-out METAS/META.helm-binaries, $(METAS))