q9929t has quit [Read error: Connection reset by peer]
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
ggole has joined #ocaml
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 258 seconds]
oceanquake has joined #ocaml
<oceanquake>
Hi all. Due to a dependence on some old libraries I need to build 4.02.3 from source. System is Ubuntu amd64. I have the binutils-dev package installed, but even with that, the configure script indicates "BFD library not found". I would like to have objinfo work on .cmxs files. Any suggestions on what I'm missing here?
aciniglio has quit [Ping timeout: 244 seconds]
loli has quit [Ping timeout: 246 seconds]
<ggole>
Hmm, binutils-dev should pull in libbfd as far as I know
<ggole>
Are you using the system's C compiler?
Christofosho has quit [Quit: Leaving]
<oceanquake>
ggole: yes
<ggole>
Yeah, that's a bit puzzling
<oceanquake>
ggole: agreed; bfd.h is in /usr/include
<ggole>
ocaml's configure file doesn't look suspicious, although maybe there's some differences in the one in 4.02.3
loli has joined #ocaml
<oceanquake>
I just manually copied the lines into s.h and the Makefile. It just crapped out with "/usr/bin/ld: cannot find -lz"
<oceanquake>
Is that zlib?
<ggole>
Yeah
<oceanquake>
hmm, zlib is installed, but not the dev files, though I thought dev files were only the headers, so shouldn't have any impact on ld
marvin2 has quit [Ping timeout: 259 seconds]
<oceanquake>
ok, well installing zlib dev caused the configure step to say it found BFD...
<ggole>
O_o
<ggole>
A poorly written configure file, I guess
<oceanquake>
it's more odd than that, it's that the -lz linker arg fails without the zlib dev package installed.
<ggole>
./hasgot -lbfd -ldl -liberty -lz bfd_openr will probably fail if the headers aren't there
<oceanquake>
true, but when I manually put the success lines into s.h and the Makefile, the part where it stopped was that ld error
<oceanquake>
well, thankfully, looks like make opt.opt went through OK now
<ggole>
Looks like it just assumes that zlib is available if libbfd is available
gravicappa has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
GeoffK has joined #ocaml
<GeoffK>
I am having troubles trying to use Core's Int_set - due to ignorance on my part, any pointers would be appreciated.
<ggole>
What kind of trouble?
<GeoffK>
i simple can't make such a set - syntax problems i suspect.
<ggole>
Hmm.
<GeoffK>
possibly compounded by examples for stdlib not core (and knowing which is which)
<ggole>
I don't have Core installed at the moment, so I can't easily test an example for you... one moment
ziyourenxiang has quit [Remote host closed the connection]
loli has quit [Ping timeout: 246 seconds]
<ggole>
Going by the .mli, it's lacking many of the operations that the other set libraries provide
<GeoffK>
Should i being using Stdlib over Core?
<ggole>
Core is more complicated, but has a lot more stuff
<ggole>
(Like this slightly strange Int_set.)
<ggole>
You should be able to construct a trivial one with Int_set.(add empty 1)
<GeoffK>
that worked, weirdly i am sure i tried that.
<GeoffK>
i don't know maybe i kepy capitalizing Int_Set.
<ggole>
I would probably use the regular Core Set rather than this, unless you need the compact representation it offers
<GeoffK>
Ok, but how do i specify a set of integers in that case?
philtor has joined #ocaml
<ggole>
Hmm, I think Core provides them under Int\
<GeoffK>
from github?
<ggole>
No, that should come with Core
<ggole>
This is a little clumsy because I don't know the Core library very well.
<GeoffK>
i don't want to waste your time i will have a hunt through the test cases in the library.
loli has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
dedgrant_ has joined #ocaml
glass has joined #ocaml
TC04 has joined #ocaml
pepesza has quit [Ping timeout: 250 seconds]
asm89- has joined #ocaml
Cypi_ has joined #ocaml
profan_ has joined #ocaml
Ptival_ has joined #ocaml
oceanquake has quit [Ping timeout: 255 seconds]
Jesin has quit [Ping timeout: 255 seconds]
dedgrant has quit [Ping timeout: 255 seconds]
seastack has quit [Ping timeout: 246 seconds]
tizoc has quit [Ping timeout: 246 seconds]
Cypi has quit [Ping timeout: 246 seconds]
jmiven has quit [Ping timeout: 246 seconds]
Ptival has quit [Ping timeout: 246 seconds]
so has quit [Ping timeout: 246 seconds]
profan has quit [Ping timeout: 246 seconds]
eikke has quit [Ping timeout: 246 seconds]
freusque has quit [Ping timeout: 246 seconds]
TC01 has quit [Ping timeout: 246 seconds]
theglass has quit [Ping timeout: 246 seconds]
asm89 has quit [Ping timeout: 246 seconds]
jmiven has joined #ocaml
tizoc has joined #ocaml
oceanquake has joined #ocaml
freusque has joined #ocaml
eikke has joined #ocaml
so has joined #ocaml
keep_learning has quit [Ping timeout: 250 seconds]
pepesza has joined #ocaml
Jesin has joined #ocaml
<GeoffK>
I try to make an int-set using:
<GeoffK>
module I = Set.Make(struct type t = int let compare = compare end);;
<GeoffK>
ok, but:
<GeoffK>
I.add (I.empty) 2;;
Nikita has joined #ocaml
Nikita is now known as Guest14639
<GeoffK>
Fails because I.empty is of type t, not int. Suggestions?
nikivi has quit [Ping timeout: 257 seconds]
Guest14639 is now known as nikivi
<ggole>
If this is the stdlib Set, it takes the element first and the set second
<ggole>
(You can also create single-element sets directly, eg, I.singleton 2.)
<GeoffK>
ugh, thanks - the libs are killing me.
<ggole>
I can imagine, the conventions differ widely between the stdlib and Core
<ggole>
If you stick to one the whiplash shouldn't be too bad.
<GeoffK>
yep. I will stick with stdlib, until i can take my trainer-wheels off.
<ggole>
Are you trying this in the toplevel?
<GeoffK>
yep (utop).
<ggole>
If you are having trouble with wrong types, you can use #show <name> or #show <module> to see what the actual type of something is
<GeoffK>
Thanks.
loli has quit [Ping timeout: 245 seconds]
ziyourenxiang has joined #ocaml
AnAverageHuman has joined #ocaml
Birdface has joined #ocaml
GeoffK has quit [Quit: Leaving]
loli has joined #ocaml
AnAverageHuman has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
olle_ has joined #ocaml
amcorvi has quit [Ping timeout: 257 seconds]
keep_learning has joined #ocaml
Birdface has quit [Ping timeout: 255 seconds]
loli has quit [Ping timeout: 272 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
loli has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
_whitelogger has joined #ocaml
ravenous_ has joined #ocaml
loli has quit [Ping timeout: 255 seconds]
asymptotically has joined #ocaml
ravenous_ is now known as ravenousmoose[aw
kjak has quit [Ping timeout: 246 seconds]
ravenousmoose[aw is now known as ravenous_
loli has joined #ocaml
emily has quit [Ping timeout: 264 seconds]
emily has joined #ocaml
Haudegen has joined #ocaml
johnelse is now known as Guest83968
Guest83968 has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
johnelse_ has joined #ocaml
johnelse_ has quit [Read error: No route to host]
q9929t has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
johnelse_ has joined #ocaml
FreeBirdLjj has joined #ocaml
loli has quit [Ping timeout: 250 seconds]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
johnelse_ has quit [Ping timeout: 255 seconds]
loli has joined #ocaml
ravenous_ has quit [Read error: Connection reset by peer]
ravenousmoose has joined #ocaml
bartholin has joined #ocaml
johnelse_ has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
olle_ has quit [Ping timeout: 246 seconds]
pierpal has quit [Ping timeout: 246 seconds]
pierpal has joined #ocaml
q9929t has quit [Quit: q9929t]
loli has quit [Ping timeout: 246 seconds]
loli has joined #ocaml
quipa has joined #ocaml
quipa has quit [Ping timeout: 246 seconds]
quipa has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
jao has joined #ocaml
amcorvi has joined #ocaml
marvin2 has joined #ocaml
loli has quit [Ping timeout: 246 seconds]
loli has joined #ocaml
jnavila has joined #ocaml
quipa_ has joined #ocaml
quipa has quit [Read error: Connection reset by peer]
quipa_ has quit [Ping timeout: 246 seconds]
johnelse_ has quit [Read error: Connection reset by peer]
zolk3ri has joined #ocaml
johnelse_ has joined #ocaml
loli has quit [Ping timeout: 255 seconds]
tane has joined #ocaml
loli has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
johnelse_ has quit [Read error: No route to host]
johnelse_ has joined #ocaml
loli has quit [Quit: WeeChat 2.3]
dhil has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
silver has joined #ocaml
johnelse_ has joined #ocaml
loli has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
Christofosho has joined #ocaml
fraxamo has joined #ocaml
dhil has quit [Ping timeout: 255 seconds]
Serpent7776 has joined #ocaml
dhil has joined #ocaml
ahf has quit [Ping timeout: 244 seconds]
ahf has joined #ocaml
loli has quit [Ping timeout: 255 seconds]
loli has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
Haudegen has quit [Remote host closed the connection]
kjak has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
gareppa has joined #ocaml
jbrown has quit [Ping timeout: 252 seconds]
ggole has quit [Quit: Leaving]
gravicappa has quit [Ping timeout: 258 seconds]
johnelse_ has quit [Read error: Connection reset by peer]
johnelse_ has joined #ocaml
gareppa has quit [Quit: Leaving]
Christofosho has quit [Quit: Leaving]
Haudegen has joined #ocaml
jbrown has joined #ocaml
loli has quit [Ping timeout: 246 seconds]
olle__ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
loli has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]
kakadu has joined #ocaml
assemblyman has joined #ocaml
johnelse_ has joined #ocaml
dhil has quit [Ping timeout: 245 seconds]
dhil has joined #ocaml
loli has quit [Ping timeout: 272 seconds]
gravicappa has joined #ocaml
assemblyman has quit [Quit: ™]
loli has joined #ocaml
gravicappa has quit [Ping timeout: 246 seconds]
loli has quit [Ping timeout: 245 seconds]
loli has joined #ocaml
tane has quit [Quit: Leaving]
fraxamo has quit [Quit: Leaving]
ravenousmoose has quit [Quit: Taking a quick nap...ZZzzz]
ravenousmoose has joined #ocaml
ravenousmoose is now known as ravenousmoose[aw
pierpal has quit [Read error: Connection reset by peer]
jbrown has quit [Ping timeout: 255 seconds]
jnavila has quit [Ping timeout: 259 seconds]
amcorvi has quit [Ping timeout: 250 seconds]
SpiceGuid has joined #ocaml
dhil has quit [Ping timeout: 244 seconds]
loli has quit [Ping timeout: 246 seconds]
loli has joined #ocaml
Serpent7776 has quit [Quit: leaving]
keep_learning has quit [Quit: Ping timeout (120 seconds)]
kakadu has quit [Remote host closed the connection]
johnelse_ has quit [Read error: Connection reset by peer]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.4/20180713174829]]
johnelse_ has joined #ocaml
AnAverageHuman has joined #ocaml
amcorvi has joined #ocaml
asymptotically has quit [Quit: Leaving]
amcorvi_ has joined #ocaml
notnotdan is now known as notnotdan[m]
amcorvi has quit [Ping timeout: 257 seconds]
amcorvi_ has quit [Ping timeout: 246 seconds]
amcorvi_ has joined #ocaml
dmiles has quit [Remote host closed the connection]
AnAverageHuman has quit [Remote host closed the connection]
AnAverageHuman has joined #ocaml
johnelse_ has quit [Read error: Connection reset by peer]