+XOA_DIR := ../../../components/binaries/xoa
+XOA := xoa.native
+XOA_OPTS := ../../matita.conf.xml $(XOA_CONF)
+
+DEP_DIR := ../../../components/binaries/matitadep
+DEP := matitadep.native
+
+MAC_DIR := ../../../components/binaries/mac
+MAC := mac.native
+
+PRB_DIR := ../../../components/binaries/probe
+PRB := probe.native
+PRB_OPTS := $(XOA_OPTS) -g