#!/bin/bash
# Mini-driver for GHC
exec $GHCBIN $TOPDIROPT ${1+"$@"}
exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ ${1+"$@"}
# Mini-driver for GHCi
exec $GHCBIN $TOPDIROPT --interactive ${1+"$@"}
exec ${GHCBIN} ${TOPDIROPT} @GHC_CFLAGS@ --interactive ${1+"$@"}