gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
lamawithonel has quit [Remote host closed the connection]
KDr2 has joined #ocaml
willb has quit [Read error: Operation timed out]
mfp has quit [Ping timeout: 252 seconds]
sepp2k has quit [Quit: Leaving.]
mfp has joined #ocaml
lopex has quit []
lamawithonel has joined #ocaml
dnolen has quit [Quit: dnolen]
lamawithonel_ has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
Modius_ has joined #ocaml
Modius has quit [Ping timeout: 252 seconds]
mnabil has quit [Remote host closed the connection]
joewilliams is now known as joewilliams_away
dnolen has joined #ocaml
joewilliams_away is now known as joewilliams
wm5 has joined #ocaml
ski has quit [Read error: Operation timed out]
ski has joined #ocaml
joewilliams is now known as joewilliams_away
dnolen has quit [Quit: dnolen]
ankit9 has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 264 seconds]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
Snark has joined #ocaml
othiym23 has quit [Quit: Linkinus - http://linkinus.com]
ygrek has joined #ocaml
ski has quit [Ping timeout: 258 seconds]
ski has joined #ocaml
Tobu has quit [Quit: No Ping reply in 180 seconds.]
ikaros has joined #ocaml
jamii has quit [Read error: Operation timed out]
edwin has joined #ocaml
ankit9 has joined #ocaml
ftrvxmtrx has joined #ocaml
ski has quit [Ping timeout: 258 seconds]
ski has joined #ocaml
ankit9 has quit [Quit: Leaving]
ankit9 has joined #ocaml
avsm has quit [Quit: Leaving.]
logicc2 has joined #ocaml
KDr2 has quit [Quit: Leaving.]
ikaros has quit [Quit: Ex-Chat]
avsm has joined #ocaml
edwin has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 255 seconds]
logicc2 has quit [Remote host closed the connection]
edwin has joined #ocaml
Amorphous has joined #ocaml
seafood has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
ski has quit [Read error: Operation timed out]
ftrvxmtrx has joined #ocaml
ski has joined #ocaml
ztfw has joined #ocaml
Anarchos has joined #ocaml
ski has quit [Read error: Operation timed out]
ski has joined #ocaml
KDr2 has joined #ocaml
KDr2 has quit [Client Quit]
_andre has joined #ocaml
mart has quit [Remote host closed the connection]
lopex has joined #ocaml
mart has joined #ocaml
lamawithonel_ has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 250 seconds]
seafood has quit [Quit: seafood]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
oriba has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
oriba has left #ocaml []
ftrvxmtrx has joined #ocaml
lamawithonel has joined #ocaml
ankit9 has quit [Quit: Leaving]
ygrek has joined #ocaml
edwin has left #ocaml []
avsm1 has quit [Quit: Leaving.]
avsm has joined #ocaml
lopexx has joined #ocaml
<gildor> this is not a good idea to mix Lwt_preemptive with Lwt
<gildor> ?
<gildor> i.e. use Lwt inside a thread
ankit9 has joined #ocaml
lopex has quit [Ping timeout: 252 seconds]
lopexx has quit [Ping timeout: 240 seconds]
joewilliams_away is now known as joewilliams
lopex has joined #ocaml
lopex is now known as Guest54917
impy has quit [Ping timeout: 252 seconds]
Guest54917 has quit [Client Quit]
impy has joined #ocaml
lopexx has joined #ocaml
iratsu has quit [Ping timeout: 250 seconds]
lopexx has quit []
lopexx has joined #ocaml
iratsu has joined #ocaml
rby has quit [Quit: Lost terminal]
rby has joined #ocaml
philtor has joined #ocaml
avsm has quit [Quit: Leaving.]
lopexx has quit []
lamawithonel has quit [Remote host closed the connection]
lopex has joined #ocaml
lopex is now known as Guest36102
Guest36102 has quit [Client Quit]
lopexx has joined #ocaml
lopexx has quit [Client Quit]
lopex has joined #ocaml
alexyk has joined #ocaml
ulfdoz has joined #ocaml
wagle has quit [Ping timeout: 246 seconds]
ikaros has joined #ocaml
wagle has joined #ocaml
wagle has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
avsm has quit [Remote host closed the connection]
wagle has joined #ocaml
<thelema_> has anyone succeeded at statically linking a program that uses lablgtk2?
<adrien> thelema_: even for gtk+ libraries?
<thelema_> adrien: lablgtk2 is automatically statically linked into the binary, the hard part seems to be linking the gtk+ libraries in
<thelema_> -cclib -static tries, but I get a failure with gdk-pixbuf-2.0
<thelema_> maybe it's just a problem with my gtk+ install
<adrien> thelema_: afaik, gtk is meant *NOT* to work that way
<adrien> I'm sure it's not meant to on windows, and I think it isn't meant either on linux
<thelema_> ok, maybe I'm trying to swim uphill. I'll see about statically linking only other libraries
<adrien> well, maybe it can be done, have you tried with a C program first?
<thelema_> no, I haven't
alexyk has quit [Quit: alexyk]
ftrvxmtrx has quit [Quit: This computer has gone to sleep]
jamii has joined #ocaml
Snark has quit [Quit: Ex-Chat]
iratsu has quit [Quit: Leaving.]
iratsu has joined #ocaml
avsm has joined #ocaml
ftrvxmtrx has joined #ocaml
Anarchos has joined #ocaml
ankit9 has quit [Quit: Leaving]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
eb4890 has joined #ocaml
BiDOrD_ has joined #ocaml
BiDOrD has quit [Ping timeout: 246 seconds]
_andre has quit [Quit: leaving]
philtor has quit [Read error: Operation timed out]
ikaros has quit [Read error: Connection reset by peer]
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
<Lor> Anyone have idea when 3.12.1 is coming out?
<thelema_> Lor: could be any day
<Lor> I need some of its features but trying to compile it on windows from sources is a pain, I'd rather get an official windows binary.
<thelema_> Lor: there doesn't seem to be official binaries of 3.12
<Lor> I just noticed.
<Lor> That doesn't bode well.
<adrien> overbld might do what you need
iratsu has quit [Ping timeout: 260 seconds]
<thelema_> or godi
<Lor> the godi page doesn't mention 3.12 either.
<adrien> Lor: well, cygwin or not,
<thelema_> there seems to be a way to do it, it's not quite fully together, for some reason
<Lor> My only real requirements are that I don't have MSVC and I'd like to get maximally stand-alone executables.
<Lor> This seems to imply mingw.
<thelema_> yup
<Lor> Currently I'm trying to get flexlink to work.
<adrien> to work? you're not using the prebuilt binaries?
<thelema_> adrien: no prebuilt binaries for 3.12
<adrien> for flexlink,
<adrien> ,
<adrien> ?
<adrien> gah
<thelema_> oh yeah, flexlink does have pbinaries
<Lor> I'm using the prebuilt binaries for flexlink.
<Lor> It just doesn't work. :)
<adrien> what's the issue?
<adrien> or the symptoms?
<Lor> flexlink -chain mingw -exe -o ocamlrun.exe prims.o -lws2_32 libcamlrun.a
<Lor> Access is denied.
<Lor> ** Fatal error: Cannot run gcc -mno-cygwin -print-libgcc-file-name
<Lor> That's directly the output from make.
<adrien> have gcc available? can run it yourself?
<Lor> flexlink tries to run gcc.
<adrien> but is it available? have you tried running gcc yourself?
<Lor> Yes.
<Lor> I can run that line bymyself.
<Lor> The problem is that flexlink is trying to run gcc to get the libgcc filename, and _that_ fails.
<adrien> can you run it with -print-libgcc-file-name or not?
<Lor> Yes.
<Lor> It only fails when flexlink tries to run it.
<Lor> I have no idea how it fails.
<Lor> strace doesn't output anything
* thelema_ chuckles at seeing a Tai Chi (the Yin-Yang symbol) with a Lambda on one side and a `:=` on the other.
<adrien> you can try something like ProcessMonitor to see how it fails
<adrien> thelema_: ;-)
<ygrek> flexlink's code for launching stuff is really twisted
<adrien> also, has anyone here used type-conv to make a new syntax extension/library?
* adrien would like to automate some things with lablgtk
<adrien> and bedtime, good night
<Lor> Ah, overbld is already at 3.13.
<Lor> I'm not sure if that's what I want. Last I checked, there were some things in 3.12.1 that weren't yet merged to 3.13.
<Lor> Anyway, it has all the libs I need, I'd better try it.
<thelema_> I take that back...
<thelema_> you're right
<ygrek> ocamlcore's hgweb is buggy
<thelema_> so I see
gds_ has joined #ocaml
alexyk has joined #ocaml
fraggle_ has quit [Quit: -ENOBRAIN]
fraggle_ has joined #ocaml
gds_ has left #ocaml []
<Lor> So for overbld you need the mainline mingw, not the cygwin port?
gds_ has joined #ocaml
<gds_> Lor: for overbld you need mingw, without any cygwin files.
<Lor> Gah.
<Lor> I first tried to follow the README.win32 instructions in the upstream ocaml tree.
<Lor> which specifically forbid using standalone mingw
<gds_> what exactly do you need as the result?
<Lor> I just want ocaml 3.12.1 and some libraries.
<Lor> prebuilt binaries would be fine
<Lor> sheeeesh, there's a mingw32-ocaml package for debian
<Lor> that would be insanely convenient if it really works
<Lor> ...except that it's 3.11. duh
<Lor> But there's a mingw cross-compiler available. I'd better try that out first.
<ygrek> Lor, there are automated mingw builds of ocaml trunk and 3.12 branch
<ygrek> I guess ocaml readme is outdated cause looks like mingw people had fixed that issue
<gds_> Lor: cross-compiler is better, if it works. fresh ocaml/mingw binaries are the task for me, will do in a week or two. as for now, I recommend you to install 3.11 binaries (torrent files at http://sourceforge.net/projects/overbld/files/ ), pull+update from repo, upgrade tcl/tk, maybe mercurial too, add some libraries (libpthread, libpq) and compile it.
<Lor> No, I _need_ 3.12.1.
<Lor> I have some code that uses features introduced there.
<Lor> ygrek, where are these autobuilds?
<gds_> overbld with 3.11 is just for binary environment -- mingw, msys, C libraries. pull+update from repo will give you 3.12 or 3.13.
<Lor> The overbld binary includes mingw and msys?
<Lor> ygrek, wow! thanks.
<gds_> Lor: yes, with tools and C libraries
<Lor> (I may still end up building overbld, though, since I need a number of libraries and presumably overbld can build them all with minimal hassle)
<ygrek> choose your poison :)
<Lor> Before I asked on this channel, my problem was that I had zero solutions. Now my problem is that I have two. I much prefer this problem. :)
jamii has quit [Ping timeout: 264 seconds]
<Lor> Thanks, everyone!
<gds_> if you prefer public discussion, I'll be here in 10 hours from now, otherwise email to gdsfh1 at gmail
<Lor> Well, it's 1 am here, if I have any questions, 10 hours from now is just fine. :)
gds_ has left #ocaml []
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
ygrek has quit [Ping timeout: 250 seconds]
anton1 has joined #ocaml
iratsu has joined #ocaml
eb4890 has quit [Ping timeout: 255 seconds]
jamii has joined #ocaml
ztfw has quit [Remote host closed the connection]
dnolen has joined #ocaml
<Lor> ho hum, mingw is broken
avsm1 has quit [Quit: Leaving.]
wm5 has quit [Ping timeout: 252 seconds]
NaCl is now known as SpanishInquisitr
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ is now known as ulfdoz