From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 26 Nov 2009 00:31:35 +0000 (+0000)
Subject: cryptominisat's Makefile had its 'clean' missing
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=c02c0ed3667db88c001f8fbec43506abb1a89ff0;p=francis%2Fstp.git

cryptominisat's Makefile had its 'clean' missing

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@426 e59a4935-1847-0410-ae03-e826735625c1
---

diff --git a/src/sat/cryptominisat/Makefile b/src/sat/cryptominisat/Makefile
index 65ecbd7..8ae59c5 100644
--- a/src/sat/cryptominisat/Makefile
+++ b/src/sat/cryptominisat/Makefile
@@ -16,5 +16,8 @@ $(LIB): $(OBJECTS)
 	ar cq $@ $(OBJECTS)
 	cp $(LIB) ../
 
+clean:
+	rm $(OBJECTS) $(LIB) ../$(LIB)
+
 .cpp.o:
 	$(CC) $(CFLAGS) $< -o $@