fixed makefile

[helm.git] / helm / software / components / tptp_grafite / Makefile

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index 9eac2dd05f4bc0744059968f2146f435d2585012..e452480d8430ec07a2d6b919628c563e49f55e9e 100644 (file)
--- a/helm/software/components/tptp_grafite/Makefile
+++ b/helm/software/components/tptp_grafite/Makefile
@@ -65,6 +65,8 @@ parse-%:
        done
 
 thf:
+       rm -rf THF
+       mkdir THF
        for x in `cat thf_problems`; do\
                echo $$x;\
                ./mainTHF -tptppath $(TPTPDIR) $$x.p > THF/$$x.ma;\