Quoting 1126 <mailinglists at elfsechsundzwanzig.de>: > Yeah. You have to pass --flags="all_extensions" two times, one while > configuring and one while installing. If you're going to use "cabal install", there's no need (nor is it helpful) to use "cabal configure". You only need "configure" if you plan to "build" next. ~d