[Agda] [bug] make install does cabal update

[Jan Stolarek]

Thank you.

Janek

Dnia środa, 8 stycznia 2014, Ulf Norell napisał:
> 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