3 TAGS := all xoa deps top
6 $(H)../../matitac.opt .
8 # xoa ########################################################################
10 XOA_DIR := ../../../components/binaries/xoa
12 XOA_CONF := xoa.conf.xml
13 XOA_OPTS := ../../matita.conf.xml $(XOA_CONF)
16 @echo " EXEC $(XOA) $(XOA_CONF)"
17 $(H)$(XOA_DIR)/$(XOA) -s $(XOA_OPTS)
19 # dep input ##################################################################
22 DEP_DIR := ../../../components/binaries/matitadep
23 DEP := matitadep.native
26 $(DEP_INPUT): MAS = $(shell find $* -name "*.ma")
28 $(DEP_INPUT): LINE = $(MAS:%=%:include \"\".)
30 $(DEP_INPUT): REPL = sed -e 's/^\./lambda/'
32 $(DEP_INPUT): $(MAS) Makefile
34 $(H)grep "include \"" $(MAS) | $(REPL) > $(DEP_INPUT)
35 $(H)echo "$(LINE)" | sed -e 's/\"\. /\"\.\n/g' | $(REPL) >> $(DEP_INPUT)
37 # dep ########################################################################
41 $(H)$(DEP_DIR)/$(DEP) -c $(DEP_OPTS) $<
43 # top ########################################################################
47 $(H)$(DEP_DIR)/$(DEP) -t $(DEP_OPTS) $<
49 ##############################################################################