[Agda] [bug] make install does cabal update

[Andreas Abel]

I never use 'make install', only 'make install-bin'.

 From my perspective, your wish could be granted.

Cheers,
Andreas

On 07.01.14 10:04 AM, Jan Stolarek wrote:
> I just noticed that doing 'make install' in Agda directory always does 'cabal update'. I don't
> think this is a Good Thing. Firstly because people may wish not to update cabal database (I am
> one of such persons) to avoid any possible inconsistencies in package versioning. Secondly, if
> make install fails for some reason then running cabal update every time one tries to re-run make
> install is redundant. Could this be disabled?
>
> Janek
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>