#!/usr/bin/make -f DEB_SETUP_GHC_CONFIGURE_ARGS = --ghc-options="+RTS -V0 -RTS" %: dh $@