<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 13 January 2015 at 13:59, Johan Tibell <span dir="ltr"><<a href="mailto:johan.tibell@gmail.com" target="_blank">johan.tibell@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">I wonder if you have a cached Setup.hs somewhere under ~/.cabal that's out of date (i.e. uses and older Cabal). You can try -v2 or -v3 to get some more information. In particular look for mentions of older Cabal versions.</div></blockquote><div><br></div><div>This is probably it. With -v3 I see the following in the output.</div><div><br></div><div><div>Using Cabal library version 1.20.0.0</div><div>Found cached setup executable:</div><div>$HOME/.cabal/setup-exe-cache/setup-Simple-Cabal-1.20.0.0-x86_64-osx-ghc-7.6.3</div><div>$HOME/.cabal/setup-exe-cache/setup-Simple-Cabal-1.20.0.0-x86_64-osx-ghc-7.6.3</div></div><div><br></div><div>Then I rm -rf $HOME/.cabal/setup-exe-cache, but this doesn't seem to help. </div><div><br></div><div><div>Using Cabal library version 1.20.0.0</div><div>Setup executable not found in the cache.</div><div>Setup executable needs to be updated, compiling...</div><div><br></div><div>So it compiles the Setup executable using Cabal-1.20.0.0 again.</div></div><div><br></div><div>And now I know why this happens. I had compiled cabal-install using ghc-7.8.3 before. So 7.6.3 doesn't even have Cabal-1.22.0.0 available to it. Compiling cabal-install with ghc-7.6.3 seems to have solved that problem.</div><div><br></div><div>This is getting a little bit out of hand though, especially for automation. Now I need to figure out what to do for our continuous integration machines so the latest version of cabal-install is useable for multiple ghc versions. In general, should we be compiling cabal-install with each ghc installation separately? Or maybe just the Cabal library?</div><div><br></div><div>Thanks,</div></div><div><br></div>-- <br><div class="gmail_signature">Ozgur Akgun</div>
</div></div>