]> matita.cs.unibo.it Git - helm.git/blobdiff - components/binaries/saturate/Makefile
goals after a superposition step are relocated
[helm.git] / components / binaries / saturate / Makefile
index 40ff4c3a7218ec9f4914f1ddf80e25cd145c0fd1..567e3b0d3e58abca88e0c89a8bb34a179888f317 100644 (file)
@@ -27,4 +27,6 @@ clean:
        $(H)rm -f *.cm[iox] *.a *.o
        $(H)rm -f saturate saturate.opt
 
+depend:
+
 include ../../../Makefile.defs