<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">&lt;<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</a>&gt;</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">&lt;<a href="mailto:kyrab@mail.ru" target="_blank">kyrab@mail.ru</a>&gt;</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&#39;ve tracked it down to Agda build process switching to &#39;cpphs&#39;. Removing &#39;cpphs&#39; from &#39;build-tools&#39; field and removing &#39;-pgmPcpphs -optP--cpp&#39; option fixed the things for me that time.<br>
<br>
OTOH, later I didn&#39;t experienced problems even with &#39;cpphs&#39; turned on.<br>
<br>
(I&#39;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>