Merge pull request #3345 from steshaw/multi-ghc-travis-script
A script to (re)generate multi-ghc-travis template.
commitebe39ce272375801216aef5887975546f50861e1
authorNiklas Larsson <metaniklas@gmail.com>
dateSun 7 Aug 2016, 16:46 (10 years ago)
parent07f572a3112b29
idris.cabal+2
@@ -44,6 +44,8 @@ Cabal-Version: >= 1.8
4444
4545Build-type: Custom
4646
47+Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
48+
4749Data-files: idrisdoc/styles.css
4850 jsrts/Runtime-browser.js
4951 jsrts/Runtime-common.js
scripts/generate-multi-ghc-travis-templatenew file+20
@@ -0,0 +1,20 @@
1+#!/usr/bin/env bash
2+
3+set -eu
4+
5+script=$(basename "$0")
6+
7+if [[ ! -r idris.cabal ]]; then
8+ echo "$script: Execute this script in the idris root directory" >&2
9+ exit 2
10+fi
11+
12+if [[ ! -r ../multi-ghc-travis/make_travis_yml.hs ]]; then
13+ echo "$script: Expected to find multi-ghc-travis at ../multi-ghc-travis"
14+ exit 2
15+fi
16+
17+output=travis-template.yml
18+../multi-ghc-travis/make_travis_yml.hs idris.cabal cppcheck hscolour >${output}
19+
20+echo Now compare the generated ${output} with .travis.yml