hannes changed the topic of #mirage to: https://mirage.io - bug cleaning day every first friday in month (14:00 UTC - late, next: July 6th) - next call June 13th 16:00 BST https://github.com/mirage/mirage-www/wiki/Call-Agenda - retreat 3rd-10th October http://retreat.mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3 is released - happy hacking!
zmzm has joined #mirage
zmzm has quit [Quit: zmzm]
zmzm has joined #mirage
ehirdoy has joined #mirage
zmzm has quit [Remote host closed the connection]
Guest27176 has joined #mirage
andreas23 has joined #mirage
Guest27176 is now known as Haudegen
argent_smith has joined #mirage
mort___ has joined #mirage
<ehirdoy> hello, I'm setting up Ocaml env as described in https://dev.realworldocaml.org/install.html. utop works but if I try to run it from emacs, I get the following error. "error in process filter: Unknown upattern `(quote wait)'". Do you have any hint for this?
ehirdoy has quit [Ping timeout: 256 seconds]
mort___ has left #mirage [#mirage]
<Ulrar> hannes: So basically adding to my list this : package ~build:true "lwt.ppx"
<Ulrar> Is that correct ? Because it doesn't seem to work, I ran configure again, no errors, but make still says unrecognised extension, and I can't see lwt.ppx in the options passed during build
<Ulrar> I got that package name from ocsigen though, maybe I should use a different name for this ?
ehirdoy has joined #mirage
Haudegen has quit [Read error: Connection reset by peer]
ehirdoy has quit [Ping timeout: 245 seconds]
ehirdoy has joined #mirage
Haudegen has joined #mirage
mort___ has joined #mirage
andreas23 has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
andreas23 has joined #mirage
Haudegen has quit [Remote host closed the connection]
<hannes> Ulrar: seems to only works with 'package "lwt_ppx"' for me here...
<Ulrar> hannes: lwt_ppx doesn't seem to exist for me. But lwt.ppx without the build:true does work
<Ulrar> So problem solved, thanks
mort___ has left #mirage [#mirage]
argent_smith has quit [Quit: Leaving.]