Re: [MirageOS-devel] [ANN] mirage 2.9.0

[Thomas Gazagnaire <thomas@xxxxxxxxxxxxxx>]

> This will soon be available in opam: 
> https://github.com/ocaml/opam-repository/pull/6352

This PR is now merged and mirage 2.9.0 should be available in `opam update` in 
the next hour or so.

Best,
Thomas

> 
> Summary: use Logs[2] in you libraries, and use `--logs`either at configure or 
> runtime to configure the log reporters. You don’t need to change your 
> config.ml (but you can tweak the default log reporter in there if you want 
> to, or disable log reporting completely).
> 
> I plan to write more complete documentation next week, but here an example:
> 
> ```
> $ mirage configure --no-opam --logs info,foo:debug,toto:debug
> $ make
> [...]
> $ ./main.native
> Warning: toto is not a valid log source.
> Hello World!
> 2016-04-29 10:04.52: DBG [foo] Haha
> $ ./main.native --logs info
> Hello World!
> ``` 
> 
> Full changes:
> 
> * Add logging support. A new `reporter` parameter to `register` is now 
> available. This parameter defines how to configure the log reporter,
>  using `Logs` and `Mirage_logs`. Log reporters can also be configured at 
> configuration AND runtime using on the new `-l` or `—logs`  command-line 
> argument.  (#534, by @samoht, @talex5 and @Drup)
> 
> * Allow to disable command-line parsing at runtime. There is a new `argv` 
> parameter to the `register` function to allow to pass custom command-line 
> argument parsing devices.  Use `register ~argv:no_argv` to disable 
> command-line argument parsing. (#493, by @samoht and @Drup)
> 
> Many thanks to Thomas L. who started that work during the MirageOS 
> hackaton[2] and @drup for the useful comments and feedback.
> 
> Best,
> Thomas
> 
> [1]: 
> http://lists.xenproject.org/archives/html/mirageos-devel/2012-03/msg00001.html
> [2]: http://erratique.ch/software/logs/doc/Logs.html
> [3]: http://canopy.mirage.io/Posts/Errors


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel