<div dir="ltr"><div>Hi Simon,</div><div><br></div><div>According to the configure script, you can use the HAPPY env variable. e.g.</div><div><br></div><div>$ HAPPY=/full/path/to/happy ./configure</div><div><br></div><div>Hope that helps. Cheers,<br></div><div>Sebastian<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Di., 30. März 2021 um 15:19 Uhr schrieb Simon Peyton Jones via ghc-devs <<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">





<div style="overflow-wrap: break-word;" lang="EN-GB">
<div class="gmail-m_1453297172406546814WordSection1">
<p class="MsoNormal">What’s the approved mechanism to install multiple versions of happy/alex etc?  Eg I tried to build ghc-9.0 and got this:<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">checking for makeinfo... no<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">checking for python3... /usr/bin/python3<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">checking for ghc-pkg matching /opt/ghc/bin/ghc... /opt/ghc/bin/ghc-pkg<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">checking for happy... /home/simonpj/.cabal/bin/happy<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">checking for version of happy... 1.20.0<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code">configure: error: Happy version 1.19 is required to compile GHC.<u></u><u></u></p>
<p class="gmail-m_1453297172406546814Code"><u></u> <u></u></p>
<p class="MsoNormal">I so I have to<u></u><u></u></p>
<ol style="margin-top:0cm" type="1" start="1">
<li class="gmail-m_1453297172406546814MsoListParagraph" style="margin-left:0cm">Install happy-1.19 without overwriting the installed happy-1.20<u></u><u></u></li><li class="gmail-m_1453297172406546814MsoListParagraph" style="margin-left:0cm">Tell configure to use happy-1.19<u></u><u></u></li></ol>
<p class="MsoNormal">What’s the best way to do those two things?<u></u><u></u></p>
<p class="MsoNormal">Thanks<u></u><u></u></p>
<p class="MsoNormal">Simon<u></u><u></u></p>
</div>
</div>

_______________________________________________<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>