Martin Lucina

Results 67 comments of Martin Lucina

Relevant discussion from the list is here: https://lists.xenproject.org/archives/html/mirageos-devel/2016-12/msg00011.html I think the conclusion on the list was that in the configured case `describe` should always behave as with `--eval` and reflect...

> In addition, I wonder whether the flag vs opt bool complexity is intended & necessary. I'll note that `opt bool` does not have this problem, as I discovered when...

Unfortunately all backends cannot currently coexist in the same OPAM switch. So multiple make targets will not solve this by itself. It'd be a fair chunk of work to enable...

I'm not sure what you mean by changing switches just within a single terminal. Is is possible to run a one-off single command in the context of a particular switch,...

`DEPOPTS` also gets evaluated late, after the package under test is installed. See eg https://travis-ci.org/mirage/mirage-net-solo5/jobs/589027444

Yes, the licensing is a bit of a mess, some of it inherited from the old mirage-platform package and elsewhere. It would be good to clean it up, I suspect...