# This is a -*- sh -*- library. set -vex -o pipefail ## I would use the builtin !, but that has the wrong semantics. not () { "$@" && exit 1 || :; } # trick: OS-detection (if needed) abort_windows () { if echo $OS | grep -i windows; then echo This test does not work on Windows exit 200 fi } pwd() { ghc --make "$TESTS_WD/hspwd.hs" > /dev/null "$TESTS_WD/hspwd" } # switch locale to latin9 if supported if there's a locale command, skip test # otherwise switch_to_latin9_locale () { if ! which locale ; then echo "no locale command" exit 200 # skip test fi latin9_locale=`locale -a | grep @euro | head -n 1` || exit 200 test -n "$latin9_locale" || exit 200 echo "Using locale $latin9_locale" export LC_ALL=$latin9_locale echo "character encoding is now `locale charmap`" }