From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 27 Nov 2009 10:26:14 +0000 (+0000)
Subject: CryptoMiniSat2's Makefile had the same mistake as the other CryptoMiniSat's original... 
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=b0dc8a2f75d2d8a014375ab38488c9c7be279654;p=francis%2Fstp.git

CryptoMiniSat2's Makefile had the same mistake as the other CryptoMiniSat's original Makefile. Corrected

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

diff --git a/src/sat/cryptominisat2/Makefile b/src/sat/cryptominisat2/Makefile
index 4a5f742..67c8931 100644
--- a/src/sat/cryptominisat2/Makefile
+++ b/src/sat/cryptominisat2/Makefile
@@ -16,9 +16,10 @@ $(LIB): $(OBJECTS)
 	rm -f $@
 	ar cq $@ $(OBJECTS)
 	cp $(LIB) ../
+	cp $(OBJECTS) ../
 
 clean:
-	rm -f $(OBJECTS) $(LIB) ../$(LIB)
+	rm -f $(OBJECTS) $(LIB)
 
 .cpp.o:
 	$(CC) $(CFLAGS) $< -o $@