gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0+beta1 http://permalink.gmane.org/gmane.comp.lang.caml.inria/49168
jakedouglas has quit [Quit: Leaving.]
ccasin has quit [Quit: Leaving]
sepp2k1 has joined #ocaml
sepp2k has quit [Read error: Operation timed out]
palomer has quit [Ping timeout: 265 seconds]
elehack has joined #ocaml
coopf has quit [Ping timeout: 240 seconds]
Associat0r has quit [Quit: Associat0r]
sepp2k1 has quit [Quit: Leaving.]
patronus has quit [Ping timeout: 258 seconds]
travisbrady has quit [Quit: travisbrady]
patronus has joined #ocaml
struktured has joined #ocaml
valross has joined #ocaml
joewilliams is now known as joewilliams_away
patronus has quit [Remote host closed the connection]
patronus has joined #ocaml
jakedouglas has joined #ocaml
joewilliams_away is now known as joewilliams
jakedouglas has quit [Ping timeout: 246 seconds]
jakedouglas has joined #ocaml
travisbrady has joined #ocaml
joewilliams is now known as joewilliams_away
travisbrady has quit [Quit: travisbrady]
<flux> adrien, <*.(hpp|cpp|etc)> ?
palomer has joined #ocaml
coucou747 has joined #ocaml
Yoric has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
Amorphous has quit [Ping timeout: 248 seconds]
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
Amorphous has joined #ocaml
ttamttam has joined #ocaml
Yoric has quit [Quit: Yoric]
<adrien> flux: it's not in something like a _tags file unfortunately, it's directly in ocamlbuild's sourcecode
_unK has joined #ocaml
<flux> oh
<adrien> but I think I know where to take a look at in the source
eelte has joined #ocaml
coucou747 has quit [Ping timeout: 248 seconds]
jakedouglas has quit [Quit: Leaving.]
eelte has quit [Remote host closed the connection]
ftrvxmtrx has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
ikaros has joined #ocaml
Yoric has joined #ocaml
_unK has quit [Remote host closed the connection]
_unK has joined #ocaml
avsm has joined #ocaml
_unK has quit [Remote host closed the connection]
Associat0r has joined #ocaml
iratsu has quit [Ping timeout: 240 seconds]
Amorphous has quit [*.net *.split]
tsuyoshi has quit [*.net *.split]
shachaf has quit [*.net *.split]
bitbckt has quit [*.net *.split]
drk-sd has quit [*.net *.split]
Tianon has quit [*.net *.split]
animist has quit [*.net *.split]
orbitz has quit [*.net *.split]
noj has quit [*.net *.split]
rudi_s has quit [*.net *.split]
marteo has joined #ocaml
Amorphous has joined #ocaml
tsuyoshi has joined #ocaml
shachaf has joined #ocaml
drk-sd has joined #ocaml
Tianon has joined #ocaml
animist has joined #ocaml
orbitz has joined #ocaml
noj has joined #ocaml
rudi_s has joined #ocaml
bitbckt has joined #ocaml
schmrkc has quit [Ping timeout: 240 seconds]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
waterChip has joined #ocaml
waterChip_ has joined #ocaml
iratsu has joined #ocaml
waterChip has quit [Ping timeout: 264 seconds]
waterChip has joined #ocaml
waterChip_ has quit [Ping timeout: 276 seconds]
waterChip has quit [Ping timeout: 245 seconds]
waterChip has joined #ocaml
waterChip has quit [Ping timeout: 276 seconds]
waterChip has joined #ocaml
verte has joined #ocaml
waterChip_ has joined #ocaml
waterChip has quit [Ping timeout: 246 seconds]
waterChip has joined #ocaml
waterChip_ has quit [Ping timeout: 240 seconds]
waterChip has quit [Ping timeout: 260 seconds]
oriba has joined #ocaml
boscop has joined #ocaml
_unK has joined #ocaml
sepp2k has joined #ocaml
oriba has quit [Quit: Verlassend]
animist has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
animist has joined #ocaml
Tianon has quit [Ping timeout: 260 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
valross has quit [Quit: Ex-Chat]
schmrkc has quit [Ping timeout: 240 seconds]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
kaustuv has joined #ocaml
elehack has quit [Ping timeout: 245 seconds]
mehdid has joined #ocaml
<mehdid> thelema, would you accept the first two patches from http://git.debian.org/?p=pkg-ocaml-maint/packages/ocaml-batteries.git;a=tree;f=debian/patches ?
<mehdid> (I didn't find a clean solution for the third one yet :/)
ccasin has joined #ocaml
verte has quit [Quit: ~~~ Crash in JIT!]
joewilliams_away is now known as joewilliams
_unK has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Remote host closed the connection]
ikaros has quit [Quit: Leave the magic to Houdini]
avsm has joined #ocaml
thieusoai has joined #ocaml
Yoric has quit [Read error: Connection reset by peer]
Yoric has joined #ocaml
jakedouglas has joined #ocaml
avsm has quit [Quit: Leaving.]
ttamttam has quit [Remote host closed the connection]
avsm has joined #ocaml
travisbrady has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
<thelema> mehdid: Both patches applied to batteries git.
<mehdid> thelema, thanks !
chee has quit [Ping timeout: 245 seconds]
<mehdid> thelema, any comments on the third one?
Yoric has quit [Quit: Yoric]
<mehdid> it happens that I cannot build the library and the doc together because ocamlbuild complains :/
chee has joined #ocaml
kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
avsm has quit [Quit: Leaving.]
ulfdoz_ has joined #ocaml
<thelema> ocamlbuild complains when you do[ make all doc]?
<mehdid> yes
<mehdid> ocamlbuild complains because _build/ is not clean
* thelema tries this
ulfdoz has quit [Ping timeout: 258 seconds]
<mehdid> (I do "make all; make doc" fwiw… but it should be the same)
<thelema> no error here
<thelema> what's the sanitize script want deleted?
* mehdid checkouts and compiles
<mehdid> I'm confused
<mehdid> the problem isn't exactly there
<thelema> ok...
<mehdid> ok… I'll investigate further and come back with a patch.
<thelema> great. Thanks for your help making batteries awesome
<hcarty> Is the prefix patch going to cause problems with GODI?
<thelema> I don't know - I'll find out before we release next. I expect not, although I forget how GODI sets the install dir...
<mehdid> hcarty, it shouldn't as it keeps the same default, imo.
<hcarty> mehdid: GODI doesn't use the same default directory
<hcarty> There is one hierarchy for GODI's packages, another for user-installed libraries
<mehdid> is there a godi package for batteries 1.2.2?
<hcarty> Yes
<hcarty> And GODI has a third for the stdlib
<mehdid> the Makefile doesn't offer a choice. So, I fail to see how it should be different from "ocamlc -where"
<thelema> apparently GODI uses PREFIX for install dir as well
<mehdid> s/should/could/
<thelema> I dunno how it informed our build system of that before...
<hcarty> I'm not sure either
<hcarty> It Just Works in my experience...
<hcarty> I don't know the specific mechanism
<mehdid> using an ocamlfind env var, I guess
<hcarty> Likely so
<mehdid> destdir var of ocamlfind
<hcarty> Would it be possible to change the patch to only specify destdir if a PREFIX is given?
travisbrady has quit [Quit: travisbrady]
<mehdid> is it hard to "make PREFIX=… install" in a GODI package?
<thelema> odd, apparently our previous GODI setup was broken, as I don't see how PREFIX would be honored
<hcarty> thelema: I'm fairly certain the GODI build system takes care of that
<hcarty> thelema: Likely with environment variables
<hcarty> The default ocamlfind install location outside of GODI's tools is site-lib/ for a GODI-installed system
<hcarty> pkg-lib/ for packages installed with GODI's tools
<hcarty> None of the packages need to speficify an ocamlfind installation prefix from what I understand.
<hcarty> mehdid: I'm not sure how easy/hard it would be
<hcarty> Would it be hard to specify the environment variable in the Debian build system?
<mehdid> no, it just that relying on env vars is an insane idea :)
<mehdid> they are implicit, you don't see them in the logs before executing the command, …
<hcarty> I can't say that I particularly disagree...
<hcarty> Relying on `ocamlc -where` is bad too though
<thelema> mehdid: is it possible that [ocamlfind install] uses $PREFIX already?
<hcarty> A user may want to install to $HOME/ocamllibs/, specified through a findlib configuration or environment variable
<hcarty> I don't know what the most universally acceptable approach would be, but this patch breaks the GODI and user-configured findlib target cases
<mehdid> thelema, ocamlfind doesn't use $PREFIX
<mehdid> it has OCAMLFIND_DESTDIR
<mehdid> or you can specify destdir in findlib.conf
<mehdid> maybe that's exported somehow in GODI
<mehdid> err, ocamlfind.conf
<mehdid> hcarty, PREFIX there is just a Make variable, not an environement variable
<hcarty> mehdid: Right
<hcarty> thelema: (Unrelated) Under 3.12beta1, BatFloat.(5.0 * 7.0) introduces a performance hit, while BatFloat.(mul 5.0 7.0) does not
<mehdid> iow, $(PREFIX) != $${PREFIX}
<hcarty> thelema: Any thoughts on where that difference may come from?
* mehdid has to leave
mehdid has quit [Quit: Quitte]
<hcarty> thelema: Sorry, performance hit relative to (5.0 *. 7.0)
<thelema> yes, BatFloat.(*) is produced through a functor (BatNumber.MakeNumeric) that renames BatFloat.mul
<thelema> you're seeing functor overhead, I think
marius has joined #ocaml
marius has quit [Remote host closed the connection]
marius| has joined #ocaml
<thelema> anyway, gotta go...
marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
<hcarty> thelema: Ah, thank you
ttamttam has joined #ocaml
__gilles has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
__gilles has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
mehdid has joined #ocaml
npouillard has quit [Read error: Operation timed out]
Asmadeus has quit [Read error: Operation timed out]
Asmadeus has joined #ocaml
npouillard has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
rtty has joined #ocaml
patronus has quit [Remote host closed the connection]
patronus has joined #ocaml
__gilles_ has joined #ocaml
__gilles has quit [Ping timeout: 240 seconds]
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
afreq has joined #ocaml
itewsh has joined #ocaml
Yoric has joined #ocaml
xavierbot has quit [Ping timeout: 258 seconds]
rwmjones has quit [Ping timeout: 245 seconds]
ttamttam has quit [Quit: Leaving.]
_andre has quit [Quit: Lost terminal]
afreq has quit [Remote host closed the connection]
rwmjones has joined #ocaml
ftrvxmtrx has joined #ocaml
rtty has quit [Ping timeout: 258 seconds]
avsm has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
itewsh has quit [Quit: o/]
Yoric has quit [Ping timeout: 276 seconds]
Yoric has joined #ocaml
Yoric has quit [Quit: Yoric]
letrec has joined #ocaml
maskd has quit [Read error: Operation timed out]
maskd has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
letrec has quit [Quit: http://irc2go.com/]
letrec has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
|marius| has joined #ocaml
avsm has quit [Ping timeout: 276 seconds]
marteo has quit [Quit: Debian GNU/Hurd is Good.]
avsm has joined #ocaml
letrec has quit [Ping timeout: 258 seconds]
valross has joined #ocaml
Associat0r has quit [Quit: Associat0r]