#!/bin/sh

RUN=runghc

echo $RUN Setup.lhs clean
$RUN Setup.lhs clean
echo

echo $RUN Setup.lhs configure --user --prefix=$HOME
$RUN Setup.lhs configure --user --prefix=$HOME
echo

echo $RUN Setup.lhs build
$RUN Setup.lhs build
echo

echo $RUN Setup.lhs haddock --hyperlink-source
$RUN Setup.lhs haddock --hyperlink-source
echo

echo $RUN Setup.lhs haddock --hoogle
$RUN Setup.lhs haddock --hoogle
echo

# echo $RUN Setup.lhs test
# $RUN Setup.lhs test
# echo