mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 09:54:23 +03:00
21 lines
483 B
Bash
Executable File
21 lines
483 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -eu
|
|
|
|
script=$(basename "$0")
|
|
|
|
if [[ ! -r idris.cabal ]]; then
|
|
echo "$script: Execute this script in the idris root directory" >&2
|
|
exit 2
|
|
fi
|
|
|
|
if [[ ! -r ../multi-ghc-travis/make_travis_yml.hs ]]; then
|
|
echo "$script: Expected to find multi-ghc-travis at ../multi-ghc-travis"
|
|
exit 2
|
|
fi
|
|
|
|
output=travis-template.yml
|
|
../multi-ghc-travis/make_travis_yml.hs idris.cabal cppcheck hscolour >${output}
|
|
|
|
echo Now compare the generated ${output} with .travis.yml
|