<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 26 September 2014 08:42, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</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"><span class="">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 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></span>There was an issue with cpphs on Windows which was fixed by Malcolm Wallace.</blockquote></div><br><span id="result_box" class="" lang="en"><span class="">I</span> <span class="">forgot to mention that the issue was narrowed down by </span></span>Nick Smallbone (sorry Nick).<br clear="all"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></div>