initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
iovec has quit [Quit: Connection closed for inactivity]
spew has quit [Quit: Connection closed for inactivity]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
themsay has quit [Read error: Connection reset by peer]
themsay has joined #ocaml
themsay has quit [Ping timeout: 240 seconds]
ostera has joined #ocaml
ostera has quit [Ping timeout: 240 seconds]
loli has quit [Quit: WeeChat 2.3]
iovec has joined #ocaml
hcs^ has joined #ocaml
yomimono has joined #ocaml
silver has quit [Read error: Connection reset by peer]
_whitelogger has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 250 seconds]
rwmjones has joined #ocaml
zmt00 has quit [Read error: Connection reset by peer]
zmt00 has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 250 seconds]
iovec has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
KeyJoo has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 246 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
shmibs_ has joined #ocaml
cthuluh_ has joined #ocaml
z__tid has quit [Ping timeout: 268 seconds]
ostera has joined #ocaml
shmibs has quit [*.net *.split]
cthuluh has quit [*.net *.split]
Jesin has quit [*.net *.split]
shmibs_ is now known as shmibs
ostera has quit [Ping timeout: 246 seconds]
Jesin has joined #ocaml
z__tid has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
iovec has joined #ocaml
sonologico has quit [Remote host closed the connection]
ostera has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
steenuil has quit [Remote host closed the connection]
themsay has joined #ocaml
kvda has joined #ocaml
themsay has quit [Ping timeout: 240 seconds]
themsay has joined #ocaml
freyr69 has joined #ocaml
ostera has quit [Ping timeout: 245 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
sagotch has joined #ocaml
gravicappa has quit [Ping timeout: 250 seconds]
ostera has joined #ocaml
ostera has quit [Ping timeout: 252 seconds]
themsay has quit [Ping timeout: 246 seconds]
kvda has joined #ocaml
Haudegen has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 250 seconds]
<
freyr69>
Does mirage still use ocamlbuild to build kernels? Is it possible to use dune?
recj has quit [Ping timeout: 244 seconds]
<
hannes>
freyr69: it indeed still uses ocamlbuild, but there's ongoing work to use dune instead!
pierpal has joined #ocaml
ostera has joined #ocaml
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kakadu has joined #ocaml
kakadu has quit [Remote host closed the connection]
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 252 seconds]
kvda has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ostera has quit [Ping timeout: 245 seconds]
ostera has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 268 seconds]
mfp has joined #ocaml
kakadu has joined #ocaml
<
freyr69>
Ok, thanks
zolk3ri has joined #ocaml
ostera has quit [Ping timeout: 268 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
decentpenguin has joined #ocaml
webshinra has quit [Remote host closed the connection]
webshinra has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 246 seconds]
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
sagotch has quit [Ping timeout: 250 seconds]
jao has joined #ocaml
Haudegen has quit [Remote host closed the connection]
vbmithr has quit [Ping timeout: 272 seconds]
ostera has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
Haudegen has joined #ocaml
silver has joined #ocaml
sagotch has joined #ocaml
<
freyr69>
How to generate merlin files for the mirage project?
ostera has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
themsay has joined #ocaml
spew has joined #ocaml
themsay has quit [Ping timeout: 272 seconds]
KeyJoo has quit [Quit: KeyJoo]
ostera has joined #ocaml
ostera has quit [Ping timeout: 244 seconds]
FreeBirdLjj has joined #ocaml
gravicappa has joined #ocaml
powerbit has quit [Remote host closed the connection]
recj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
al-damiri has joined #ocaml
FreeBirdLjj has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 272 seconds]
freyr69 has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Remote host closed the connection]
ostera has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ostera has quit [Ping timeout: 272 seconds]
haesbaert has quit [Remote host closed the connection]
sagotch has quit [Quit: Leaving.]
initiumdoeslinux has joined #ocaml
Serpent7776 has joined #ocaml
ostera has joined #ocaml
ostera has quit [Ping timeout: 260 seconds]
initiumdoeslinux has quit [Remote host closed the connection]
haesbaert has joined #ocaml
ostera has joined #ocaml
jao has quit [Remote host closed the connection]
gravicappa has quit [Ping timeout: 240 seconds]
ostera has quit [Ping timeout: 246 seconds]
silver has quit [Read error: Connection reset by peer]
silver has joined #ocaml
ostera has joined #ocaml
kakadu_ has joined #ocaml
ostera has quit [Ping timeout: 244 seconds]
ostera has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
kvda has joined #ocaml
webshinra has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
tane has joined #ocaml
ostera has quit [Ping timeout: 250 seconds]
ostera has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
recj has quit [Read error: Connection reset by peer]
recj has joined #ocaml
jnavila has joined #ocaml
TC01 has joined #ocaml
powerbit has joined #ocaml
sonologico has joined #ocaml
jao has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Haudegen has joined #ocaml
jnavila has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
pierpal has joined #ocaml
ostera has quit [Ping timeout: 244 seconds]
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
sonologico has quit [Ping timeout: 246 seconds]
bartholin has joined #ocaml
ostera has joined #ocaml
tane has quit [Quit: Leaving]
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 268 seconds]
Spetznaz_ has joined #ocaml
ostera has quit [Ping timeout: 245 seconds]
Haudegen has quit [Remote host closed the connection]
bartholin has quit [Remote host closed the connection]
kakadu_ has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
carlosdagos has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 246 seconds]