<div dir="ltr">Simon,<div><br></div><div>things should be back to normal, after a 'git pull'.</div><div><br></div><div>Thomas</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 29, 2015 at 1:04 PM, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-GB" link="blue" vlink="purple">
<div><span class="">
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:36.0pt">
I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put
<a href="https://phabricator.haskell.org/D1383" target="_blank">https://phabricator.haskell.org/D1383</a> up for review to bring 'mk/<a href="https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fare-validating.mk&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cf2d30c2208324756962f08d2e0560bde%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=ulQ%2fuhmECoGBRCtzvlLVLmwPr111Hdx1pjnoNehoR%2bQ%3d" target="_blank">are-validating.mk</a>'
 back, which should fix that.<u></u><u></u></p>
</span><p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Correct! 
<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">I can’t wait
</span><span style="font-family:Wingdings">J</span><span style="font-family:"Calibri",sans-serif"><u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif">Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif"><u></u> <u></u></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #e1e1e1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif"> Thomas Miedema [mailto:<a href="mailto:thomasmiedema@gmail.com" target="_blank">thomasmiedema@gmail.com</a>]
<br>
<b>Sent:</b> 29 October 2015 11:43<br>
<b>To:</b> Simon Peyton Jones<br>
<b>Subject:</b> Re: Compiling without -O<u></u><u></u></span></p>
</div>
</div><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
validate uses options from mk/<a href="https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fvalidate.mk&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cf2d30c2208324756962f08d2e0560bde%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=i4QF0Rn6IwdEPHQMhrlAA7tFrWrCGS%2fkOej3MONTDQQ%3d" target="_blank">validate.mk</a>
 as always. Nothing should have changed there. You say it doesn't work anymore. How do you know?<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put
<a href="https://phabricator.haskell.org/D1383" target="_blank">https://phabricator.haskell.org/D1383</a> up for review to bring 'mk/<a href="https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fare-validating.mk&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cf2d30c2208324756962f08d2e0560bde%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=ulQ%2fuhmECoGBRCtzvlLVLmwPr111Hdx1pjnoNehoR%2bQ%3d" target="_blank">are-validating.mk</a>'
 back, which should fix that.<u></u><u></u></p>
</div>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<u></u> <u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
On Thu, Oct 29, 2015 at 12:10 PM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>> wrote:<u></u><u></u></p>
<blockquote style="border:none;border-left:solid #cccccc 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal">I want to validate, but to compile my stage-1 compiler with –O0.  How do I do that?<u></u><u></u></p>
<p class="MsoNormal">I used to add
<u></u><u></u></p>
<p class="MsoNormal">GhcStage1HcOpts += -DDEBUG -O0<u></u><u></u></p>
<p class="MsoNormal">to mk/<a href="https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fvalidate.mk&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cf2d30c2208324756962f08d2e0560bde%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=i4QF0Rn6IwdEPHQMhrlAA7tFrWrCGS%2fkOej3MONTDQQ%3d" target="_blank">validate.mk</a>,
 but that doesn’t seem to work any more.<u></u><u></u></p>
<p class="MsoNormal">What now?<u></u><u></u></p>
<p class="MsoNormal"><span style="color:#888888">Simon<u></u><u></u></span></p>
</div>
</div>
<p class="MsoNormal" style="margin-bottom:12.0pt"><br>
_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br>
<a href="https://na01.safelinks.protection.outlook.com/?url=http%3a%2f%2fmail.haskell.org%2fcgi-bin%2fmailman%2flistinfo%2fghc-devs&data=01%7c01%7csimonpj%40064d.mgd.microsoft.com%7cf2d30c2208324756962f08d2e0560bde%7c72f988bf86f141af91ab2d7cd011db47%7c1&sdata=yLQh3N1o1bHTARM3BcAAdHX3Rn%2fRDGyIP7NMZInKNBU%3d" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><u></u><u></u></p>
</blockquote>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div></div></div>
</div>
</div>

</blockquote></div><br></div>