mirror of https://github.com/YosysHQ/yosys.git
13 lines
448 B
Bash
13 lines
448 B
Bash
|
#!/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
|