summaryrefslogtreecommitdiff
path: root/p
blob: 63dee6c272f973ff882ff94f235e1ff3b8b4ffcd (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/bash
args="-rtsopts -osuf -prof pf -fprof-auto -fprof-auto-exported"

root=${0%/*}
cd "$root"

me=${0##*/}
me=${me%.*}
ghc                                  \
    -hidir build/$me -odir build/$me \
    -iPresence                        \
    -iArchive                        \
    $args                            \
    "$@"