diff options
Diffstat (limited to 'bin/install_dkg_dep.sh')
| -rwxr-xr-x | bin/install_dkg_dep.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/install_dkg_dep.sh b/bin/install_dkg_dep.sh index 7b6463f..9120941 100755 --- a/bin/install_dkg_dep.sh +++ b/bin/install_dkg_dep.sh @@ -13,6 +13,11 @@ if [ ! -d .dep/dkg ]; then git clone --depth 1 git://github.com/herumi/bls.git & git clone --depth 1 git://github.com/herumi/mcl.git & wait + if [ "$(uname -o)" = "Darwin" ] && [ "$(brew --prefix)" != "/usr/local" ]; then + cd mcl + git am ../../../bin/patches/0001-common.mk-remove-hard-coded-CFLAGS-and-LDFLAGS.patch + cd .. + fi cd bls make test_go -j cd ../../../ |