Re: build broken + doc

["Robert N. M. Watson" <robert.watson@xxxxxxxxxxxx>]

On 15 Sep 2011, at 16:42, Anil Madhavapeddy wrote:

> I'm fixing the Xen issue now; I forgot to push from my Linux box.
> 
> How is 'make doc' broken for you? Works here for me. The steps are still a 
> little manual for the JSON. You need to:
> 
> $ cd mirage.git
> $ make doc
> $ cd docs
> $ ./_build/parse.native ../lib/_build/unix-direct # or another backend
> 
> Now checkout mirage-browser.git, and put the JSON file from the last command 
> into mirage-browser/data/info.json, and load index.html.
> 
> Once the browser settles down (and it would be really nice to have something 
> ready for the tutorial), we can hook up all the commands into the Makefile.

I wonder if it would make sense to set up Mirage with a Jenkins build server, 
as we do for CHERI and its unit test suite? We might have to read up on how to 
use Jenkins with git; this far we've only used it with Subversion for CTSRD 
projects.

Robert