[Agda] [bug] make install does cabal update

[Ulf Norell]

Wish granted.

/ Ulf


On Wed, Jan 8, 2014 at 12:00 AM, Andreas Abel <abela at chalmers.se> wrote:

> 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
>>
>>  _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140108/36338528/attachment.html