X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2FRELATIONAL%2FMakefile;h=a3e89143506b5e74e97ef05225367a52b12bf772;hb=d9824956d9132109ed5f23380a0a1f9c5181d18a;hp=c925bddff36f8ef9850cb4a85941b800f3c807c4;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/contribs/RELATIONAL/Makefile b/helm/software/matita/contribs/RELATIONAL/Makefile
index c925bddff..a3e891435 100644
--- a/helm/software/matita/contribs/RELATIONAL/Makefile
+++ b/helm/software/matita/contribs/RELATIONAL/Makefile
@@ -1,14 +1,16 @@
+include ../Makefile.defs
+
 DIR=$(shell basename $$PWD)
 
 $(DIR) all:
-	../../matitac
+	$(BIN)matitac
 $(DIR).opt opt all.opt:
-	../../matitac.opt
+	$(BIN)matitac.opt
 clean:
-	../../matitaclean
+	$(BIN)matitaclean
 clean.opt:
-	../../matitaclean.opt
+	$(BIN)matitaclean.opt
 depend:
-	../../matitadep
+	$(BIN)matitadep
 depend.opt:
-	../../matitadep.opt
+	$(BIN)matitadep.opt