On 25 September 2014 07:14, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote: > I wanted to avoid discussing this on list but here goes: Which is the output of $ ./configure ? -- Andrés -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20140925/49f5afb4/attachment.html