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
<
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>
(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>
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
<
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>
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
<
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 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]