Re: [MirageOS-devel] build workflow

2016-12-02 Thread Martin Lucina
On Thursday, 01.12.2016 at 19:10, Drup wrote: > > >I'm now wondering: what was the rationale for having `mirage describe` > >vs `mirage help` at all? > >Maybe it would be better to incorporate the tty-output options of > >`describe` into the `help` output, and have `mirage describe` only >

Re: [MirageOS-devel] build workflow

2016-12-02 Thread Hannes Mehnert
On 01/12/2016 09:19, Thomas Gazagnaire wrote: >> - mirage configure should recompile the configuration >> according to >> - mirage build should build, and error out if the unikernel was not >> configured upfront > > How do you work with multiple target/config in parallel with this workflow? >

Re: [MirageOS-devel] build workflow

2016-12-02 Thread Martin Lucina
On Thursday, 01.12.2016 at 09:19, Thomas Gazagnaire wrote: > > - mirage configure should recompile the configuration > > according to > > - mirage build should build, and error out if the unikernel was not > > configured upfront > > How do you work with multiple target/config in parallel with

Re: [MirageOS-devel] [PATCH v5 3/3] Significant changes to decision making; some new roles and minor changes

2016-12-02 Thread Stefano Stabellini
On Fri, 2 Dec 2016, Lars Kurth wrote: > On 01/12/2016 22:36, "Stefano Stabellini" wrote: > > >On Thu, 1 Dec 2016, Ian Jackson wrote: > >> Lars Kurth writes ("Re: [PATCH v5 3/3] Significant changes to decision > >>making; some new roles and minor changes"): > >> > Maybe