<ronnocol_>
What do I need to do to create a static binary out of that now?
<mfurr>
so, since you supplied the '-c', the compiler produced those object files and not an executable
<mfurr>
you can either do ocamlopt -o foo tools/donkeyKey.cmx
<mfurr>
or just drop the -c from the original command and supply a '-o cmdname'
<ronnocol_>
hrm... now I'm missing several implmentations from unix32.cmx
<ronnocol_>
do I just need to add those .cmx's to the cmd line too?
<mfurr>
that will work, but unix32 is probably bundled together into an archive. Is there a .cmxa file lying around anywhere (not necessary called unix32)?
<ronnocol_>
no
<mfurr>
then just add the other cmx files
<ronnocol_>
ok... will do
<ronnocol_>
thanks
<mfurr>
possibly adding their paths with additional -I 's if needed
<mfurr>
np
<ronnocol_>
if there is a .cmxa do i just add that to the cmd line?
<ronnocol_>
for some of the implementations
<mfurr>
So, a .cmxa is a archive of several .cmx's (like .a for .o files). It will probably contain all the ones you need, unless they come from a different library
<ronnocol_>
ah. ok
mfurr has quit ["Client exiting"]
<ronnocol_>
argh he left
<ronnocol_>
now there are two .a files that gcc wants...
kryptt has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
vodka-goo has joined #ocaml
Amorphous has joined #ocaml
kryptt has left #ocaml []
ramkrsna has joined #ocaml
ronnocol_ has quit ["leaving"]
mlh_ has quit [Client Quit]
pango_ has quit [Remote closed the connection]
pango has joined #ocaml
ramkrsna has quit [Read error: 113 (No route to host)]
vodka-goo has quit []
Raziel has quit ["Yo soy goma. Tú eres cola."]
ppsmimou has joined #ocaml
Nutssh has quit ["Client exiting"]
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
Snark_Boojum has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Snark_Boojum is now known as Snark
rossberg has joined #ocaml
Skal has joined #ocaml
tato has joined #ocaml
Raziel has joined #ocaml
ski__ has joined #ocaml
ski has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
collatin has joined #ocaml
_fab has joined #ocaml
collatin has quit ["Leaving"]
Raziel has quit [Remote closed the connection]
Raziel has joined #ocaml
exa has joined #ocaml
ski__ has quit [Read error: 110 (Connection timed out)]
z|away has joined #ocaml
kubano_ has quit [Read error: 110 (Connection timed out)]
<z|away>
In what form are type constants stored internally? (int? any url about this?) In "type x = Z | A" will "Z < A" always be true?
* Smerdyakov
screams.
<Smerdyakov>
Why would you want to use a fact like that?!
<z|away>
Maybe I don't. That's why I ask...
<Smerdyakov>
You would only be able to take advantage of representation knowledge while outside of the type system; for instance, in C code accessed via the FFI.