diff options
| author | Thomas Miedema <thomasmiedema@gmail.com> | 2015-05-31 14:54:30 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-06-04 23:58:30 +0200 |
| commit | 7beb4771a7adb470a98ea1cde43e9f00887ac980 (patch) | |
| tree | e576cdf95d0dffb255267317a7785c2254e24b94 /.travis.yml | |
| parent | 0686d76fc445e5338425f27743d9498b2a32d785 (diff) | |
| download | haskell-7beb4771a7adb470a98ea1cde43e9f00887ac980.tar.gz | |
Travis: allow user forks
Check for each submodule repository url if the user made its own fork.
If so, use that. Otherwise, fall back on the one from github.com/ghc.
As suggested by Richard in this mailinglist discussion:
https://mail.haskell.org/pipermail/ghc-devs/2014-November/007300.html
Documentation is at [wiki:TestingPatches#Travis].
Differential Revision: https://phabricator.haskell.org/D939
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 21 |
1 files changed, 15 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index dd5a648eda..836e62aeb2 100644 --- a/.travis.yml +++ b/.travis.yml @@ -14,12 +14,21 @@ before_install: - travis_retry sudo apt-get install cabal-install-1.18 ghc-7.6.3 alex-3.1.3 happy-1.19.4 - travis_retry sudo apt-get install llvm-3.6 - export PATH=/opt/ghc/7.6.3/bin:/opt/cabal/1.18/bin:/opt/alex/3.1.3/bin:/opt/happy/1.19.4/bin:/usr/lib/llvm-3.6/bin:$PATH - - git config --global url."git://github.com/ghc/packages-".insteadOf git://github.com/ghc/packages/ - - git config --global url."http://github.com/ghc/packages-".insteadOf http://github.com/ghc/packages/ - - git config --global url."https://github.com/ghc/packages-".insteadOf https://github.com/ghc/packages/ - - git config --global url."ssh://git@github.com/ghc/packages-".insteadOf ssh://git@github.com/ghc/packages/ - - git config --global url."git@github.com:/ghc/packages-".insteadOf git@github.com:/ghc/packages/ - - git submodule update --init --recursive + +# Be explicit about which protocol to use, such that we don't have to repeat the rewrite command for each. + - git config remote.origin.url git://github.com/${TRAVIS_REPO_SLUG}.git + - git config --global url."git://github.com/${TRAVIS_REPO_SLUG%/*}/packages-".insteadOf "git://github.com/${TRAVIS_REPO_SLUG%/*}/packages/" + - git submodule --quiet init # Be quiet about these urls, as we may override them later. + +# Check if submodule repositories exist. + - git config --get-regexp submodule.*.url | while read entry url; do git ls-remote "$url" dummyref 2>/dev/null && echo "$entry = $url" || git config --unset-all "$entry" ; done + +# Use github.com/ghc for those submodule repositories we couldn't connect to. + - git config remote.origin.url git://github.com/ghc/ghc.git + - git config --global url."git://github.com/ghc/packages-".insteadOf git://github.com/ghc/packages/ + - git submodule init # Don't be quiet, we want to show these urls. + - git submodule --quiet update --recursive # Now we can be quiet again. + install: # - sudo apt-get update # - sudo apt-get install haskell-platform autoconf libtool make ncurses-dev g++ dblatex docbook-xsl docbook-utils |