hannes changed the topic of #mirage to: https://mirage.io - https://github.com/mirage/mirage-www/wiki/Call-Agenda - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.5.0 is released - happy hacking!
_whitelogger has joined #mirage
_whitelogger has joined #mirage
_whitelogger has joined #mirage
apostolis has joined #mirage
<apostolis> Hello, I am the developer of agda-ocaml and I am having problems with build system that mirage uses.
<apostolis> Namely, I only have .cmx and .cmi files while mirage seems to demand .ml .mli files.
<apostolis> ls
<apostolis> ls
<apostolis> :)
<apostolis> Ok , finally, I learned to use ocamlbuild's tag system.
_whitelogger has joined #mirage
Haudegen has joined #mirage
apostolis has quit [Quit: WeeChat 1.6]
<apache2> I think we're trying to move way from ocamlbuild, to dune
dobson has joined #mirage
dobson` has quit [Ping timeout: 248 seconds]
apostolis has joined #mirage
apostolis has quit [Quit: WeeChat 1.6]