Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
executable file 14 lines (11 sloc) 320 Bytes
#!/bin/bash
set -ev
if ghc --version | grep 6.8; then
# first build with type witnesses enabled
./Setup.hs --with-type-witnesses --disable-optimize -j2 build
./Setup.hs clean
./Setup.hs configure
else
echo I do not expect type witnesses to work so I am skipping them...
fi
./Setup.hs -j2 build doc
Jump to Line
Something went wrong with that request. Please try again.