I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put https://phabricator.haskell.org/D1383 up for review to bring 'mk/are-validating.mkhttps://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' back, which should fix that.
Correct!
I can’t wait ☺
Simon
From: Thomas Miedema [mailto:thomasmiedema@gmail.com]
Sent: 29 October 2015 11:43
To: Simon Peyton Jones
Subject: Re: Compiling without -O
validate uses options from mk/validate.mkhttps://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 as always. Nothing should have changed there. You say it doesn't work anymore. How do you know?
I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put https://phabricator.haskell.org/D1383 up for review to bring 'mk/are-validating.mkhttps://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' back, which should fix that.
On Thu, Oct 29, 2015 at 12:10 PM, Simon Peyton Jones
Simon,
things should be back to normal, after a 'git pull'.
Thomas
On Thu, Oct 29, 2015 at 1:04 PM, Simon Peyton Jones
I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put https://phabricator.haskell.org/D1383 up for review to bring 'mk/ are-validating.mk 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' back, which should fix that.
Correct!
I can’t wait J
Simon
*From:* Thomas Miedema [mailto:thomasmiedema@gmail.com] *Sent:* 29 October 2015 11:43 *To:* Simon Peyton Jones *Subject:* Re: Compiling without -O
validate uses options from mk/validate.mk 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 as always. Nothing should have changed there. You say it doesn't work anymore. How do you know?
I suspect you are trying to run 'make 1' after a validate failure, and those settings don't get applied. I have put https://phabricator.haskell.org/D1383 up for review to bring 'mk/ are-validating.mk 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' back, which should fix that.
On Thu, Oct 29, 2015 at 12:10 PM, Simon Peyton Jones < simonpj@microsoft.com> wrote:
I want to validate, but to compile my stage-1 compiler with –O0. How do I do that?
I used to add
GhcStage1HcOpts += -DDEBUG -O0
to mk/validate.mk 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, but that doesn’t seem to work any more.
What now?
Simon
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs 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
participants (2)
-
Simon Peyton Jones -
Thomas Miedema