removing old contribs

[helm.git] / helm / software / matita / contribs / RELATIONAL / Makefile

diff --git a/helm/software/matita/contribs/RELATIONAL/Makefile b/helm/software/matita/contribs/RELATIONAL/Makefile
index c925bddff36f8ef9850cb4a85941b800f3c807c4..a3e89143506b5e74e97ef05225367a52b12bf772 100644 (file)
--- 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