git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/regression001/run.sh
18 lines 569 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ --check \
3 reg001.idr reg002.idr reg003.idr reg004.lidr reg005.idr \
4 reg006.idr reg007.idr reg036.idr reg037.idr reg038.idr reg046.idr \
5 reg047a.idr reg053.idr reg057.idr reg058.idr reg058a.idr \
6 reg059.idr reg060.idr reg061.idr reg062.idr reg063.idr \
7 reg064.idr reg065.idr reg066.idr reg071.idr reg074.idr \
8 coverage001.idr
10${IDRIS:-idris} $@ --check \
11 eff001.idr -p effects
13${IDRIS:-idris} $@ --check --nobuiltins reg047.idr
15${IDRIS:-idris} $@ --check --nocolour \
16 reg073.lidr
18rm -f *.ibc