diff options
Diffstat (limited to 'libs/minisat/UPDATE.sh')
-rw-r--r-- | libs/minisat/UPDATE.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/libs/minisat/UPDATE.sh b/libs/minisat/UPDATE.sh new file mode 100644 index 000000000..88fcf759a --- /dev/null +++ b/libs/minisat/UPDATE.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +rm -fv LICENSE *.cc *.h +git clone --depth 1 https://github.com/niklasso/minisat minisat_upstream +rm minisat_upstream/minisat/*/Main.cc +mv minisat_upstream/LICENSE minisat_upstream/minisat/*/*.{h,cc} . +rm -rf minisat_upstream + +sed -i -e 's,^#include *"minisat/[^/]\+,#include "libs/minisat,' *.cc *.h +sed -i -e 's/PRIi64/ & /' Options.h +sed -i -e '1 i #define __STDC_LIMIT_MACROS' *.cc +sed -i -e '1 i #define __STDC_FORMAT_MACROS' *.cc |