diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-11-24 18:14:53 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-11-24 18:14:53 +0100 |
| commit | 66f2d10822a37dd4c7d9af36de9faf90cb412b6e (patch) | |
| tree | c3b0446b37da1601536d0033a8638e11c94092bf /.travis/setup.sh | |
| parent | e3a51b3e876e1bf41cf2e66d66a0e793b8e658d6 (diff) | |
| parent | 203c2dae3cdd255956d5db23d28f241eeca21612 (diff) | |
| download | yosys-66f2d10822a37dd4c7d9af36de9faf90cb412b6e.tar.gz yosys-66f2d10822a37dd4c7d9af36de9faf90cb412b6e.tar.bz2 yosys-66f2d10822a37dd4c7d9af36de9faf90cb412b6e.zip | |
Merge branch 'master' into btor-ng
Diffstat (limited to '.travis/setup.sh')
| -rwxr-xr-x | .travis/setup.sh | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/.travis/setup.sh b/.travis/setup.sh new file mode 100755 index 000000000..23bdf563f --- /dev/null +++ b/.travis/setup.sh @@ -0,0 +1,89 @@ +#! /bin/bash + +set -e + +source .travis/common.sh + +########################################################################## + +# Fixing Travis's git clone +echo +echo 'Fixing git setup...' && echo -en 'travis_fold:start:before_install.git\\r' +echo +git fetch --unshallow && git fetch --tags + +# For pull requests, we get more info about the git source. +if [ z"$TRAVIS_PULL_REQUEST_SLUG" != z ]; then + echo "- Fetching from pull request source" + git remote add source https://github.com/$TRAVIS_PULL_REQUEST_SLUG.git + git fetch source && git fetch --tags + + echo "- Fetching the actual pull request" + git fetch origin pull/$TRAVIS_PULL_REQUEST/head:pull-$TRAVIS_PULL_REQUEST-head + git fetch origin pull/$TRAVIS_PULL_REQUEST/merge:pull-$TRAVIS_PULL_REQUEST-merge + + git log -n 5 --graph pull-$TRAVIS_PULL_REQUEST-merge +fi + +# For building branches we need to fix the "detached head" state. +if [ z"$TRAVIS_BRANCH" != z ]; then + TRAVIS_COMMIT_ACTUAL=$(git log --pretty=format:'%H' -n 1) + echo "- Fixing detached head (current $TRAVIS_COMMIT_ACTUAL -> $TRAVIS_COMMIT)" + git fetch origin $TRAVIS_COMMIT + git branch -v + git branch -D $TRAVIS_BRANCH || true + git checkout $TRAVIS_COMMIT -b $TRAVIS_BRANCH + git branch -v +fi + +# Output status information. +git status +git describe --tags +git log -n 5 --graph +echo +echo -en 'travis_fold:end:before_install.git\\r' +echo + +########################################################################## + +# Mac OS X specific setup. +if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then + ( + echo + echo 'Setting up brew...' && echo -en 'travis_fold:start:before_install.brew\\r' + echo + brew update + brew tap Homebrew/bundle + brew bundle + brew install ccache + brew install gcc + echo + echo -en 'travis_fold:end:before_install.brew\\r' + echo + ) +fi + +########################################################################## + +# Install iverilog +( + if [ ! -e ~/.local-bin/bin/iverilog ]; then + echo + echo 'Building iverilog...' && echo -en 'travis_fold:start:before_install.iverilog\\r' + echo + mkdir -p ~/.local-src + mkdir -p ~/.local-bin + cd ~/.local-src + git clone git://github.com/steveicarus/iverilog.git + cd iverilog + autoconf + ./configure --prefix=$HOME/.local-bin + make + make install + echo + echo -en 'travis_fold:end:before_install.iverilog\\r' + echo + fi +) + +########################################################################## |