scripts/generate-multi-ghc-travis-template · Idris-dev

git.iko.soy/Idris-dev

on master help sign in

Idris-dev/scripts/generate-multi-ghc-travis-template

20 lines 483 B history raw

1#!/usr/bin/env bash

3set -eu

5script=$(basename "$0")

7if [[ ! -r idris.cabal ]]; then

8 echo "$script: Execute this script in the idris root directory" >&2

9 exit 2

12if [[ ! -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

17output=travis-template.yml

18../multi-ghc-travis/make_travis_yml.hs idris.cabal cppcheck hscolour >${output}

20echo Now compare the generated ${output} with .travis.yml