<adrien>
I think something went wrong during the compilation of ocaml itself
<adrien>
because it should pull the lib automatically
<wieczyk>
Hard to say, maybe some changes in binutils? Order of arguments for ld was always important.
<adrien>
which distribution btw?
<thelema>
I think ocaml recently changed the order of some -cc* arguments, maybe frama-c is using `-ccopt -ltinfo` when it should be using `-cclib -ltinfo`
<adrien>
did it change? or was it only that the issue was raised?
<wieczyk>
Ubuntu.
<thelema>
adrien: I think it changed - I became unable to compile some ocaml-cairo after upgrading to 3.12.1
<thelema>
(via odb)
<adrien>
oh?
<thelema>
and one other odb library too, iirc
<adrien>
so you mean it *went* wrong? instead of getting better?
<wieczyk>
Ok, what should I do? I understand that I cannot fix problem without learning how ocaml build system works. Should I contact with frama-c authors?
cago has quit [Quit: WeeChat 0.3.6]
<thelema>
wieczyk: yes, the frama-c authors should know about and be able to fix this
<thelema>
it looks like the -cclib -ltinfo is there; can you move it to the end?
<wieczyk>
I think it can be connected to some changes in binutils.
<wieczyk>
I had similar problems with Haskell ;]
<thelema>
adrien: yes, cairo used to compile via odb, and now it doesn't.
<wieczyk>
I had to put -ltinfo everywhere when I was using -lncurses.
<thelema>
wieczyk: can you add -verbose to the command being run there?
<thelema>
wieczyk: there = your last pastebin
<adrien>
wieczyk: is it possible that maybe ocaml got compiled and since then there have been big changes to your installation?
ygrek has joined #ocaml
<wieczyk>
adrien: I am using packages when is it possible, so I don't know.
<wieczyk>
w8
<adrien>
maybe the ocaml ones haven't been recompiled when they should have
<wieczyk>
It is funny, because I have switched to linux from FreeBSD, because I have believed it allow me to focus on more important things than compiling programs ;p
<wieczyk>
thelema: not working, thanks for your time
<wieczyk>
thelema: i am going to pay ninjas.
<thelema>
wieczyk: ok, good luck.
<hcarty>
Drakken: He is asking if the compiled C stubs (*.so for the ocamlc case) are found by findlib/ocamlc
<thelema>
Drakken: first comment has typo: "where do the stublibs go" - explain your ld.conf and location of stublibs
ttamttam has joined #ocaml
maufred has quit [Quit: leaving]
j2d2j2d2 has joined #ocaml
avsm has quit [Quit: Leaving.]
_andre has quit [Quit: leaving]
yezariaely has joined #ocaml
_andre has joined #ocaml
companion_cube has joined #ocaml
<wieczyk>
thelema: I have solved problem ;]
<wieczyk>
thelema: I have added -cclib -lcamlrun -cclib -ltinfo, It forces ocaml to put '-lcamlrun -ltinfo -lcamlrun -dl ...', now I have correct order. I know, it is ugly, but good as temporary solution.
ygrek has quit [Ping timeout: 248 seconds]
ttamttam has quit [Remote host closed the connection]
<thelema>
wieczyk: wow, good thinking. I should have come up with that.
jamii has quit [Ping timeout: 252 seconds]
sepp2k has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
j2d2j2d2 is now known as j2d2-away
bwright_ has quit [Quit: leaving]
bwright has joined #ocaml
Anarchos has joined #ocaml
j2d2-away is now known as j2d2j2d2
roha has joined #ocaml
<roha>
ive got a newbie question about the eclipse plugin OcaIDE together with Batteries:
<roha>
I have an ml file "demo.ml" with:
<roha>
open Batteries_uni (* Non-threaded version *)
<roha>
;;
<roha>
let main () =
<roha>
(1--999) (* the enum that counts from 1 to 999 *)
<roha>
|> Enum.filter (fun i -> i mod 3 = 0 or i mod 5 = 0)
<roha>
|> Enum.reduce (+) (* add all remaining values together *)
<roha>
|> Int.print stdout
<roha>
;;
<roha>
let () = main ()
<_habnabit>
don't paste to the channel
<roha>
k sorry
<thelema>
roha: I recognize the example code. What's the error?
<roha>
if I load it into toplevel, it says: Error: Reference to undefined global `Batteries_uni'
<thelema>
roha: if you have findlib, do #use "topfind";; #require "batteries";;
<roha>
i can run to byte file directly via "run as ocaml executable" though
<roha>
ok thanks ill try that right away
<thelema>
best solution is to copy the batteries ocamlinit file to ~/.ocamlinit, so batteries is autoloaded by the toplevel
<thelema>
gotta go, back later
<roha>
kk cu and thanks
ftrvxmtrx has joined #ocaml
_andre has quit [Quit: leaving]
ikaros has quit [Quit: Ex-Chat]
avsm has joined #ocaml
<roha>
it seems ocaide can't generate an interface file if i put "open Batteries_uni" at the top of the source file
<roha>
if write the mli file manually, everything works fine. strange
ttamttam has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
avsm has joined #ocaml
beginner has joined #ocaml
<beginner>
Hai, I have a question to ask - I have some experiences programming in languages like C and Python
<hcarty>
roha: ocaide is reasonably nice, but it is lacking in some tool integration.
<beginner>
and planning to learn more about "computer science" and algorithms
<beginner>
I have always been interested in writing a compiler
<hcarty>
roha: Including some issues (last I looked) trouble when using ocamlfind to properly infer interfaces
<beginner>
will ocaml be a good language to learn algorithms
<beginner>
it will be my first functional language
<zorun>
beginner: I would tend to say algorithms are mostly language-independent
<zorun>
but if you're up to try a functional language, yes, OCaml is a good choice
<adrien>
but ocaml makes it easy to concentrate on the algorithms and not the lower-level tasks ;-)
<zorun>
true :)
<adrien>
and the algorithms are usually expressed in a very clear and concise way
<Anarchos>
beginner as ocaml can be used in functional, imperative and object ways, yes it is a good language to learn algorithms in these three paradigms
<reynir>
Most texts on algorithms that I've read use an imperative 'language'
<beginner>
I know there are quite a few books on ocaml out there, but any recommendation on which one is the most friendly to beginners?
<beginner>
Anyway, yeah - I have bought some algo books that use Java
<reynir>
Think Ocaml is probably not a bad choice
<beginner>
the problem is, there are too many of the language elements that distracted me from my original goal
<roha>
somebody uses OcaIDE together with batteries here?