<div dir="ltr">It's probably because there are some leftover generated files that didn't finish getting written. If you clean everything the problem will probably go away. Alternatively you could try deleting the files that cause the LEX_ERRORs.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 23 March 2017 at 00:22, Armaël Guéneau <span dir="ltr"><<a href="mailto:armael.gueneau@ens-lyon.fr" target="_blank">armael.gueneau@ens-lyon.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hum, just after sending the previous email I realized I hadn't updated<br>
hol. However, trying to build the latest hol also produced a similar<br>
failure:<br>
<br>
Holdep exception: LEX_ERROR "selftest.sml 5.23 '.'-whitespace unexpected"<br>
<br>
(I re-ran bin/build and it eventually went through, but eh..)<br>
<br>
Also I still get the same kind of failures in cakeml with the new hol.<br>
<div class="HOEnZb"><div class="h5"><br>
On 22/03/2017 13:49, Armaël Guéneau wrote:<br>
> Hi dev,<br>
><br>
> I just run "cd characteristic && Holmake" on a fresh clone of master,<br>
> and got the following failure:<br>
><br>
> Holmake failed with exception: LEX_ERROR "gramScript.sml 186.33<br>
> '.'-whitespace unexpected"<br>
><br>
> I re-ran Holmake, got this time:<br>
><br>
> Holmake failed with exception: LEX_ERROR "tokenUtilsScript.sml 76.42<br>
> '.'-whitespace unexpected"<br>
><br>
> Then I re-ran Holmake a third time, and it finally went through.<br>
><br>
> Not sure what is happening, but I thought I'd mention it on the list.<br>
> Maybe a parallelisation issue?<br>
><br>
> — Armaël<br>
><br>
> ______________________________<wbr>_________________<br>
> Developers mailing list<br>
> <a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
> <a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
><br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</div></div></blockquote></div><br></div>