4 git clone
--depth 1 https
://github.com
/niklasso
/minisat minisat_upstream
5 rm minisat_upstream
/minisat
/*/Main.cc
6 mv minisat_upstream
/LICENSE minisat_upstream
/minisat
/*/*.
{h
,cc
} .
7 rm -rf minisat_upstream
9 sed -i -e 's,^#include *"minisat/[^/]\+/\?,#include ",' *.cc
*.h
10 sed -i -e 's/Minisat::memUsedPeak()/Minisat::memUsedPeak(bool)/' System.cc
11 sed -i -e 's/PRI[iu]64/ & /' Options.h Solver.cc
12 sed -i -e '1 i #define __STDC_LIMIT_MACROS' *.cc
13 sed -i -e '1 i #define __STDC_FORMAT_MACROS' *.cc
15 patch -p0 < 00_PATCH_mkLit_default_arg.
patch
16 patch -p0 < 00_PATCH_remove_zlib.
patch
17 patch -p0 < 00_PATCH_no_fpu_control.
patch
18 patch -p0 < 00_PATCH_typofixes.
patch