sat: use conp-solutions/minisat

Author: nmanthey

src/Makefile

@@ -88,19 +88,10 @@ DOWNLOADER = lwp-download
 TAR = tar
 
 minisat2-download:
-	@echo "Downloading Minisat 2.2.1"
-	@for i in $$(seq 1 3) ; do \
-	  $(DOWNLOADER) \
-	    http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz && \
-	    exit 0 ; \
-		$(RM) minisat2_2.2.1.orig.tar.gz ; \
-	  if [ $$i -lt 3 ] ; then echo "Re-trying in 10 seconds" 1>&2 ; sleep 10 ; fi ; \
-	done ; exit 1
-	@$(TAR) xfz minisat2_2.2.1.orig.tar.gz
+	@rm -Rf minisat
+	@git clone https://github.com/conp-solutions/minisat.git
 	@rm -Rf ../minisat-2.2.1
-	@mv minisat2-2.2.1 ../minisat-2.2.1
-	@(cd ../minisat-2.2.1; patch -p1 < ../scripts/minisat-2.2.1-patch)
-	@rm minisat2_2.2.1.orig.tar.gz
+	@mv minisat ../minisat-2.2.1
 
 glucose-download:
 	@echo "Downloading glucose-syrup"