cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #11267 from ethereum/test_osx_cache

Browse Source 
Force Homebrew update to work around CircleCI auto-update issue
This commit is contained in:
chriseth 2021-04-19 16:54:12 +02:00 committed by GitHub
commit 6ef7e39e46
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.circleci/osx_install_dependencies.sh
View File

@ -33,8 +33,11 @@
# - /usr/local/Cellar # - /usr/local/Cellar
# - /usr/local/Homebrew # - /usr/local/Homebrew
set -eu
if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies if [ ! -f /usr/local/lib/libz3.a ] # if this file does not exists (cache was not restored), rebuild dependencies
then then
brew update
brew unlink python brew unlink python
brew install boost brew install boost
brew install cmake brew install cmake