gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
iratsu has quit [Quit: Leaving.]
othiym23 has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz_ is now known as ulfdoz
avsm has joined #ocaml
dnolen_away has quit [Quit: dnolen_away]
george_z0rwell is now known as Haskelletor
jamii has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
avsm has quit [Quit: Leaving.]
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
_unK has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Client Quit]
drunK has quit [Ping timeout: 240 seconds]
wormphlegm has joined #ocaml
iratsu has joined #ocaml
Cyanure has quit [Remote host closed the connection]
wormphlegm has quit [Quit: leaving]
drunK has joined #ocaml
_unK has quit [Ping timeout: 260 seconds]
sepp2k1 has quit [Quit: Leaving.]
ymasory has joined #ocaml
lamawithonel has joined #ocaml
ymasory has quit [Quit: Leaving]
_unK has joined #ocaml
drunK has quit [Ping timeout: 276 seconds]
_unK has quit [Remote host closed the connection]
lamawithonel has quit [Ping timeout: 255 seconds]
Julien_T has quit [Ping timeout: 276 seconds]
lamawithonel has joined #ocaml
vivanov has joined #ocaml
vivanov has quit [Client Quit]
StepanKuzmin has quit [Remote host closed the connection]
othiym23 has quit [Quit: Linkinus - http://linkinus.com]
Julien_Tz has joined #ocaml
Julien_Tz is now known as Julien_T
jamii has quit [Ping timeout: 240 seconds]
edwin has joined #ocaml
ygrek has joined #ocaml
avsm has joined #ocaml
avsm has quit [Quit: Leaving.]
StepanKuzmin has joined #ocaml
rgrinberg_ has quit [Ping timeout: 250 seconds]
Amorphous has quit [Ping timeout: 250 seconds]
Amorphous has joined #ocaml
Cyanure has joined #ocaml
avsm has joined #ocaml
yziquel has joined #ocaml
lopex has joined #ocaml
lopex has quit []
ikaros has joined #ocaml
yziquel has quit [Quit: Page closed]
yziquel has joined #ocaml
hto has quit [Quit: Lost terminal]
hto has joined #ocaml
blinky- has joined #ocaml
ztfw has joined #ocaml
yziquel has quit [Ping timeout: 252 seconds]
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
mcclurmc_ has quit [Quit: Leaving.]
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
impy has quit [Ping timeout: 240 seconds]
avsm has quit [Quit: Leaving.]
rgrinberg_ has joined #ocaml
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
louis418 has joined #ocaml
avsm has joined #ocaml
louis418 has quit [Client Quit]
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
<hcarty> gildor: Do you have any immediate plans to add packed module support to oasis?
<hcarty> gildor: It looks like Jane St. is using some form of packed module support in their Core library, but if I recall correctly it was based on something they had worked out locally.
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
StepanKuzmin has quit [Remote host closed the connection]
StepanKuzmin has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
yezariaely has joined #ocaml
yezariaely has left #ocaml []
rgrinberg_ has quit [Ping timeout: 252 seconds]
ygrek has joined #ocaml
sepp2k has joined #ocaml
lamawithonel has quit [Ping timeout: 250 seconds]
rgrinberg_ has joined #ocaml
<hcarty> gildor: On another front, does oasis currently provide a method to override the compiler used with C stubs?
<hcarty> gildor: I haven't been able to find a way to pass "-cc foo" to the compiler, through an _oasis file, when compiling C
impy has joined #ocaml
impy has quit [Client Quit]
StepanKuzmin has quit [Read error: Connection reset by peer]
impy has joined #ocaml
lamawithonel has joined #ocaml
dnolen_ has joined #ocaml
lamawithonel_ has joined #ocaml
lamawithonel has quit [Ping timeout: 255 seconds]
lamawithonel_ has quit [Ping timeout: 255 seconds]
vivanov has joined #ocaml
<vivanov> what random number library to use apart from standard Random module?
<_habnabit> Gsl_rng
sepp2k has quit [Ping timeout: 255 seconds]
<gildor> hcarty: Jane St sent me the patch, it will be applied in 0.3
<gildor> (about Pack)
<gildor> hcarty: you can use CCOpt, but I wasn't aware of -cc foo
<gildor> hcarty: you can also use ByteOpt: -cc foo and NativeOpt: -cc foo
sepp2k has joined #ocaml
lamawithonel_ has joined #ocaml
khia0 has joined #ocaml
khia0 has left #ocaml []
<vivanov> _habnabit: thx
jamii has joined #ocaml
vivanov has quit [Quit: Lost terminal]
ygrek has quit [Remote host closed the connection]
mjonsson has joined #ocaml
lopex has joined #ocaml
ygrek has joined #ocaml
<hcarty> gildor: None of CCOpt, ByteOpt, NativeOpt work
<hcarty> gildor: ByteOpt and NativeOpt don't apply to .c file compilation apparently
<hcarty> gildor: And "CCOpt: -cc foo" translates to "-ccopt -cc -ccopt foo" on the command line
<hcarty> gildor: The only solution I've found so far is to manually modify setup.data to add/change the ocamlbuildflags line : ocamlbuildflags = "-ocamlc 'ocamlfind ocamlc -cc h4cc -ccopt -fPIC'"
<hcarty> gildor: The -ccopt part may be doable through _oasis... but the '-cc h4cc' is not from what I can tell
<gildor> hcarty: ByteOpt and NativeOpt don't apply to .c file compilation apparently -> this is probably a bug, fill a bug report about that, I'll try to fix it in 0.2.1
<hcarty> gildor: Ok, will do. Thank you!
digdugg has left #ocaml []
<hcarty> gildor: Submitted. #1008.
<gildor> hcarty: thx
iratsu has quit [Quit: Leaving.]
<hcarty> gildor: Do you know if you can call Ocamlbuild_plugin.dispatch multiple times in myocamlbuild.ml to accumulate rules, flags, etc.?
<hcarty> gildor: I need to specify some linking options for bindings I'm trying to package with oasis
<hcarty> gildor: The only way to automatically get the proper flags is to call a script that comes with the upstream library with a specific option (h4cc -show) and pull the -l and -L arguments from the output.
<hcarty> gildor: I have this working in my hand-written myocamlbuild.ml, but I would like to move to oasis
yziquel has joined #ocaml
edwin has quit [Remote host closed the connection]
ztfw has quit [Remote host closed the connection]
<gildor> hcarty: yes, have a look at http://darcs.ocamlcore.org/cgi-bin/darcsweb.cgi?r=oasis/oasis;a=headblob;f=/myocamlbuild.ml starting at line 586
<gildor> hcarty: I use a combination of oasis generated dispatch and customize dispatch
ftrvxmtrx has quit [Quit: Leaving]
<hcarty> gildor: Ah cool, thanks for the pointer
<hcarty> gildor: BaseEnvLight.var_get will return values from setup.data, correct?
ulfdoz has quit [Ping timeout: 258 seconds]
tommd has joined #ocaml
<tommd> Is there an "easy" way to get program coverage data for an .ml file that is part of a larger project mostly extracted from Coq?
<gildor> hcarty: yes
mcclurmc_ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
Haskelletor has quit [Read error: Connection reset by peer]
blinky- has quit [Quit: /quit]
ikaros has quit [Quit: Ex-Chat]
wormphlegm has joined #ocaml
mjonsson has quit [Ping timeout: 240 seconds]
wormphlegm has quit [Client Quit]
wormphlegm has joined #ocaml
<hcarty> gildor: Thank you for your help. I think that I have now successfully ported two libraries to use oasis :-)
<hcarty> gildor: And in each case the result has been a much simpler and easier to maintain build system.
mjonsson has joined #ocaml
yziquel has quit [Ping timeout: 252 seconds]
rwmjones has quit [Ping timeout: 240 seconds]
<thelema> hcarty: yay - are the libraries available on oasis-db?
lopex has quit []
jamii has quit [Ping timeout: 252 seconds]
ymasory has joined #ocaml
<hcarty> thelema: xstrp4 is. The other (bindings for HDF4) will be as soon as I finish a bit of cleaning up and testing.
mjonsson has quit [Ping timeout: 252 seconds]