<jhaberku>
Drup: Thanks for the pointer. I'll read over the findlib manual to learn more.
chris2 has quit [Ping timeout: 248 seconds]
lupine has quit [Ping timeout: 246 seconds]
lupine has joined #ocaml
Haudegen has quit [Ping timeout: 265 seconds]
<Algebr>
When using ocamlopt with foo.o and bar.ml, where foo.o is the result of a foo.c, then ocamlopt makes a a.out along with the usual .cm*. What is the a.out's purpose? Is it meant as a library?
<Algebr>
ah, "The output of the linking phase is a regular Unix executable file"
jhaberku` has joined #ocaml
jhaberku has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
<Drup>
If you don't add -c, ocamlopt do the linking directly
jhaberku` has quit [Remote host closed the connection]
<Algebr>
How do I tell what directory ocamlopt should output files in ?
<Drup>
-I
chris2 has joined #ocaml
<Algebr>
when ocamlopt complains about Error: No implementations provided for the following modules:, that means that its missing a .cmx?
<Drup>
a .cma
<Drup>
or .cmxa, yes
chris2 has quit [Ping timeout: 252 seconds]
chris2 has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
dhil has quit [Quit: Leaving]
Algebr has quit [Read error: Connection reset by peer]
tmtwd has quit [Ping timeout: 264 seconds]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
ygrek has joined #ocaml
_whitelogger has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ocaml
johnf_ has joined #ocaml
psy_ has quit [Ping timeout: 264 seconds]
johnf_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
johnf has joined #ocaml
johnf has quit [Ping timeout: 256 seconds]
zaquest has quit [Quit: Leaving]
darkf has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Quit: WeeChat 1.2]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
sailorswift has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
NSA_Agent has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Simn has joined #ocaml
MercurialAlchemi has joined #ocaml
_whitelogger has quit [Ping timeout: 252 seconds]
_whitelogger has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
keen__________12 has joined #ocaml
keen__________11 has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Remote host closed the connection]
cschneid has quit [Ping timeout: 248 seconds]
cschneid has joined #ocaml
sailorswift has joined #ocaml
slash^ has joined #ocaml
kushal has joined #ocaml
tmtwd has joined #ocaml
kushal has quit [Ping timeout: 252 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
ggole has joined #ocaml
creichert has quit [Quit: Leaving]
mort___ has joined #ocaml
lordkryss has joined #ocaml
nullcat_ has joined #ocaml
mort___ has quit [Quit: Leaving.]
Kakadu has joined #ocaml
mcclurmc has joined #ocaml
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 248 seconds]
darkf_ is now known as darkf
mcclurmc has quit [Ping timeout: 252 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
hay207 has joined #ocaml
kushal has joined #ocaml
Haudegen has joined #ocaml
elfring has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
sh0t has joined #ocaml
Haudegen has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
whirm has joined #ocaml
<whirm>
I'm trying to cross compile an eliom project by telling ocamlfind to use a specific framework. I've tried using an ocamlfind.conf file and exporting OCAMLFIND_CONF but this seems to make ocamlfind ignore any config passed by eliom build framework and just use whatever is in the file, so the whole thing fails.
<whirm>
Is there a way to just set that config option without overriding everything else?
mcclurmc has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
mcclurmc has quit [Ping timeout: 255 seconds]
milosn has joined #ocaml
Hannibal_Smith has joined #ocaml
lobo has joined #ocaml
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Hannibal_Smith has quit [Ping timeout: 246 seconds]
Hannibal_Smith has joined #ocaml
mcclurmc has joined #ocaml
zpe has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
obadz has joined #ocaml
obadz- has quit [Ping timeout: 246 seconds]
sailorswift has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
hannes` is now known as hannes
Haudegen has quit [Ping timeout: 256 seconds]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcat_ has joined #ocaml
Haudegen has joined #ocaml
nullcat_ has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
BitPuffin|osx has joined #ocaml
jao has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
sgnb`` has joined #ocaml
sgnb` has quit [Remote host closed the connection]
mcclurmc has quit [Remote host closed the connection]
chris2 has quit [Ping timeout: 248 seconds]
mcclurmc has joined #ocaml
chris2 has joined #ocaml
mort___ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
djellemah has joined #ocaml
djellemah has quit [Remote host closed the connection]
tmtwd has joined #ocaml
djellemah has joined #ocaml
djellemah has quit [Remote host closed the connection]
jao has quit [Ping timeout: 264 seconds]
sh0t has quit [Ping timeout: 252 seconds]
Denommus has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
curiosity has joined #ocaml
zpe has joined #ocaml
darkf has quit [Quit: Leaving]
walter|r has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
cml has joined #ocaml
<fds>
Can I do something like: `type lit = Atom of string | Not of Atom'? Or must I either define a separate atom type or use `Not of lit'?
<companion_cube>
what would Atom be? why not type lit = Atom of string | Not ?
cml has quit [Quit: Page closed]
<fds>
It would be some kind of identifier for the negated proposition. Maybe`type lit = Positive string | Negative string' would lwork better?[D[D[D[D
<companion_cube>
type lit = Positive of atom | Negative of atom and atom = string
<companion_cube>
?
<fds>
Yeah, that could work. (Sorry my Internet connection is struggling at the moment)
<companion_cube>
even better: type atom = string type lit = atom * bool
<companion_cube>
;)
<companion_cube>
or type lit = {atom: atom; sign: bool}
MrScout has joined #ocaml
chris2 has quit [Ping timeout: 252 seconds]
<fds>
Hm, thanks companion_cube, I'll go and do some refactoring!
jtfmumm has quit [Ping timeout: 244 seconds]
robink_ has quit [Ping timeout: 255 seconds]
chris2 has joined #ocaml
Haudegen has quit [Ping timeout: 252 seconds]
Kakadu has quit [Ping timeout: 256 seconds]
hay207 has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
Haudegen has joined #ocaml
tmtwd has quit [Ping timeout: 265 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 252 seconds]
mcclurmc has joined #ocaml
Denommus` has quit [Ping timeout: 244 seconds]
mort___ has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
ollehar has joined #ocaml
zaquest has joined #ocaml
ericsmithvt has joined #ocaml
zaquest has quit [Quit: Leaving]
johnf_ has joined #ocaml
tmtwd has joined #ocaml
nullcat_ has joined #ocaml
hay207 has joined #ocaml
slash^ has quit [Quit: Leaving.]
slash^ has joined #ocaml
sh0t has joined #ocaml
curiosity has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 252 seconds]
jao has joined #ocaml
Haudegen has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
<whirm>
I have the react installed via opam, if I do `ocamlfind query -format %d react`, it is correctly found, but if I do `ocamlfind -toolchain arm query -format %d react` it's not.
<whirm>
why does that happen?
<dsheets>
react isn't in the arm toolchain path?
<whirm>
dsheets: so even stuff that's ocaml bytecode needs to be repackaged for each toolchain?
MrScout has quit [Ping timeout: 248 seconds]
<whirm>
I assumed I only needed to cross-compile packages that generated native code or executables.
<dsheets>
not necessarily... but the package still needs to be in the appropriate findlib toolchain path
<dsheets>
the toolchain param only controls the lookup paths
<dsheets>
whirm, read man findlib.conf and also try ocamlfind printconf
<whirm>
Ok, thanks! I'm trying to create an crosscompiled ocsigenserver and an eliom crosscompiler so I can crosscompile eliom services and run them with the crosscompiled server
<whirm>
any other suggestions on this that can save me time? :D
<dsheets>
sounds like fun. i don't have any general advice other than a recommendation to meditate and maybe do some yoga or drink some nice tea
<whirm>
so far I have arm-ocaml, arm-ocamlfind, arm-c-openssl and arm-ssl
<dsheets>
when it's sunny, go outside at least for a while ;-P
<whirm>
I have the the part covered, I'll need some luck with the sunny weather part but I'll try :D
<whirm>
s/the the/the tea/
* dsheets
is working on ctypes+ocamlbuild integration
<dsheets>
lifts C's types into OCaml with some GADTs and functors and staged compilation
<dsheets>
also lets you write inverted bindings to expose OCaml to C
<whirm>
dsheets: ah heh, (ocaml newbie here)
<dsheets>
and change the linking strategy to do crazy stuff like keep bound libraries in separate address spaces (other process)
<whirm>
sounds cool
<whirm>
dsheets: the pushing the libs to separate process parts is for performance and/or security reasons?
Haudegen has quit [Ping timeout: 256 seconds]
<dsheets>
security and stability
<dsheets>
but it's just one use... not mandatory
<dsheets>
performance suffers quite a bit so it depends on your application's needs
<whirm>
dsheets: so if the library cr*ps itself for any reason you just restart that process?
<dsheets>
ayup
<dsheets>
I don't know any project using this functionality in production but it's been prototyped
<whirm>
Yeah, I was thinking that maybe you could have a bunch of instances of the same process-library if it doesn't support mutithreading to increase performance, but if the performance suffers...
<dsheets>
whirm, performance suffers across the call boundary so you can multiplex a library like that and still win if you don't cross the boundary a lot
Haudegen has joined #ocaml
kdas_ has joined #ocaml
kushal has quit [Ping timeout: 256 seconds]
creichert has joined #ocaml
Algebr has joined #ocaml
<whirm>
dsheets: back to crosscompiling: I'm thinking adding the base lib/ dir to the arm toolchain search part is not a good idea, so how is that usually done? I see that even pure ocaml packages have .a files, but having to create cloned recipes for all needed packagess seems too much to me for something that simple.
jao has quit [Ping timeout: 256 seconds]
amnn has joined #ocaml
<dsheets>
whirm, there isn't a lot of cross compilation support in ocaml tools. Perhaps you can symlink the packages you want to import?
mort___ has joined #ocaml
<whirm>
I thought about that, but the .a's would still be there, so I would have to create empty dirs and symlink the rest in there which is an even uglier solution.
<dsheets>
whirm, there are also cross repos for ios and rump kernels...
<whirm>
hm, I'll check what this guys are doing then, thanks!
<dsheets>
it is either repetitive or ugly i think... if you have good ideas for how opam can support this to make it less painful i'm sure many people would like to hear them
MrScout_ has joined #ocaml
<whirm>
dsheets: I guess if you could mark recipes as being pure ocaml and so usable across toolkits and then letting ocamlfind filter them would already help a lot.
mort___ has quit [Quit: Leaving.]
<whirm>
either or let ocamlfind alone and split lib/ into arch-dependent and arch-independent dirs so the arch independent bits can be shared across toolkits
<whirm>
s/either/either that/
matason has joined #ocaml
<whirm>
but I've been fooling around with this just for a couple weeks on my spare time, so it could very well be I don't know what I'm saying :)
yomimono has quit [Ping timeout: 264 seconds]
madroach has quit [Ping timeout: 264 seconds]
Accidus has joined #ocaml
<dsheets>
whirm, sometimes you want to use libraries compiled for the build system during the build of a foreign arch say for preprocessing...
<Accidus>
How do I read a single keystroke from the keyboard? (i.e., I want truly interactive keyboard input.)
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<whirm>
dsheets: bytecode version could be left on the non-arch dependant side and native versions should go to the native dir I guess? or I'm not understanding the problem?
<whirm>
dsheets: don't you happen to have the ios repo's URL handy? I can't seem to find it
<whirm>
dsheets: well, I guess I'll go the shell-recipe + generic symlink script like the rump guys for the time being then. Thanks a lot for your help, you saved me a lot of time.
<adrien>
whirm: I'm not really active on the topic at the moment unfortunately
<adrien>
whirm: looking at the patch, I would say that $(CAMLRUN) might not be what you expect
<adrien>
well
<adrien>
not in all cases
accidus_benartiu has joined #ocaml
Accidus has quit [Disconnected by services]
accidus_benartiu is now known as accidus
<adrien>
the bootstrapping in the compiler is a really annoying phase
accidus_benartiu has joined #ocaml
madroach has joined #ocaml
ygrek has joined #ocaml
<whirm>
:)
ggole has quit []
matason has quit []
amnn has quit [Ping timeout: 246 seconds]
nullcat has joined #ocaml
<whirm>
ok guys, enough for the day, see you tomorrow!
whirm has quit [Quit: WeeChat 1.2]
malc_ has joined #ocaml
<ygrek>
vbmithr, thanks so much!
swgillespie has joined #ocaml
Algebr has quit [Remote host closed the connection]
Algebr has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
Algebr has quit [Remote host closed the connection]
<vbmithr>
ygrek: no problem :)
<Drup>
vbmithr: your work doesn't seem to be done just yet :p
johnf_ has quit [Read error: Connection reset by peer]
<vbmithr>
not sure what I have to do
<Drup>
apparently, installing everything that depends on Lwt and flag those who breaks
<vbmithr>
lots of packages, go through source code
<vbmithr>
anybody wants to help ?
<Drup>
oh no, don't bother going through the code
<Drup>
just try to install them
<vbmithr>
yeah, ok
<Drup>
opam list --depends-on lwt --recursive
<Drup>
to get the list of package to try to install :p
<vbmithr>
I donk't need recursive
<Drup>
you do
<vbmithr>
It sounds easy and fun when you talk about it :)
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Drup>
I never said it was :D
<vbmithr>
Because all the packages cannot be installed by only one compiler
<Drup>
I know, opam magic switches and all that² :p
<vbmithr>
I think it's easier to go through the source code.
Algebr has joined #ocaml
<Algebr>
How can you use KVC on properties that are read only but still do give back different results
<Drup>
kvc ?
<Algebr>
oh damn, heh, thought this was macdev for a sec
<vbmithr>
Drup: I'm gonna make a script that fetch sources and grep buffer_size
<vbmithr>
opam source…
<companion_cube>
maybe opam has plugins
<vbmithr>
Not an easy work :)
<nullcat>
companion_cube: have you figured out the reason of "string/3, string/15" error of merlin when you hack on compiler?
<companion_cube>
nah
<companion_cube>
it's a merlin problem, I think
<nullcat>
def`: yeah i also think that's a bug
<nullcat>
cc def`
<companion_cube>
he knows
ygrek has quit [Remote host closed the connection]
<def`>
use the new-typee branch
<def`>
new-typer
<companion_cube>
typeeeeeeeeeeeee
<def`>
:)
<companion_cube>
I want this branch ^^
<nullcat>
thanks!!
<nullcat>
hope can be merged soon
<def`>
there are a few other bugs, but it should be usable
<def`>
>=4.02
<def`>
if you become testers, it will be merged even sooner
<def`>
(the emacs mode received some changes too)
Algebr has quit [Remote host closed the connection]
struktured has joined #ocaml
ygrek has joined #ocaml
yomimono has joined #ocaml
sailorswift has joined #ocaml
mcc has joined #ocaml
struktured has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Remote host closed the connection]
milosn has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 250 seconds]
milosn has joined #ocaml
contempt has quit [Ping timeout: 256 seconds]
struktured has joined #ocaml
Simn has quit [Quit: Leaving]
mcclurmc has joined #ocaml
Kakadu has quit [Remote host closed the connection]
contempt has joined #ocaml
ollehar has quit [Quit: ollehar]
sh0t has quit [Remote host closed the connection]
manud has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
_whitelogger has joined #ocaml
milosn has joined #ocaml
struktured has quit [Ping timeout: 250 seconds]
johnf_ has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
badkins has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
lobo has quit [Quit: leaving]
milosn has joined #ocaml
MrScout_ has quit [Remote host closed the connection]