git.iko.soy/Idris-dev
on master help sign in
A script to (re)generate multi-ghc-travis template.
c31e09fSteven Shaw
bin/generate-multi-ghc-travis-templatenew file+20
compare with master
unifiedsplit
@@ -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
idris.cabal+2
@@ -44,6 +44,8 @@ Cabal-Version: >= 1.8
44
44
45Build-type: Custom
45Build-type: Custom
46
46
47+Tested-With: GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
48+
47Data-files: idrisdoc/styles.css
49Data-files: idrisdoc/styles.css
48 jsrts/Runtime-browser.js
50 jsrts/Runtime-browser.js
49 jsrts/Runtime-common.js
51 jsrts/Runtime-common.js