[Agda-dev] --program-suffix on maint

[Ulf Norell]

Thanks.

On Wed, Mar 25, 2015 at 3:55 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> On 25 March 2015 at 03:32, Ulf Norell <ulf.norell at gmail.com> wrote:
> > There used to be a --program-suffix=-2.4.2.3 flag to cabal when building
> the
> > maintenance branch, but that disappeared in
> > https://github.com/agda/agda/commit/1bfb00412a (added Travis instance
> for
> > maint). Having the program suffix is really crucial when you work a lot
> with
> > both maint and master and I don't want to have to type make
> > CABAL_OPTIONS=--program-suffix=-2.4.2.3 every time I compile maint.
>
> My bad. Fixed by
>
> https://github.com/agda/agda/commit/e666ebb0afe44bd4f5f283c9708a3f3ed86834c2
> .
>
> --
> Andrés
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150325/de4344d5/attachment.html