added default for matita.noiinertypes

[helm.git] / components / binaries / saturate / Makefile

diff --git a/components/binaries/saturate/Makefile b/components/binaries/saturate/Makefile
index 40ff4c3a7218ec9f4914f1ddf80e25cd145c0fd1..ecd8d9111e0d868030413700112e4cfa334b2aaa 100644 (file)
--- a/components/binaries/saturate/Makefile
+++ b/components/binaries/saturate/Makefile
@@ -27,4 +27,7 @@ clean:
        $(H)rm -f *.cm[iox] *.a *.o
        $(H)rm -f saturate saturate.opt
 
+depend:
+depend.opt:
+
 include ../../../Makefile.defs