[CakeML-Dev] readme_gen induced build failure at origin/master?

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Fri Nov 25 00:24:05 UTC 2016

Those directory names are rather suspicious: they look to be from version1,
but the commit you mentioned is at the head of master (i.e., version 2).
Is there something going on with environment variables, or are you in the
wrong directory or something?

On 25 November 2016 at 10:50, <Michael.Norrish at data61.csiro.au> wrote:

> 7450870990a5254c72d19daf468141
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161125/36f267aa/attachment.html>

More information about the Developers mailing list