replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

allow customizing the tar command for solver download

This commit is contained in:
Daniel Kroening 2018-06-18 23:42:08 +01:00
parent 7c0d7502ab
commit 2f142d5cc0
2 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
COMPILING.md
View File

@ -88,11 +88,8 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
```
3. Get MiniSat2 by entering
```
cd cbmc-git
wget http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz
gtar xfz minisat_2.2.1.orig.tar.gz
mv minisat2-2.2.1 minisat-2.2.1
(cd minisat-2.2.1; patch -p1 < ../scripts/minisat-2.2.1-patch)
cd cbmc-git/src
gmake minisat2-download DOWNLOADER=wget
```
4. Type
```

5
src/Makefile
View File

@ -87,11 +87,12 @@ $(patsubst %, %_clean, $(DIRS)):
# minisat2 and glucose download, for your convenience
DOWNLOADER = lwp-download
TAR = tar
minisat2-download:
@echo "Downloading Minisat 2.2.1"
@$(DOWNLOADER) http://ftp.debian.org/debian/pool/main/m/minisat2/minisat2_2.2.1.orig.tar.gz
@tar xfz minisat2_2.2.1.orig.tar.gz
@$(TAR) xfz minisat2_2.2.1.orig.tar.gz
@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)
@ -100,7 +101,7 @@ minisat2-download:
glucose-download:
@echo "Downloading glucose-syrup"
@$(DOWNLOADER) http://www.labri.fr/perso/lsimon/downloads/softwares/glucose-syrup.tgz
@tar xfz glucose-syrup.tgz
@$(TAR) xfz glucose-syrup.tgz
@rm -Rf ../glucose-syrup
@mv glucose-syrup ../
@(cd ../glucose-syrup; patch -p1 < ../scripts/glucose-syrup-patch)