From b0dc8a2f75d2d8a014375ab38488c9c7be279654 Mon Sep 17 00:00:00 2001
From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 27 Nov 2009 10:26:14 +0000
Subject: [PATCH] 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
---
 src/sat/cryptominisat2/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 $@
-- 
2.47.3