avsm changed the topic of #mirage to: mirage 2 released! party on!
rgrinberg has joined #mirage
jimt_ is now known as jimt
rgrinberg has quit [Ping timeout: 246 seconds]
rgrinberg has joined #mirage
brson has quit [Quit: leaving]
bok is now known as poka
rgrinberg has quit [Ping timeout: 244 seconds]
pyvpx has quit [Ping timeout: 260 seconds]
pyvpx has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
AltGr has joined #mirage
poka has quit [Ping timeout: 250 seconds]
poka has joined #mirage
mort___ has quit [Quit: Leaving.]
andreas23 has joined #mirage
mort___ has joined #mirage
AltGr has left #mirage [#mirage]
cristianm has joined #mirage
mort___ has quit [Quit: Leaving.]
mort___ has joined #mirage
bugabinga has joined #mirage
cristianm has quit [Remote host closed the connection]
cristianm has joined #mirage
bugabinga has quit [Remote host closed the connection]
AltGr has joined #mirage
bugabinga has joined #mirage
bugabinga has quit [Remote host closed the connection]
bugabinga has joined #mirage
sigjuice has quit [Ping timeout: 265 seconds]
sigjuice has joined #mirage
djs55 has joined #mirage
mort___ has quit [Ping timeout: 246 seconds]
mort___ has joined #mirage
djs55 has quit [Read error: Connection reset by peer]
djs55 has joined #mirage
cristian_ has joined #mirage
cristianm has quit [Ping timeout: 250 seconds]
reynir1 has joined #mirage
smondet_ has joined #mirage
admin1 has joined #mirage
mattg_ has joined #mirage
mattg has quit [*.net *.split]
mariusae has quit [*.net *.split]
smondet has quit [*.net *.split]
reynir has quit [*.net *.split]
guillain has quit [*.net *.split]
mattg_ is now known as mattg
reynir1 is now known as reynir
djs55 has quit [Quit: Leaving.]
cristian_ has quit [Remote host closed the connection]
mariusae has joined #mirage
djs55 has joined #mirage
rgrinberg has joined #mirage
rgrinberg has quit [Ping timeout: 244 seconds]
mort___ has quit [Quit: Leaving.]
AltGr has left #mirage [#mirage]
mort___ has joined #mirage
AltGr has joined #mirage
AltGr has left #mirage [#mirage]
cristianm has joined #mirage
cristianm has quit [Ping timeout: 268 seconds]
rgrinberg has joined #mirage
cristianm has joined #mirage
djs55 has quit [Quit: Leaving.]
lars_kurth has joined #mirage
rgrinberg has quit [Ping timeout: 250 seconds]
rgrinberg has joined #mirage
NeXen has joined #mirage
lars_kurth has quit [Ping timeout: 244 seconds]
NeXen has quit [Remote host closed the connection]
cristianm has quit [Remote host closed the connection]
cristianm has joined #mirage
lars_kurth has joined #mirage
AltGr has joined #mirage
cristianm has quit [Remote host closed the connection]
cristianm has joined #mirage
djs55 has joined #mirage
AltGr has left #mirage [#mirage]
tomboy65 has quit [Ping timeout: 246 seconds]
tomboy64 has joined #mirage
andreas23 has quit [Ping timeout: 264 seconds]
cristianm has quit [Remote host closed the connection]
andreas23 has joined #mirage
andreas231 has joined #mirage
andreas23 has quit [Ping timeout: 252 seconds]
miragebot has joined #mirage
<
miragebot>
mirage/master 67f16b6 Jeremy Yallop: README typos.
miragebot has left #mirage [#mirage]
andreas23 has joined #mirage
andreas231 has quit [Ping timeout: 260 seconds]
mort___ has quit [Ping timeout: 246 seconds]
NeXen has joined #mirage
admin1 has quit [Ping timeout: 256 seconds]
djs55 has quit [Quit: Leaving.]
NeXen has quit [Ping timeout: 260 seconds]
mort___ has joined #mirage
NeXen has joined #mirage
brson has joined #mirage
lars_kurth has quit [Ping timeout: 265 seconds]
lobo has joined #mirage
djs55 has joined #mirage
lars_kurth has joined #mirage
rgrinberg has quit [Ping timeout: 260 seconds]
rgrinberg has joined #mirage
mort___ has quit [Quit: Leaving.]
NeXen has quit [Read error: Connection reset by peer]
lars_kurth has quit [Ping timeout: 250 seconds]
smondet_ is now known as smondet
lars_kurth has joined #mirage
NeXen has joined #mirage
lars_kurth has quit [Ping timeout: 246 seconds]
lars_kurth has joined #mirage
NeXen has quit [Read error: Connection reset by peer]
NeXen has joined #mirage
lars_kurth has quit [Remote host closed the connection]
<
tomboy64>
if i want to compile
*only* mirage-types by hand (from github.com/mirage/mirage) and not through opam, how would i do that?
<
tomboy64>
(i'm asking because i'd like to package and maintain mirage for a linux distro)
NeXen is now known as NeXeN
rgrinberg has quit [Ping timeout: 272 seconds]
<
Drup>
tomboy64: there is a target in the makefile for that
<
tomboy64>
ehhhh....
* tomboy64
cleans his glasses
xet7_ has quit [Ping timeout: 256 seconds]
<
Drup>
install-types
<
tomboy64>
yup, thanks
<
tomboy64>
seems i was blind when i examined that
rgrinberg has joined #mirage
dsheets has joined #mirage
dsheets has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Ping timeout: 255 seconds]
noddy has quit [Ping timeout: 250 seconds]
noddy has joined #mirage
bugabinga has quit [Remote host closed the connection]
bugabinga has joined #mirage
rgrinberg has joined #mirage
NeXeN has quit [Read error: Connection reset by peer]
lobo has quit [Quit: leaving]