<div dir="auto">Is there a reason to not add (some of) these to the flavor=Quick?</div><div dir="auto"><br></div><div dir="auto">—</div><div dir="auto">Best, Artem</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 21, 2021 at 11:18 AM Norman Ramsey <<a href="mailto:nr@cs.tufts.edu">nr@cs.tufts.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"> > Perhaps it would be too niche of a resource, but what about collecting<br>
 > these options either in a Wiki page in GHC<br>
<br>
In the interests of "done now is better than perfect later," I have<br>
added a note about these options to<br>
<a href="https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian" rel="noreferrer" target="_blank">https://gitlab.haskell.org/ghc/ghc/-/wikis/building/hadrian</a>.<br>
This is where the command<br>
<br>
 > `--flavour=default+no_profiled_libs+omit_pragmas` <br>
<br>
is already documented.<br>
<br>
<br>
Norman<br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div></div>