hgdome \
registry \
hmysql \
- utf8_macros \
+ syntax_extensions \
thread \
xmldiff \
urimanager \
lexicon \
grafite_engine \
grafite_parser \
+ tptp_grafite \
$(NULL)
METAS = $(MODULES:%=METAS/META.helm-%)
world: all
endif
syntax-extensions:
- $(H)$(MAKE) -C utf8_macros depend
- $(H)$(MAKE) -C utf8_macros pa_unicode_macro.cma
+ $(H)$(MAKE) -C syntax_extensions depend
+ $(H)$(MAKE) -C syntax_extensions
depend: syntax-extensions $(MODULES:%=rec@depend@%)
depend.opt: syntax-extensions $(MODULES:%=rec@depend.opt@%)
install: $(MODULES:%=rec@install@%)