avsm changed the topic of #mirage to: Good news everyone! Mirage 3.0 released!
contrapumpkin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
contrapumpkin has joined #mirage
dinosaure has joined #mirage
ottbot has quit [Ping timeout: 260 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
AltGr has joined #mirage
yegods has quit [Remote host closed the connection]
mpaolino has joined #mirage
<mpaolino> Hello folks, I am experiencing mirage os for the first time. I installed ocaml (4.05) and opam (2.0.0) from sources but when I try to execute make depends the build of mirage-fs, mirage-kv and mirage-net fails
<mpaolino> the error is "unbound module result"
<mpaolino> do you have any hints?
<mpaolino> btw, mirage version is 3.0.4
<mpaolino> maybe the ocaml version I am using creates problems with mirage-*?
argent_smith has joined #mirage
yegods has joined #mirage
yegods has quit [Read error: Connection reset by peer]
<hannes> mpaolino: did you opam install mirage? if not, you should :)
<mpaolino> yes I did it
<mpaolino> thanks hannes
<mpaolino> actually I solved the problem by installing opam from the OS repository, and then using opam switch to use an ocaml compiler which is not the OS repository one
<hannes> mpaolino: great! which OS are you on if I may ask?
<mpaolino> sure, Ubuntu Zesty
mort___ has joined #mirage
mpaolino has quit [Quit: Sto andando via]
vbmithr_ has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
mort___ has quit [Ping timeout: 255 seconds]
copy_ has joined #mirage
vbmithr has joined #mirage
AltGr has left #mirage [#mirage]
miragebot has joined #mirage
miragebot has left #mirage [#mirage]
<miragebot> mirage/master 4f7aedd Anil Madhavapeddy: Merge pull request #846 from avsm/doc10...
<miragebot> mirage/master e926b6e Anil Madhavapeddy: docs: add camlzip, remove some extraneous ones...
<miragebot> [mirage] avsm pushed 2 new commits to master: https://git.io/vQmdp
tchell has quit [Ping timeout: 268 seconds]
yegods has joined #mirage
apache2 has joined #mirage
argent_smith has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 260 seconds]
argent_smith has joined #mirage
argent_smith1 has quit [Ping timeout: 255 seconds]
argent_smith1 has joined #mirage
argent_smith has quit [Ping timeout: 260 seconds]
yegods has quit [Remote host closed the connection]
yegods has joined #mirage
jmpf has joined #mirage
jmpf has quit [Quit: leaving]
argent_smith1 has quit [Quit: Leaving.]