Merge pull request #3335 from steshaw/allow-travis-to-run-against-private-repo
Allow Travis to work when repo isn't named Idris-dev
commit6e4a5e58f701259a23e942bf9680d4a6aaf01b6e
authorNiklas Larsson <metaniklas@gmail.com>
dateFri 5 Aug 2016, 21:19 (10 years ago)
parent731c529b4f3c6e
.travis.yml+7−2
@@ -2,6 +2,10 @@ sudo: false
22
33language: c
44
5+env:
6+ global:
7+ - PKGNAME=idris
8+
59addons:
610 apt:
711 sources:
@@ -111,10 +115,11 @@ install:
111115 fi
112116
113117before_script:
118+ - ORIGINAL_DIR=$(pwd)
114119 - cabal sdist
115120 - cd ..
116− - tar -xf Idris-dev/dist/idris*.tar.gz
117− - cd idris*
121+ - tar -xf ${ORIGINAL_DIR}/dist/${PKGNAME}*.tar.gz
122+ - cd ${PKGNAME}*
118123script:
119124###
120125 - echo 'Configure...' && echo -en 'travis_fold:start:script.configure\\r'