maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
yauz_ has joined #ocaml
hoisie has joined #ocaml
yauz has quit [Read error: 113 (No route to host)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
kinners has joined #ocaml
Hadaka has quit [Ping timeout: 14400 seconds]
Naked is now known as Hadaka
cjohnson has quit [Success]
cjohnson has joined #ocaml
mrsolo has joined #ocaml
Smerdyakov has quit ["Client exiting"]
GreyLensman has joined #ocaml
CosmicRay has joined #ocaml
CosmicRay has quit ["Leaving"]
cjohnson has quit [Read error: 104 (Connection reset by peer)]
Reasarx has quit [Read error: 54 (Connection reset by peer)]
kinners has quit [Read error: 110 (Connection timed out)]
Naked has joined #ocaml
Hadaka has quit [Read error: 110 (Connection timed out)]
Naked is now known as Hadaka
bk_ has joined #ocaml
vezenchio has quit ["Join the fight against drunken calculus: Don't drink and derive!"]
<Axioplase>
++
Axioplase has quit [Read error: 104 (Connection reset by peer)]
Herrchen_ has joined #ocaml
Smerdyakov has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
mrsolo_ has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
GreyLensman has quit ["Leaving"]
<mrsolo_>
is there a log4j port for ocaml?
<mrsolo_>
or something similiar to it..
<Riastradh>
log4j?
<mrsolo_>
pretty flexible logging system
yauz_ is now known as yauz
<debona|r>
hm
<debona|r>
wonder why no one has made a port for ledit
<debona|r>
how do I compile somethign statically?
debona|r has left #ocaml []
monotonom has quit ["Don't talk to those who talk to themselves."]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
sundeep has quit ["Client exiting"]
sundeep has joined #ocaml
dan|el has quit [Read error: 60 (Operation timed out)]
sundeep has quit ["Client exiting"]
karryall has joined #ocaml
smimou has joined #ocaml
Iter has joined #ocaml
Tarka has joined #ocaml
Herrchen_ is now known as Herrchen
sundeep has joined #ocaml
bk_ has joined #ocaml
Iter has quit ["Leaving"]
pp has joined #ocaml
<pp>
Chat Lu!
pp is now known as Axioplase
zem has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
<zem>
anyone awake?
<Lemmih>
yeah
<karryall>
sure
* zem
is trying to get cameleon installed under windows
<zem>
the configure script is breaking all over the place - is it *nix only?
<zem>
(running it using mingw/msys)
<gim>
mattam: hi, coq 8.0 release is available! have you already began a new ebuild ? (some friend said to me that he will adapt the ebuild if that hasn't been done yet)
<mattam>
i think i have one but may have forgotten to commit it :)
<mattam>
i'm certain i have one in fact, as i use it
<gim>
ah, it will be on the repository soon ?
<mattam>
in the next 30 minutes
<gim>
yeah cool :)
zem has left #ocaml []
kosmikus is now known as kosmikus|away
zem has joined #ocaml
<zem>
sorry, another newbie question: does graphics.cmo no longer ship with the distribution? i have a graphics.cmi file but i have no idea what to do with it
rox has quit [Remote closed the connection]
vezenchio has joined #ocaml
<karryall>
zem: you should have a graphics.cma
<karryall>
.cmi is the compiled interface
<karryall>
.cma is the library
<zem>
ah - thanks
* zem
just d/led the distribution - i'm a very new newbie
<zem>
is .cma bytecode too?
karryall has quit [orwell.freenode.net irc.freenode.net]
karryall has joined #ocaml
zem has quit [orwell.freenode.net irc.freenode.net]
hoisie has quit [orwell.freenode.net irc.freenode.net]
badonawy has quit [orwell.freenode.net irc.freenode.net]
cmeme has quit [orwell.freenode.net irc.freenode.net]
zem has joined #ocaml
hoisie has joined #ocaml
badonawy has joined #ocaml
cmeme has joined #ocaml
dan|el has joined #ocaml
<dan|el>
how do I compile something statically?
<karryall>
static/dynamic usually refers to linking, not compiling
<dan|el>
sorry, how do I link something statically?
<dan|el>
(I knew that, just wasn't thinking)
<karryall>
ocaml only does static linking, so there's nothing to do
<dan|el>
err...
<dan|el>
$ ocamlopt -o simple simpletest.ml
<dan|el>
$ file simple
<dan|el>
simple: ELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), for GNU/Linux 2.2.0, dynamically linked (uses shared libs), not stripped
<karryall>
yes, the runtime is dynamically linked to the glibc, but that's all
<dan|el>
it's liked to more than that
<dan|el>
also uses the dynamic loader lib
<dan|el>
so there's no way to completely statically link?
zem has quit ["My other car is a cdr"]
<karryall>
the glibc itself won't let you do it sometimes if you use certains modules (like nss)
maihem has joined #ocaml
<Banana>
you can pass -ccopt "-static"
<dan|el>
thanks
<Banana>
but it will issue a warning.
<dan|el>
noticed that :)
<dan|el>
course, since I don't use dlopen, that's not really aproblem. Any idea why it get's linked with the dl libs?
<karryall>
no, ocamlopt programs are not supposed to do any kind of dlopening AFAIK
<Banana>
well i wouldn't say that...
<Banana>
touch foo.ml
<Banana>
ocamlopt -ccopt "-static" foo.m
<Banana>
ml.
<Banana>
there is a warning.
<Banana>
about a caml_dlopen which calls dlopen.
<karryall>
yes, that's what I'm saying: the asm runtime has caml_dlopen
<karryall>
but it will never be used
<Banana>
ok.
<karryall>
it's only here because this file is shared beetween the bytecode and the native runtimes
<Banana>
hum... ok.
<Banana>
that makes sense now.
<karryall>
they could compile it out with an appropriate #ifdef
<karryall>
I'll file a bug report
<karryall>
not sure they will care about saving a couple of bytes and avoiding a linker warning :)
<Banana>
now that there will be shorter release cycle...
<karryall>
hmm
<karryall>
bon, cassos, A+
karryall has quit ["tcho"]
<Banana>
++
CosmicRay has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
dan|el has quit [orwell.freenode.net irc.freenode.net]
sundeep has quit [orwell.freenode.net irc.freenode.net]
Hadaka has quit [orwell.freenode.net irc.freenode.net]
greenrd has quit [orwell.freenode.net irc.freenode.net]
dan|el has joined #ocaml
sundeep has joined #ocaml
Hadaka has joined #ocaml
greenrd has joined #ocaml
pac_ has joined #ocaml
<pac_>
plop
<dan|el>
plupp
<pac_>
hi dan|el
<dan|el>
hullo :)
<dan|el>
what are you coding btw?
<pac_>
dan|el: nothing in OCAML at this moment, working in a computer graphics lab with C++
<pac_>
dan|el: and you ?
karryall has joined #ocaml
debona|r has joined #ocaml
<Axioplase>
watching a game, having a bud.
<pac_>
looooooool
<pac_>
soccer ?
<pac_>
who's winning ?
<Axioplase>
haven t you ever seen those budwiser announcements?
<Axioplase>
(i can t stand soccer...)
<pac_>
may be you was really watching the semi final
<Axioplase>
no.
<Axioplase>
but in a few hours, there'll be some wrestling on TV. i love watching that. (and i love K1 too)
Snark has joined #ocaml
ne1 has joined #ocaml
<pac_>
any cool uml modeling software which supports OCAML code generation ?
FredCods has quit [Read error: 104 (Connection reset by peer)]
FredCods has joined #ocaml
FredCods has quit [Client Quit]
cods has joined #ocaml
<dan|el>
pac_: same here, nothing in ocaml. working at work on a proprietary language to model circuits....
<dan|el>
pac_: althouhg I was thinking of writing an email client in ocaml as an excersise
<dan|el>
since I don't know the language, having a project is always a good way to start :)
<pac_>
dan|el: yep I do the same but it is a minesweeper :)
Snark has quit ["Parti"]
<dan|el>
I never know how to start on stuff like games
<pac_>
ehehe You just code it :)
<dan|el>
blah :P
mattam_ has joined #ocaml
<pac_>
dan|el: I finished the core some days ago now I will have a look at the GTK2 binding
mattam has quit [Read error: 110 (Connection timed out)]
mattam_ is now known as mattam
<pac_>
mattam: la forme ?
<mattam>
yes
<pac_>
ehhehee
dan|el_ has joined #ocaml
dan|el has quit [Nick collision from services.]
dan|el_ is now known as dan|el
<pac_>
mattam: bye bye tchequie
<dan|el>
*grumble*
<pac_>
dan|el: ?
<mattam>
he, portugal will win anyway
<ne1>
Yeah they said the same about czech
<pac_>
ehhee
<pac_>
portugal plays @home
<dan|el>
I keep getting disced
<ne1>
They said that at the opening :)
CosmicRay has quit ["Client exiting"]
<pac_>
ne1: what did they say ?
cjohnson has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
vezenchio has quit [Read error: 110 (Connection timed out)]
buggs^z has joined #ocaml
<pac_>
see you guys
<pac_>
it's burger time !!!!!
pac_ has quit ["Client Exiting"]
buggs has quit [Read error: 110 (Connection timed out)]
<vincenz>
Hello
cjohnson has quit [Read error: 110 (Connection timed out)]