<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">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 id=":pw" class="" 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>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 &#39;cpphs&#39; needs to be updated? (And minimal &#39;cpphs&#39; 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>