Another hadrian option you might want to use

[Artem Pelenitsyn]

Is there a reason to not add (some of) these to the flavor=Quick?

—
Best, Artem

On Thu, Oct 21, 2021 at 11:18 AM Norman Ramsey <nr at cs.tufts.edu> wrote:

>  > Perhaps it would be too niche of a resource, but what about collecting
>  > these options either in a Wiki page in GHC
>
> In the interests of "done now is better than perfect later," I have
> added a note about these options to
> https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian.
> This is where the command
>
>  > `--flavour=default+no_profiled_libs+omit_pragmas`
>
> is already documented.
>
>
> Norman
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20211024/efc9ab17/attachment.html>