build.sh

   1 #!/bin/bash -e
   2
   3 root=`dirname $0`
   4 mkdir -p $root/_shake
   5 ghc --make -Wall $root/src/Main.hs -i$root/src -rtsopts -with-rtsopts=-I0 -outputdir=$root/_shake -o $root/_shake/build
   6 $root/_shake/build --lint --directory $root/.. $@