auxiliary executables (xoa, matitadep, probe, matex) ported to dune

[helm.git] / matita / components / binaries / matex / Makefile

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index b3cc515d2ef748a01192eedb789efdb38fad7816..7783a057045642710034fd53111be2317b46b2b0 100644 (file)
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -1,10 +1,6 @@
 EXEC = matex
-VERSION=0.1.0
-
-REQUIRES = helm-ng_library
-
-include ../Makefile.common
 
+MATEX    = ./$(EXEC).native
 PROBE    = ../probe/probe.native
 REGISTRY = $(RT_BASE_DIR)/matita.conf.xml \
            test/legacy_1.conf.xml test/ground_1.conf.xml test/basic_1.conf.xml
@@ -15,12 +11,12 @@ DEVEL = ../../../matita/contribs/lambdadelta/basic_1/
 
 test: test/$(SRCS)
 
-test/$(OBJS): $(REGISTRY)
+test/$(OBJS): $(REGISTRY) Makefile
        @echo probe: $(DEVEL)
        $(H)$(PROBE) $(REGISTRY) -g $(DEVEL) -os > $@
 
-test/$(SRCS): test/$(OBJS) $(REGISTRY) ./matex.native
+test/$(SRCS): test/$(OBJS) $(REGISTRY) $(MATEX) Makefile
        @echo MaTeX: processing $<
-       $(H)./matex.native -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`
+       $(H)$(MATEX) -O test -l $(SRCS) -a -g -p $(REGISTRY) `cat $<`
 
 .PHONY: test