On 2010-11-06 02:30, kahl at cas.mcmaster.ca wrote:
> I found in mk/config.mk.in:
>
> HAPPY_FLAGS = -agc
I don't think this setting is used any more.
It seems as if Cabal hardcodes -agc when GHC is used. However, you can
run Happy manually:
happy src/full/Agda/Syntax/Parser/Parser.y \
-o dist/build/Agda/Syntax/Parser/Parser.hs
--
/NAD