<awilcox>
I both googled and bing'ed around for ocamlrun "snow leopard" and I was met with 0 results.
<awilcox>
Is Snow Leopard unsupported by O'Caml? Or is there a patch?
<thelema>
sounds like the bootstrap binaries fail on snow leopard.
<thelema>
I expect it'll be supported soon, and reporting these experiences will help
ViciousPlant has joined #ocaml
verte has quit ["~~~ Crash in JIT!"]
verte has joined #ocaml
<hcarty>
awilcox: There have been a number of posts on the mailing list from users attempting to build OCaml on Snow Leopard. A few folks have reported success.
<awilcox>
=/
<awilcox>
I guess I'll just use my FreeBSD box for now
<awilcox>
hcarty: I'm using 3.10.2 with a specific patchset for the project I'm working on
<hcarty>
awilcox: Ah. The success stories I've seen have all been with 3.11.x
<hcarty>
And they may all be 64bit as well, though I'm not certain of that.
* Yoric[DT]
has reached 66 slides + animations.
* Yoric[DT]
will take a break before leaving the world of threads and entering that of Camlp4.
thrasibule has quit [Read error: 145 (Connection timed out)]
<hcarty>
Yoric[DT]: Quite the heroic effort.
<Yoric[DT]>
Thanks.
<hcarty>
Yoric[DT]: I'm off - good luck with the talk. I hope everything goes smoothly for you.
<Yoric[DT]>
Thanks
ViciousPlant has quit []
jeddhaberstro has quit [Client Quit]
* Yoric[DT]
starts to be really tired.
Alpounet has quit [Remote closed the connection]
maskd has quit [kubrick.freenode.net irc.freenode.net]
ched__ has quit [kubrick.freenode.net irc.freenode.net]
awilcox has quit [kubrick.freenode.net irc.freenode.net]
tiz has quit [kubrick.freenode.net irc.freenode.net]
ertai has quit [kubrick.freenode.net irc.freenode.net]
mfp has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
onigiri has quit [kubrick.freenode.net irc.freenode.net]
authentic has quit [kubrick.freenode.net irc.freenode.net]
mdmkolbe has quit [kubrick.freenode.net irc.freenode.net]
leadnose has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
jdavis has quit [kubrick.freenode.net irc.freenode.net]
maxote has quit [kubrick.freenode.net irc.freenode.net]
erickt has quit [kubrick.freenode.net irc.freenode.net]
fremo has quit [kubrick.freenode.net irc.freenode.net]
prigaux has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
orbitz has quit [kubrick.freenode.net irc.freenode.net]
verte has quit [kubrick.freenode.net irc.freenode.net]
tmaeda has quit [kubrick.freenode.net irc.freenode.net]
mellum has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
TaXules has quit [kubrick.freenode.net irc.freenode.net]
rbancrof1 has quit [kubrick.freenode.net irc.freenode.net]
xevz has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
nimred has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
M| has quit [kubrick.freenode.net irc.freenode.net]
Camarade_Tux has quit [kubrick.freenode.net irc.freenode.net]
lanaer has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
sgnb has quit [kubrick.freenode.net irc.freenode.net]
Pepe_ has quit [kubrick.freenode.net irc.freenode.net]
noj has quit [kubrick.freenode.net irc.freenode.net]
ozzloy has quit [kubrick.freenode.net irc.freenode.net]
patronus has quit [kubrick.freenode.net irc.freenode.net]
Ori_B has quit [kubrick.freenode.net irc.freenode.net]
jimmyb2187 has quit [kubrick.freenode.net irc.freenode.net]
deavid has quit [kubrick.freenode.net irc.freenode.net]
gildor has quit [kubrick.freenode.net irc.freenode.net]
jlouis has quit [kubrick.freenode.net irc.freenode.net]
lazard has quit [kubrick.freenode.net irc.freenode.net]
hto_ has quit [kubrick.freenode.net irc.freenode.net]
julm has quit [kubrick.freenode.net irc.freenode.net]
willb has quit [kubrick.freenode.net irc.freenode.net]
kaustuv has quit [kubrick.freenode.net irc.freenode.net]
schme has quit [kubrick.freenode.net irc.freenode.net]
mishok13 has quit [kubrick.freenode.net irc.freenode.net]
lutter has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
haelix_ has quit [kubrick.freenode.net irc.freenode.net]
sbok has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
tarbo2_ has quit [kubrick.freenode.net irc.freenode.net]
r0bby has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
mehdid has quit [kubrick.freenode.net irc.freenode.net]
mal`` has quit [kubrick.freenode.net irc.freenode.net]
tab has quit [kubrick.freenode.net irc.freenode.net]
davidL has quit [kubrick.freenode.net irc.freenode.net]
brendan has quit [kubrick.freenode.net irc.freenode.net]
thelema has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
bacam has quit [kubrick.freenode.net irc.freenode.net]
tomaw has quit [kubrick.freenode.net irc.freenode.net]
Amorphous has quit [kubrick.freenode.net irc.freenode.net]
caligula_ has quit [kubrick.freenode.net irc.freenode.net]
det has quit [kubrick.freenode.net irc.freenode.net]
LeCamarade|Away has quit [kubrick.freenode.net irc.freenode.net]
olegfink has quit [kubrick.freenode.net irc.freenode.net]
Modius_ has quit [kubrick.freenode.net irc.freenode.net]
th1_ has quit [kubrick.freenode.net irc.freenode.net]
gim has quit [kubrick.freenode.net irc.freenode.net]
munga has quit [kubrick.freenode.net irc.freenode.net]
verte has joined #ocaml
Amorphous has joined #ocaml
caligula_ has joined #ocaml
olegfink has joined #ocaml
det has joined #ocaml
tmaeda has joined #ocaml
LeCamarade|Away has joined #ocaml
Modius_ has joined #ocaml
th1_ has joined #ocaml
mellum has joined #ocaml
mbishop has joined #ocaml
gim has joined #ocaml
TaXules has joined #ocaml
munga has joined #ocaml
TaXules has quit [kubrick.freenode.net irc.freenode.net]
mellum has quit [kubrick.freenode.net irc.freenode.net]
mbishop has quit [kubrick.freenode.net irc.freenode.net]
tmaeda has quit [kubrick.freenode.net irc.freenode.net]
verte has quit [kubrick.freenode.net irc.freenode.net]
verte has joined #ocaml
tmaeda has joined #ocaml
mellum has joined #ocaml
mbishop has joined #ocaml
TaXules has joined #ocaml
rbancrof1 has joined #ocaml
xevz has joined #ocaml
tsuyoshi has joined #ocaml
nimred has joined #ocaml
awilcox has joined #ocaml
ched__ has joined #ocaml
tiz has joined #ocaml
ertai has joined #ocaml
maskd has joined #ocaml
jonafan_ has joined #ocaml
Jedai has joined #ocaml
jimmyb2187 has joined #ocaml
julm has joined #ocaml
willb has joined #ocaml
deavid has joined #ocaml
kaustuv has joined #ocaml
r0bby has joined #ocaml
Camarade_Tux has joined #ocaml
acatout has joined #ocaml
M| has joined #ocaml
gildor has joined #ocaml
lanaer has joined #ocaml
sgnb has joined #ocaml
Pepe_ has joined #ocaml
schme has joined #ocaml
cmeme has joined #ocaml
mishok13 has joined #ocaml
lutter has joined #ocaml
jlouis has joined #ocaml
Hadaka has joined #ocaml
lazard has joined #ocaml
davidL has joined #ocaml
noj has joined #ocaml
flux has joined #ocaml
ozzloy has joined #ocaml
brendan has joined #ocaml
thelema has joined #ocaml
svenl has joined #ocaml
haelix_ has joined #ocaml
patronus has joined #ocaml
Ori_B has joined #ocaml
hto_ has joined #ocaml
sbok has joined #ocaml
tarbo2_ has joined #ocaml
mattam has joined #ocaml
bacam has joined #ocaml
mehdid has joined #ocaml
mal`` has joined #ocaml
tab has joined #ocaml
tomaw has joined #ocaml
mfp has joined #ocaml
Yoric[DT] has joined #ocaml
onigiri has joined #ocaml
authentic has joined #ocaml
leadnose has joined #ocaml
mdmkolbe has joined #ocaml
orbitz has joined #ocaml
maxote has joined #ocaml
erickt has joined #ocaml
fremo has joined #ocaml
jdavis has joined #ocaml
hcarty has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
thelema_ has joined #ocaml
thelema has quit [Read error: 104 (Connection reset by peer)]
ski_ has joined #ocaml
jonafan has quit [Connection timed out]
authentic has quit [SendQ exceeded]
bluestorm has joined #ocaml
rbancrof1 has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
nimred has quit [kubrick.freenode.net irc.freenode.net]
xevz has quit [kubrick.freenode.net irc.freenode.net]
maskd has quit [kubrick.freenode.net irc.freenode.net]
tiz has quit [kubrick.freenode.net irc.freenode.net]
awilcox has quit [kubrick.freenode.net irc.freenode.net]
ertai has quit [kubrick.freenode.net irc.freenode.net]
ched__ has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
jdavis has quit [kubrick.freenode.net irc.freenode.net]
mdmkolbe has quit [kubrick.freenode.net irc.freenode.net]
maxote has quit [kubrick.freenode.net irc.freenode.net]
erickt has quit [kubrick.freenode.net irc.freenode.net]
fremo has quit [kubrick.freenode.net irc.freenode.net]
prigaux has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
leadnose has quit [kubrick.freenode.net irc.freenode.net]
onigiri has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
orbitz has quit [kubrick.freenode.net irc.freenode.net]
mfp has quit [kubrick.freenode.net irc.freenode.net]
__marius__ has quit [Read error: 104 (Connection reset by peer)]
__marius__ has joined #ocaml
mfp has joined #ocaml
Yoric[DT] has joined #ocaml
onigiri has joined #ocaml
leadnose has joined #ocaml
mdmkolbe has joined #ocaml
orbitz has joined #ocaml
maxote has joined #ocaml
erickt has joined #ocaml
fremo has joined #ocaml
jdavis has joined #ocaml
hcarty has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
awilcox has joined #ocaml
ched__ has joined #ocaml
tiz has joined #ocaml
ertai has joined #ocaml
maskd has joined #ocaml
rbancrof1 has joined #ocaml
xevz has joined #ocaml
tsuyoshi has joined #ocaml
nimred has joined #ocaml
awilcox has quit ["xen"]
rbancrof1 has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
nimred has quit [kubrick.freenode.net irc.freenode.net]
xevz has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
jdavis has quit [kubrick.freenode.net irc.freenode.net]
mdmkolbe has quit [kubrick.freenode.net irc.freenode.net]
maxote has quit [kubrick.freenode.net irc.freenode.net]
erickt has quit [kubrick.freenode.net irc.freenode.net]
fremo has quit [kubrick.freenode.net irc.freenode.net]
prigaux has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
leadnose has quit [kubrick.freenode.net irc.freenode.net]
onigiri has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
orbitz has quit [kubrick.freenode.net irc.freenode.net]
mfp has quit [kubrick.freenode.net irc.freenode.net]
maskd has quit [kubrick.freenode.net irc.freenode.net]
tiz has quit [kubrick.freenode.net irc.freenode.net]
ertai has quit [kubrick.freenode.net irc.freenode.net]
ched__ has quit [kubrick.freenode.net irc.freenode.net]
caligula_ has quit [Read error: 104 (Connection reset by peer)]
f_[x] has joined #ocaml
caligula_ has joined #ocaml
mfp has joined #ocaml
Yoric[DT] has joined #ocaml
onigiri has joined #ocaml
leadnose has joined #ocaml
mdmkolbe has joined #ocaml
orbitz has joined #ocaml
maxote has joined #ocaml
erickt has joined #ocaml
fremo has joined #ocaml
jdavis has joined #ocaml
hcarty has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
ched__ has joined #ocaml
tiz has joined #ocaml
ertai has joined #ocaml
maskd has joined #ocaml
rbancrof1 has joined #ocaml
xevz has joined #ocaml
tsuyoshi has joined #ocaml
nimred has joined #ocaml
maskd has quit [kubrick.freenode.net irc.freenode.net]
tiz has quit [kubrick.freenode.net irc.freenode.net]
ertai has quit [kubrick.freenode.net irc.freenode.net]
ched__ has quit [kubrick.freenode.net irc.freenode.net]
rbancrof1 has quit [kubrick.freenode.net irc.freenode.net]
tsuyoshi has quit [kubrick.freenode.net irc.freenode.net]
nimred has quit [kubrick.freenode.net irc.freenode.net]
xevz has quit [kubrick.freenode.net irc.freenode.net]
hcarty has quit [kubrick.freenode.net irc.freenode.net]
jdavis has quit [kubrick.freenode.net irc.freenode.net]
mdmkolbe has quit [kubrick.freenode.net irc.freenode.net]
caligula_ has quit [kubrick.freenode.net irc.freenode.net]
maxote has quit [kubrick.freenode.net irc.freenode.net]
erickt has quit [kubrick.freenode.net irc.freenode.net]
fremo has quit [kubrick.freenode.net irc.freenode.net]
prigaux has quit [kubrick.freenode.net irc.freenode.net]
aij has quit [kubrick.freenode.net irc.freenode.net]
leadnose has quit [kubrick.freenode.net irc.freenode.net]
onigiri has quit [kubrick.freenode.net irc.freenode.net]
Yoric[DT] has quit [kubrick.freenode.net irc.freenode.net]
orbitz has quit [kubrick.freenode.net irc.freenode.net]
mfp has quit [kubrick.freenode.net irc.freenode.net]
caligula_ has joined #ocaml
mfp has joined #ocaml
Yoric[DT] has joined #ocaml
onigiri has joined #ocaml
leadnose has joined #ocaml
mdmkolbe has joined #ocaml
orbitz has joined #ocaml
maxote has joined #ocaml
erickt has joined #ocaml
fremo has joined #ocaml
jdavis has joined #ocaml
hcarty has joined #ocaml
aij has joined #ocaml
prigaux has joined #ocaml
ched__ has joined #ocaml
tiz has joined #ocaml
ertai has joined #ocaml
maskd has joined #ocaml
rbancrof1 has joined #ocaml
xevz has joined #ocaml
tsuyoshi has joined #ocaml
nimred has joined #ocaml
valross has joined #ocaml
bluestorm has quit [Remote closed the connection]
<Camarade_Tux>
you can have a local mirror for godi, that could be enough to push updates :)
<Camarade_Tux>
(for test purposes)
_zack has joined #ocaml
onigiri has quit []
Yoric[DT] has quit ["Ex-Chat"]
ched__ has quit [Read error: 60 (Operation timed out)]
f_[x] has quit [Read error: 110 (Connection timed out)]
Ched has joined #ocaml
deavid has quit [SendQ exceeded]
deavid has joined #ocaml
tmaeda is now known as tmaedaZ
authentic has joined #ocaml
f_[x] has joined #ocaml
valross has quit [kubrick.freenode.net irc.freenode.net]
Jedai has quit [kubrick.freenode.net irc.freenode.net]
brendan has quit [kubrick.freenode.net irc.freenode.net]
bacam has quit [kubrick.freenode.net irc.freenode.net]
flux has quit [kubrick.freenode.net irc.freenode.net]
tomaw has quit [kubrick.freenode.net irc.freenode.net]
thelema_ has quit [kubrick.freenode.net irc.freenode.net]
jonafan_ has quit [kubrick.freenode.net irc.freenode.net]
Camarade_Tux has quit [kubrick.freenode.net irc.freenode.net]
lanaer has quit [kubrick.freenode.net irc.freenode.net]
ski_ has quit [kubrick.freenode.net irc.freenode.net]
kaustuv has quit [kubrick.freenode.net irc.freenode.net]
haelix_ has quit [kubrick.freenode.net irc.freenode.net]
mattam has quit [kubrick.freenode.net irc.freenode.net]
mishok13 has quit [kubrick.freenode.net irc.freenode.net]
Hadaka has quit [kubrick.freenode.net irc.freenode.net]
lutter has quit [kubrick.freenode.net irc.freenode.net]
sbok has quit [kubrick.freenode.net irc.freenode.net]
willb has quit [kubrick.freenode.net irc.freenode.net]
julm has quit [kubrick.freenode.net irc.freenode.net]
schme has quit [kubrick.freenode.net irc.freenode.net]
tarbo2_ has quit [kubrick.freenode.net irc.freenode.net]
mehdid has quit [kubrick.freenode.net irc.freenode.net]
mal`` has quit [kubrick.freenode.net irc.freenode.net]
tab has quit [kubrick.freenode.net irc.freenode.net]
cmeme has quit [kubrick.freenode.net irc.freenode.net]
svenl has quit [kubrick.freenode.net irc.freenode.net]
davidL has quit [kubrick.freenode.net irc.freenode.net]
r0bby has quit [kubrick.freenode.net irc.freenode.net]
acatout has quit [kubrick.freenode.net irc.freenode.net]
M| has quit [kubrick.freenode.net irc.freenode.net]
Ched has quit [kubrick.freenode.net irc.freenode.net]
lazard has quit [kubrick.freenode.net irc.freenode.net]
gildor has quit [kubrick.freenode.net irc.freenode.net]
hto_ has quit [kubrick.freenode.net irc.freenode.net]
jimmyb2187 has quit [kubrick.freenode.net irc.freenode.net]
jlouis has quit [kubrick.freenode.net irc.freenode.net]
authentic has quit [kubrick.freenode.net irc.freenode.net]
noj has quit [kubrick.freenode.net irc.freenode.net]
sgnb has quit [kubrick.freenode.net irc.freenode.net]
Ori_B has quit [kubrick.freenode.net irc.freenode.net]
patronus has quit [kubrick.freenode.net irc.freenode.net]
ozzloy has quit [kubrick.freenode.net irc.freenode.net]
Pepe_ has quit [kubrick.freenode.net irc.freenode.net]
brendan has joined #ocaml
authentic has joined #ocaml
sgnb has joined #ocaml
Pepe_ has joined #ocaml
noj has joined #ocaml
ozzloy has joined #ocaml
patronus has joined #ocaml
Ori_B has joined #ocaml
flux has joined #ocaml
bacam has joined #ocaml
tomaw has joined #ocaml
valross has joined #ocaml
Jedai has joined #ocaml
thelema_ has joined #ocaml
jonafan_ has joined #ocaml
Camarade_Tux has joined #ocaml
lanaer has joined #ocaml
M| has joined #ocaml
acatout has joined #ocaml
ski_ has joined #ocaml
julm has joined #ocaml
willb has joined #ocaml
kaustuv has joined #ocaml
schme has joined #ocaml
mishok13 has joined #ocaml
lutter has joined #ocaml
Hadaka has joined #ocaml
haelix_ has joined #ocaml
mattam has joined #ocaml
tarbo2_ has joined #ocaml
sbok has joined #ocaml
r0bby has joined #ocaml
cmeme has joined #ocaml
davidL has joined #ocaml
svenl has joined #ocaml
tab has joined #ocaml
mal`` has joined #ocaml
mehdid has joined #ocaml
Ched has joined #ocaml
jimmyb2187 has joined #ocaml
gildor has joined #ocaml
jlouis has joined #ocaml
lazard has joined #ocaml
hto_ has joined #ocaml
r0bby has quit [SendQ exceeded]
r0bby has joined #ocaml
Snark has joined #ocaml
th5 has joined #ocaml
f_[x] has quit [Read error: 110 (Connection timed out)]
valross has quit ["Ex-Chat"]
julm_ has joined #ocaml
mdmkolbe has left #ocaml []
julm has quit [Read error: 60 (Operation timed out)]
julm_ is now known as julm
Yoric[DT] has joined #ocaml
willb has quit [Read error: 60 (Operation timed out)]
<thelema_>
Yoric[DT]: you're done?
<Yoric[DT]>
Yep.
<thelema_>
and you're still moving? I'm impressed.
thelema_ is now known as thelema
<Yoric[DT]>
I'm attempting to understand a tutorial on pattern-calculus.
<thelema>
good luck. I start classes today - after only a 8.5 year gap.
leadnose has quit [Remote closed the connection]
<thelema>
but first, I need to survey caml-list on why they don't use batteries.
<Yoric[DT]>
Good luck to you, too.
<kaustuv>
Yoric[DT]: anything interesting happen at ICFP this year?
kaustuv has quit [Remote closed the connection]
kaustuv has joined #ocaml
<Yoric[DT]>
Plenty of interesting people.
<Yoric[DT]>
I'll need to reread the proceedings to tell you more about it :)
<kaustuv>
gah, my irc connection conked out right after I asked that question
<kaustuv>
so I missed all of your replies except the last two
<Yoric[DT]>
There were only two :)
<kaustuv>
ah, never mind then
<Yoric[DT]>
I can't tell you much more atm.
<Yoric[DT]>
I've just spent a sleepless night just before giving a half-day tutorial.
<kaustuv>
well don't let me get between you and your bed in that case
<Yoric[DT]>
Nah, I'm at a tutorial.
<Yoric[DT]>
Just concentrating is difficult.
f_[x] has joined #ocaml
<kaustuv>
thelema: re your caml-list post, in my case it's (4), (5) and (7). I have to distribute a piece of code that is only allowed to depend on vanilla ocaml binaries, so no ocamlfind. Hence, no batteries.
<kaustuv>
Possibly (8) I am not sure I buy the enum-ization of everything as good design
thrasibule has joined #ocaml
authentic has quit [Remote closed the connection]
bombshelter13_ has joined #ocaml
<Camarade_Tux>
thelema: also, batteries is quite big and it takes time to get used to it, that slows adoption down
<Camarade_Tux>
the only way to get used it to is to _force_ yourself to use batteries and nothing else, like for everything
<flux>
thelema, my reasons: 8a) it's not apt-gettable in ubuntu 8.04 and I'm lazy 8b) I have concerns (possibly unbased) that integrating it into existing projects would be difficult, possibly due to 4 (the build system at work for our system is not apt nor godi..)
<flux>
maybe I'll bite the bullet at some point and try how difficult it is to install to ubuntu 8.04 outside the packaging system
<flux>
maybe I'll do it right now; after all, it should be just make; make install?-)
<flux>
I've got oen improvement suggestion right here: spit out the required libraries in one list when a configure step fails..
<flux>
bin-prot 1.2.18 fails to compile on 3.10.2: File "nat0.mli", line 27, characters 4-20: This fixed type is not an object or variant
<flux>
apparently my compiler doesn't support the private-keyword. well, my experiment is done at this point :)
<Camarade_Tux>
it's one of the difficult things as long as you don't have a "stable" release: there is always some configuration that fails
<flux>
and the bigger your release and the larger number of dependencies you have, the more likely it'll fail..
<flux>
only the next devel version of ubuntu has ocamlc 3.11
<flux>
so I guess it's till.. april?-(
<flux>
bin-prot is actually already on the next release, so no
<flux>
1.0.5, though. could be obsolete, for all I know..
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
<flux>
well, none of the 1.2-series releases change nat0.mli, so I guess it's 1.0 (or is there 1.1?)
<flux>
but I don't which version batteries requires, the README doesn't say
<flux>
woohoo, batteries is building
<Yoric[DT]>
Indeed, we don't know.
<flux>
until: File "src/core/extlib/extLexing.ml", line 23, characters 0-6: Failure: "Pa_type_conv: path not set" Preprocessing error on file src/core/extlib/extLexing.ml Command exited with code 2.
<Yoric[DT]>
Arf, you have an old version of type-conv.
<thelema>
Yoric[DT]: can we check the version in configure?
<Yoric[DT]>
I submitted a patch some time ago (patch which was accepted) to change that behavior.
<Yoric[DT]>
thelema: good idea.
<Yoric[DT]>
I have no idea how.
<flux>
ocamlfind query -insert-magic-here?
<Yoric[DT]>
Yeah, I'll try and look at that.
<thelema>
probably grepping the ocamlfind query response for a position
<thelema>
but maybe there's already a macro for that
<flux>
actually I think ocamlfind query in itself is able to answer that question, but I'm not sure
<Yoric[DT]>
(actually, I forgot to update the version)
<hcarty>
kaustuv: For what it's worth, (7) can be avoided (camlp4 is not required when using Batteries). (8), the enum-ization can be avoided as well. The availability is (almost?) pervasive, but I don't think enum use is ever required.
<hcarty>
(4) is harder to get around, and possibly (5) as well. (5) in the case of an absent findlib would hopefully be minimized by Yoric[DT]'s suggested restructuring.
<thelema>
kaustuv, Camarade_Tux, flux: thank you for the feedback
<flux>
well, installed the latest type-conv+latest sexplib. now already three packages outside my distribution :/, but then again, I'm not up-to-date with it.
<flux>
hope it compiles this time
<flux>
The implementation src/core/extlib/extLexing.ml does not match the interface src/core/extlib/extLexing.cmi:
<hcarty>
flux: That's a very good point (no packages for non-current distributions). Semi-official backports would probably be helpful. Likely time consuming as well, though, as OCaml itself would probably have to be backported.
<flux>
The field `new_line' is required but not provided Command exited with code 2.
<thelema>
flux: make clean
<flux>
did that before compiling
<thelema>
maybe ./configure too
<flux>
indeed, that as well. make clean; ./configure && make
<flux>
maybe I'll just re-extract
<thelema>
odd.
<thelema>
Thanks for trying it.
<flux>
did ocamlbuild btw do concurrent compilation?
<flux>
I redid ./configure&&make with a clean extracted source archive, same error
<thelema>
I doubt our makefile detects multiple processors and enables those options
<flux>
something like make -j2 that is
<kaustuv>
flux: ocamlbuild can do -j2
<thelema>
oh, I bet it's a problem with our macros for dealing with versions of ocaml.
<flux>
ah, it supports that
<flux>
my search for 'paral' or 'concur' just failed me
<flux>
:)
willb has joined #ocaml
<flux>
thelema, are those files generated? or its dependant files? because it doesn't look like there are any macros there.
<flux>
maybe it's the lack of the macros?
<thelema>
flux: we have that macroed out - that function is only in ocaml 3.11 and newer
<thelema>
are you somehow running without our compilation macros?
<thelema>
or is your version of ocaml misrepresenting?
<flux>
I have distribution-installed ocaml 3.10.2
<flux>
config.log says OCAMLVERSION='3.10.2'
<thelema>
curious. the new_line sig is protected by [#if ocaml_version >= (3, 11)
<flux>
where is the protection?
<thelema>
so your compile shouldn't be seeing it.
<thelema>
extlexing.mli L144
<thelema>
the compile macro that enforces #if is ... I forget
<flux>
no protectino here. I'm running beta1
<thelema>
okay, just delete the "val new_line ..." line
<thelema>
or use git.
<thelema>
I've got to get to class. back after lunch.
<flux>
File "/tmp/camlpp4db8a7", line 31, characters 0-24: Multiple definition of the type name sexp_opaque. Names must be unique in a given structure or signature. Command exited with code 2. while processing src/libs/sexplib/extSexp_Conv.ml
<flux>
happy studying (teaching?)
<thelema>
for the next few years, studying.
jonafan_ is now known as jonafan
ski_ has quit ["Lost terminal"]
<hcarty>
thelema: Given the feedback from your list post so far, perhaps a Batteries-centric OCaml tutorial would be a good thing to put together?
<hcarty>
Something that new users, at least ones using GODI, Debian-recent, Ubuntu-recent and Fedora-recent, can get their feet wet with.
<hcarty>
Yoric[DT]: Are any of your recent (current?) talks suitable material for this?
<Yoric[DT]>
Mmmmmhhh....
<Yoric[DT]>
Probably not.
<Yoric[DT]>
Extracts could.
<hcarty>
Yoric[DT]: Ok, that's good to know. I can't start on it yet, but I would be happy to help with a tutorial-writing effort.
<Yoric[DT]>
Ok, thanks.
ski_ has joined #ocaml
thrasibule has quit [Read error: 110 (Connection timed out)]
<kaustuv>
hah, Dario Teixeira likens ExtLib to minitel
<kaustuv>
When I came to France I expected to see a few minitel boxes, but so far no luck
<hcarty>
If there is anyone here now who wasn't around for the discussion yesterday - any interest in a OCaml library install/GODI-packaging sprint next week?
<hcarty>
Likely Wednesday all day.
<Yoric[DT]>
All day: no way.
<Yoric[DT]>
During the evening: can try.
<hcarty>
Yoric[DT]: :-) Presence by individuals does not have to be all day
<Yoric[DT]>
:)
<Yoric[DT]>
Does anyone know how to compare two version strings from autoconf?
<hcarty>
But the plan is to have someone around to help/collaborate all day.
<Yoric[DT]>
i.e. I wish to make sure that 0.7.1 >= 0.7
<Camarade_Tux>
Available version: 0.200900405godi2 (from source)
<Yoric[DT]>
again?
Anarchos has joined #ocaml
<hcarty>
Yoric[DT]: I haven't heard anything from Gerd
<hcarty>
I may have to just disable godi.0ok.org for now
komar_ has joined #ocaml
<Yoric[DT]>
:/
<hcarty>
I'm guessing this is all down to some error/problem in the version comparisons.
<hcarty>
So that 00405 > 09xx
<Camarade_Tux>
I've seen programs complain about autotools versions too: x.6 > x.12 :)
<Camarade_Tux>
hcarty: is it possible to sort the mirrors differently?
<hcarty>
Camarade_Tux: Please try again
<hcarty>
Camarade_Tux: godi.0ok.org was moved to a different server (it's a shared host) and I think the SSH key was changed in the process.
<hcarty>
My guess is that Gerd's update scripts rely on that not happening.
<hcarty>
(with good reason, I suppose)
<Camarade_Tux>
doesn't seem it got any new update
<hcarty>
godi.0ok.org now silently redirects to the main GODI mirror though.
<hcarty>
Hmm.
<hcarty>
It may take some time for the update to pass through?
<hcarty>
Oh - remove your local batteries files
<hcarty>
This may be a bigger issue than just an out-of-sync mirror.
<Camarade_Tux>
which file to rm? I'm always a bit lost in the files
<hcarty>
If anyone has the beta1 package sitting around in their godi/ package directory, it won't grab the actually-newer-but-looks-older files.
<hcarty>
Camarade_Tux: Any .tar.gz or .tgz with 0.200900405 in the name
<hcarty>
Yoric[DT]: Yes - GODI reads the old package as having a newer/higher version than the new package.
<hcarty>
This is rather problematic.
<Camarade_Tux>
still not picked
<Camarade_Tux>
but once I thought about making a library to compare versions and the conclusion was that it is easier to have people all adopt the x.y.z scheme
<hcarty>
Camarade_Tux: Have you removed/uninstall Batteries?
<Camarade_Tux>
hcarty: argh, no
<Camarade_Tux>
stupid me
<hcarty>
I don't think GODI will pick up the new one without that
<hcarty>
Camarade_Tux: You shouldn't have to do that, but since the version comparison is getting in the way it's needed.
<Camarade_Tux>
I fscked it up :D
<flux>
thelema, I managed to compile batteries on 3.10.2.. I needed to replace 3, 11 with 3, 10 in src/libs/sexplib/extSexp_Conv.ml{,i}
<flux>
sounds like the version comparison on _ocaml version_ doesn't make sense, it looks like the version of sexplib is the matter here?
<Camarade_Tux>
^^
<flux>
oh, and back to compiling, apparently I want to compile the native code also..
<flux>
..and top, and syntax..
<thelema>
flux: I'll look into that. I'm surprised we haven't had a problem with that before.
<Camarade_Tux>
ok, new batteries properly picked up :)
<flux>
thelema, maybe people have had the expected vrsions installed
<flux>
well, ocamlfind batteries/ocaml gives me the batteries, and then back to prompt
<thelema>
that's good for the toplevel
<flux>
back to shell prompt, it exits from the toplevel immediately?
<thelema>
oh, no.
<thelema>
I read "back to the prompt" as having the ocaml prompt
<flux>
figured it was misunderstood :)
<thelema>
there's a top.ml that controls the toplevel - I wonder what its boggle.
komar_ has quit ["WeeChat 0.2.6.3-ohshi"]
<flux>
tried if my .ocamlinit interacts with this - but removing it made no difference
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
<thelema>
off to class #2 - back later tonight.
<Camarade_Tux>
:)
svenl has joined #ocaml
<Anarchos>
i began a full accurate simulator for sparc v9 processor in ocaml today :)
<flux>
well, if I ignore the rest of the top.ml after #camlp4o, I get I/O error: Bad file descriptor repeatedly, so I imagine it is likely an ocaml bug
<flux>
anarchos, good luck, I imagine it shall not be trivial
<Camarade_Tux>
but why is ocamldoc so slow, hmmmm
<flux>
hmph, apparently document generation won't work for me. looks like some version incompatibility again, Type_variant expects 2 argments, ..
<flux>
oh well, there's always the online doc
komar_ has joined #ocaml
<flux>
(although they are painfully slow through my mobile link)
_zack has joined #ocaml
<flux>
hm, this is sort of inconvenient. I have module IO although I did not open Batteries. and it is apparently incompatible with Batteries.Standard.stdin.
<hcarty>
flux: There are LOTS of camlp4+toplevel bugs in OCaml 3.10.x
<hcarty>
camlp4 bugs are a large part of why (from what I understand) Batteries is aimed mostly at 3.11.x
<flux>
well, I don't mind
<flux>
I'm hoping the non-camlp4 features of batteries turn out to be more interesting
<flux>
and I'll eventually upgrade :)
komar__ has joined #ocaml
<Camarade_Tux>
installed properly
<Camarade_Tux>
(batteries)
komar_ has quit [Read error: 104 (Connection reset by peer)]
<Anarchos>
flux with the sparc manual it is not so difficult indeed