mirror of https://github.com/crytic/echidna
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
642 B
26 lines
642 B
#!/bin/sh
|
|
|
|
# Adapted from https://github.com/commercialhaskell/stack
|
|
|
|
set -eux
|
|
|
|
mkdir -p ~/.local/bin;
|
|
|
|
travis_retry() {
|
|
cmd=$*
|
|
$cmd || (sleep 2 && $cmd) || (sleep 10 && $cmd)
|
|
}
|
|
|
|
fetch_stack_linux() {
|
|
rm -Rf solc-static-linux;
|
|
wget https://github.com/ethereum/solidity/releases/download/v0.4.25/solc-static-linux;
|
|
chmod +x solc-static-linux;
|
|
mv solc-static-linux ~/.local/bin/solc-0.4.25;
|
|
wget https://github.com/ethereum/solidity/releases/download/v0.5.7/solc-static-linux;
|
|
chmod +x solc-static-linux;
|
|
mv solc-static-linux ~/.local/bin/solc-0.5.7;
|
|
}
|
|
|
|
if [ "$(uname)" != "Darwin" ]; then
|
|
travis_retry fetch_stack_linux
|
|
fi
|
|
|