<html>
<head>
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Hello,</p>
<p>A quick note about that 'make.md' document: it's meant as a quick
reference/cheatsheet (hence the _very_ lightweight format) for
people familiar with the make build system. Hadrian's README [1]
is a better place to start from in general and in fact answers or
points to documents that answer some of your questions. I would
perhaps recommend that you (and others) wander through that
document and any other doc that seems relevant to your
interests/workflow (e.g testsuite.md, user-settings.md in your
case)<br>
</p>
<p>Hadrian is however currently lacking some knobs that are needed
to support some of the things you're asking about. None of this
implies a lot of work and they're all on my TODO. I will certainly
make sure to post an update once this is taken care of, in
addition to augmenting the relevant documents of course. For
instance, we don't have a 'validate' rule at the moment, but we've
now got all the pieces we need to write it.</p>
<p>Once I get around to adding those knobs, I'll make sure that all
your questions are answered in the documentation.</p>
<p>Thanks for your initial feedback on this document!<br>
</p>
<p>[1]
<a class="moz-txt-link-freetext" href="https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README.md">https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/README.md</a><br>
</p>
<div class="moz-cite-prefix">On 08/01/2019 17:29, Simon Peyton Jones
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:AM0PR83MB03081122A477F51456D60F41AD8A0@AM0PR83MB0308.EURPRD83.prod.outlook.com">
<meta http-equiv="Content-Type" content="text/html;
charset=windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:36.0pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
p.Code, li.Code, div.Code
{mso-style-name:Code;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:9.0pt;
font-family:"Courier New";}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
font-weight:normal;
font-style:normal;
text-decoration:none none;}
.MsoChpDefault
{mso-style-type:export-only;
mso-fareast-language:EN-US;}
.MsoPapDefault
{mso-style-type:export-only;
margin-top:6.0pt;
margin-right:0cm;
margin-bottom:6.0pt;
margin-left:0cm;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:992023297;
mso-list-type:hybrid;
mso-list-template-ids:-1559755464 134807553 134807555 134807557 134807553 134807555 134807557 134807553 134807555 134807557;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0B7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:"Courier New";}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
<div class="WordSection1">
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">Alp<o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">You’ve
written a helpful wiki page describing how to use Hadrian<o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif"><a
href="https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/doc/make.md"
moz-do-not-send="true">https://gitlab.haskell.org/ghc/ghc/blob/master/hadrian/doc/make.md</a><o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">Could you
document where build-products live? I often look at .hi
files.<o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">Could you
add<o:p></o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">How to
do the equivalent of “sh validate”<o:p></o:p></span></li>
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">When
validating, how to do things like this:<o:p></o:p></span></li>
</ul>
<p class="Code">GhcStage1HcOpts += -DDEBUG -O<o:p></o:p></p>
<p class="Code">GhcStage2HcOpts += -Wwarn -ticky<o:p></o:p></p>
<p class="Code">GhcLibHcOpts += -ticky -Wwarn<o:p></o:p></p>
<p class="Code"><o:p> </o:p></p>
<p class="Code">BUILD_PROF_LIBS = NO<o:p></o:p></p>
<p class="Code"><o:p> </o:p></p>
<p class="Code">SplitObjs = YES<o:p></o:p></p>
<p class="Code">HADDOCK_DOCS = NO<o:p></o:p></p>
<p class="Code"><o:p> </o:p></p>
<p class="Code"><o:p> </o:p></p>
<p class="Code">BUILD_SPHINX_HTML = NO<o:p></o:p></p>
<p class="Code">BUILD_SPHINX_PDF = NO<o:p></o:p></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">After
modifying the source code, how to make stage1 compiler
(only). In ‘make’ it is<o:p></o:p></span></li>
</ul>
<p class="Code">$ cd compiler; make 1<o:p></o:p></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">After
modifying the source code, build the stage2 compiler
(only). In ‘make’ it is<o:p></o:p></span></li>
</ul>
<p class="Code">$ cd compiler; make 2<o:p></o:p></p>
<p class="MsoListParagraph"><span
style="font-family:"Calibri",sans-serif">Perhaps
you say </span><span style="font-family:"Courier
New"">build –freeze1</span><span
style="font-family:"Calibri",sans-serif">?<o:p></o:p></span></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">In the
testsuite, how to use the stage1 compiler<o:p></o:p></span></li>
</ul>
<p class="Code">$ make stage=1 TEST=T2543<o:p></o:p></p>
<ul style="margin-top:0cm" type="disc">
<li class="MsoListParagraph"
style="margin-left:0cm;mso-list:l0 level1 lfo1"><span
style="font-family:"Calibri",sans-serif">In
nofib, how to build one benchmark, with extra flags,
perhaps even with the stage1 compiler<o:p></o:p></span></li>
</ul>
<p class="Code">$ make stage=1 EXTRA_HC_OPTS=”-ticky
-ddump-simpl -ddump-stg”<o:p></o:p></p>
<p class="Code"><o:p> </o:p></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">Thanks!<o:p></o:p></span></p>
<p class="MsoNormal"><span
style="font-family:"Calibri",sans-serif">Simon<o:p></o:p></span></p>
</div>
</blockquote>
<pre class="moz-signature" cols="72">--
Alp Mestanogullari, Haskell Consultant
Well-Typed LLP, <a class="moz-txt-link-freetext" href="https://www.well-typed.com/">https://www.well-typed.com/</a>
Registered in England and Wales, OC335890
118 Wymering Mansions, Wymering Road, London, W9 2NF, England</pre>
</body>
</html>