<div dir="ltr">Wish granted.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jan 8, 2014 at 12:00 AM, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I never use 'make install', only 'make install-bin'.<br>
<br>
>From my perspective, your wish could be granted.<br>
<br>
Cheers,<br>
Andreas<div class="HOEnZb"><div class="h5"><br>
<br>
On 07.01.14 10:04 AM, Jan Stolarek wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I just noticed that doing 'make install' in Agda directory always does 'cabal update'. I don't<br>
think this is a Good Thing. Firstly because people may wish not to update cabal database (I am<br>
one of such persons) to avoid any possible inconsistencies in package versioning. Secondly, if<br>
make install fails for some reason then running cabal update every time one tries to re-run make<br>
install is redundant. Could this be disabled?<br>
<br>
Janek<br>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
<br>
</blockquote>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>