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

Michael.Norrish at data61.csiro.au Michael.Norrish at data61.csiro.au
Fri Nov 25 00:31:22 UTC 2016

Ah, I probably have stale directories from old commits and/or me switching to those old versions.


From: Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
Date: Friday, 25 November 2016 at 11:24
To: "Norrish, Michael (Data61, Canberra City)" <Michael.Norrish at data61.csiro.au>
Cc: "developers at cakeml.org" <developers at cakeml.org>
Subject: Re: [CakeML-Dev] readme_gen induced build failure at origin/master?

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<mailto:Michael.Norrish at data61.csiro.au>> wrote:

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161125/352d3f23/attachment.html>

More information about the Developers mailing list