<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 26 September 2014 07:16, Kyra <span dir="ltr"><<a href="mailto:kyrab@mail.ru" target="_blank">kyrab@mail.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":pw" class="" style="overflow:hidden">I remember some time ago the similar problem popped up in front of me. I've tracked it down to Agda build process switching to 'cpphs'. Removing 'cpphs' from 'build-tools' field and removing '-pgmPcpphs -optP--cpp' option fixed the things for me that time.<br>
<br>
OTOH, later I didn't experienced problems even with 'cpphs' turned on.<br>
<br>
(I'm on Windows, though).<br>
<br></div></blockquote><br>There was an issue with cpphs on Windows which was fixed by Malcolm Wallace.<div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":pw" class="" style="overflow:hidden">
Probably, your 'cpphs' needs to be updated? (And minimal 'cpphs' version requirement in Agda.cabal inreased too?)</div></blockquote></div><br></div>Due to the issue on Windows, Agda requires the latest version (1.18.5) of cpphs. <br><div><div><div class="gmail_extra"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></div></div></div>