adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
serge_ has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge_ has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
smazga has quit [Quit: leaving]
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
mahmudov has quit [Remote host closed the connection]
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge_ has quit [Read error: Connection reset by peer]
serge has quit [Ping timeout: 268 seconds]
spew has quit [Quit: Connection closed for inactivity]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
serge_ has quit [Ping timeout: 265 seconds]
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 272 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
Hrundi_V_Bakshi has quit [Ping timeout: 265 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
olle has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
Haudegen has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
serge has joined #ocaml
_whitelogger has joined #ocaml
serge_ has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Write error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
dborisog has joined #ocaml
serge has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
serge has quit [Ping timeout: 240 seconds]
nullcone has joined #ocaml
FreeBird_ has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
mfp has quit [Ping timeout: 265 seconds]
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
dborisog has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
wingsorc has quit [Ping timeout: 248 seconds]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
sailor177354 has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
gravicappa has joined #ocaml
serge has joined #ocaml
serge has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
mahmudov has joined #ocaml
serge has quit [Remote host closed the connection]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
oni-on-ion has quit [Ping timeout: 245 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
ggole has joined #ocaml
cartwright has quit [Remote host closed the connection]
jao has quit [Ping timeout: 260 seconds]
cartwright has joined #ocaml
serge has joined #ocaml
ggole has quit [Remote host closed the connection]
ggole has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
narimiran has joined #ocaml
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge_ has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
rwmjones_ has joined #ocaml
rwmjones has quit [Ping timeout: 248 seconds]
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
rwmjones_ has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
dborisog has joined #ocaml
serge has joined #ocaml
andreas303 has quit [Remote host closed the connection]
serge has quit [Ping timeout: 265 seconds]
andreas303 has joined #ocaml
rwmjones has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rwmjones has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 260 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 272 seconds]
_whitelogger has joined #ocaml
serge has quit [Ping timeout: 268 seconds]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
serge has quit [Ping timeout: 265 seconds]
serge has joined #ocaml
serge_ has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge_ has quit [Ping timeout: 268 seconds]
sailor177355 has joined #ocaml
sailor177354 has quit [Ping timeout: 260 seconds]
ygrek_ has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
serge has quit [Ping timeout: 240 seconds]
serge has joined #ocaml
serge has quit [Read error: Connection reset by peer]
serge has joined #ocaml
Serpent7776 has joined #ocaml
ggole has quit [Remote host closed the connection]
ggole has joined #ocaml
mfp has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
Haudegen has joined #ocaml
klntsky_ has quit [Ping timeout: 240 seconds]
klntsky_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBird_ has joined #ocaml
mahmudov has quit [Ping timeout: 268 seconds]
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
gravicappa has quit [Ping timeout: 265 seconds]
GreyFaceNoSpace has quit [Quit: Ex-Chat]
jnavila has joined #ocaml
mbuf has joined #ocaml
mahmudov has joined #ocaml
gravicappa has joined #ocaml
ziyourenxiang has joined #ocaml
mahmudov has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
jnavila has quit [Ping timeout: 272 seconds]
ArthurStrong has joined #ocaml
_whitelogger has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBird_ has quit [Ping timeout: 265 seconds]
vicfred has quit [Quit: Leaving]
tane has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
profmaad has quit [Remote host closed the connection]
wingsorc has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kakadu has joined #ocaml
mbuf has quit [Quit: Leaving]
jao has quit [Ping timeout: 265 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
dborisog has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
decentpenguin has joined #ocaml
decentpenguin has quit [Client Quit]
decentpenguin has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
ArthurStrong has quit [Quit: leaving]
ggole has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
ggole has joined #ocaml
mahmudov has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
<Leonidas> Drup: do you have some learnings about building Tyxml, that would make sense if implementing a similar thing for other formats?
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
<Drup> probably, what are you interested in ?
FreeBirdLjj has quit [Ping timeout: 265 seconds]
tane has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBird_ has quit [Ping timeout: 268 seconds]
brettgilio has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
decentpenguin has quit [Quit: decentpenguin]
FreeBirdLjj has quit [Ping timeout: 265 seconds]
ggole has quit [Quit: Leaving]
dhil has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
narimiran has quit [Ping timeout: 268 seconds]
zolk3ri has quit [Remote host closed the connection]
nullifidian has joined #ocaml
FreeBirdLjj has joined #ocaml
nullifidian_ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mahtob has joined #ocaml
mahtob has quit [Remote host closed the connection]
mahmudov has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
FreeBirdLjj has joined #ocaml
nullcone has joined #ocaml
sailor177355 has quit [Quit: Leaving]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
ocaml459 has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
<ocaml459> dune noob here. I made a new dune project depending on z3 library. I installed z3 via opam before. when I build the project with dune build, it tells me ld: warning: directory not found for option '-L/opt/local/lib', ld: library not found for -lz3ml. I have not idea why dune looks there.
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
gravicappa has quit [Ping timeout: 265 seconds]
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
mahmudov has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
<companion_cube> you probably need to update CAML_LD_LIBRARY_PATH
<companion_cube> it's a pain
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
<Armael> export LD_LIBRARY_PATH=/home/<user>/.opam/<switch>/lib/z3:$LD_LIBRARY_PATH
<Armael> ^ you need that as well
ocaml459 has joined #ocaml
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 265 seconds]
<Armael> (not for building but for running the binary iirc)
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
<ocaml459> CAML_LD_LIBRARY_PATH seems to have had no effect, but setting export LD_LIBRARY_PATH=$(opam config var z3:lib) takes me further. now it complains about Symbol not found in the dllz3ml.so.
ocaml459 has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
kakadu_ has quit [Ping timeout: 268 seconds]
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ocaml459 has quit [Client Quit]
ocaml459 has joined #ocaml
ziyourenxiang has joined #ocaml
ocaml459 has quit [Client Quit]
mahmudov has quit [Remote host closed the connection]