From: msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 16 Apr 2010 15:36:20 +0000 (+0000)
Subject: Don't clean non-existing CryptoMiniSat1 dir
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=3f84d17551e807f4fc6a9cf0f7b8e45a769d6ddf;p=francis%2Fstp.git

Don't clean non-existing CryptoMiniSat1 dir

Cleaning script doesn't need to clean the 'cryptominisat' directory
since that doesn't exist any more. The clean script failed because of
this, fixed.

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

diff --git a/src/sat/Makefile b/src/sat/Makefile
index 010516e..3577118 100644
--- a/src/sat/Makefile
+++ b/src/sat/Makefile
@@ -3,10 +3,6 @@ core:
 	$(MAKE) -C core lib all	
 	$(MAKE) -C simp lib all
 
-.PHONY: cryptominisat
-cryptominisat:
-	$(MAKE) -C cryptominisat lib all
-
 .PHONY: cryptominisat2
 cryptominisat2:
 	$(MAKE) -C cryptominisat2 lib all
@@ -16,6 +12,5 @@ clean:
 	rm -rf *.o *~ libminisat.a
 	$(MAKE) -C core    clean
 	$(MAKE) -C simp    clean
-	$(MAKE) -C cryptominisat clean
 	$(MAKE) -C cryptominisat2 clean