Adds Rules for IntegerGmp
[hadrian.git] / build.sh
1 #!/usr/bin/env bash
2
3 set -euo pipefail
4
5 root="$(dirname "$0")"
6
7 mkdir -p "$root/.shake"
8
9 ghc \
10 "$root/src/Main.hs" \
11 -Wall \
12 -i"$root/src" \
13 -rtsopts \
14 -with-rtsopts=-I0 \
15 -outputdir="$root/.shake" \
16 -j -O \
17 -o "$root/.shake/build"
18
19 "$root/.shake/build" \
20 --lint \
21 --directory "$root/.." \
22 --colour \
23 "$@"