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

[Andrés Sicard-Ramírez]

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