mal`` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mal`` has joined #ocaml
thelema_ has joined #ocaml
thelema has quit [Read error: Connection reset by peer]
edwin has joined #ocaml
hcarty has quit [Read error: Operation timed out]
hcarty has joined #ocaml
larhat has joined #ocaml
mfp_ has joined #ocaml
Tianon has quit [Ping timeout: 255 seconds]
mfp has quit [Ping timeout: 255 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
ftrvxmtrx has joined #ocaml
larhat has quit [Quit: Leaving.]
mfp_ is now known as mfp
StepanKuzmin has joined #ocaml
lopex has joined #ocaml
arubin has quit [Quit: arubin]
Amorphous has quit [Ping timeout: 255 seconds]
ikaros_ has joined #ocaml
Cyanure has joined #ocaml
Amorphous has joined #ocaml
Cyanure has quit [Remote host closed the connection]
ulfdoz_ has joined #ocaml
lopex has quit []
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 276 seconds]
ulfdoz_ is now known as ulfdoz
edwin has quit [Ping timeout: 250 seconds]
edwin has joined #ocaml
ztfw has joined #ocaml
edwin has quit [Ping timeout: 255 seconds]
edwin has joined #ocaml
edwin has quit [Ping timeout: 240 seconds]
edwin has joined #ocaml
avsm has joined #ocaml
edwin has quit [Ping timeout: 260 seconds]
thelema_ has quit [*.net *.split]
micro has quit [*.net *.split]
thelema_ has joined #ocaml
micro has joined #ocaml
edwin has joined #ocaml
mcclurmc_1 has joined #ocaml
ikaros_ has quit [Quit: Ex-Chat]
ftrvxmtrx has quit [Quit: Leaving]
mjonsson has joined #ocaml
ftrvxmtrx has joined #ocaml
mcclurmc_1 has quit [Ping timeout: 250 seconds]
RAW has quit [Ping timeout: 260 seconds]
ztfw has quit [Read error: Connection reset by peer]
impy has joined #ocaml
ztfw has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc_ has quit [Ping timeout: 255 seconds]
ikaros has joined #ocaml
avsm has quit [Quit: Leaving.]
sepp2k has joined #ocaml
bobry has joined #ocaml
mjonsson has quit [Remote host closed the connection]
dnolen_ has joined #ocaml
joewilliams is now known as joewilliams_away
sepp2k has quit [Ping timeout: 255 seconds]
avsm has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
sepp2k has joined #ocaml
lopex has joined #ocaml
jamii has joined #ocaml
jamii has quit [Read error: Connection reset by peer]
shachaf has quit [Read error: Connection reset by peer]
shachaf has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
ftrvxmtrx_ has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 240 seconds]
elehack has joined #ocaml
edwin has quit [Remote host closed the connection]
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
lopex has quit [Ping timeout: 252 seconds]
lopex has joined #ocaml
<elehack>
thelema_: it turns out the OCaml problem GODI people have is because ocamlbuild symlinks 'itarget' results in 3.12.1
<thelema_>
ah, that would be an issue... so we need to install from _build/
<elehack>
I think we already do that.
<elehack>
it's just that ocamlbuild confuses itself.
<elehack>
ocamlbuild foo.otarget creates symlinks to .cma,.cmo files.
<elehack>
then the ocamlbuild invocation to build the tests find those and complains about hygiene.
<thelema_>
that's... silly
<elehack>
yeah.
<elehack>
I should probably file a bug about it.
<elehack>
But in the meantime, adding the '-no-links' flag to the ocamlbuild invocation fixes it.
<elehack>
3.11 has a -no-links flag as well, so I'll commit a patch that does this.
<elehack>
also, 1.4.0 builds cleanly & all tests pass on 3.12.1; is there still an outstanding issue with the hashmap such that I should keep GODI at 1.3.0 for now, or is it safe to update the GODI package to 1.4.0?
<thelema_>
can you commit a patch?
<thelema_>
for the ocamlbuild thing
<thelema_>
I'm going to work on the hashtbl thing tonight or tomorrow and we can have 1.4.1 in godi
<elehack>
thelema_: sounds good. I should have a patch in shortly.
<thelema_>
great, gotta go
StepanKuzmin has quit [Read error: Connection reset by peer]