<Rc43>
Drup, I am not sure about pacakges structure; if I install packages from non-standard repo which provide same functionality, then is there a way for saying that "I found replacement for <bad_package> with <good_package> from <this_repo>"?
<Rc43>
I mean if I install ocaml from _other _repo then will I be able to install coq from _standard_ repo?
<Drup>
I stop using ubuntu more than 4 years ago, don't ask me anything about this stuff.
Simn has quit [Quit: Leaving]
<Xenasis>
I'm using an Ubuntu based OS, and I'm not quite sure, RC43 - Coq depends on, for example, OCaml 3.12.0
<Drup>
probable not the last version of Coq
<Xenasis>
Yeah
<Xenasis>
The apt repos are relatively outdated when it comes to Coq (according to the IRC channel)/OCaml (from experience)
csakatoku has quit [Remote host closed the connection]
peterbb has quit [Ping timeout: 248 seconds]
csakatoku has joined #ocaml
Drup has quit [Quit: Leaving.]
Drup1 has joined #ocaml
thomasga has joined #ocaml
csakatoku has quit [Ping timeout: 264 seconds]
Drup1 has quit [Client Quit]
Drup has joined #ocaml
avsm has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
Yoric has joined #ocaml
yacks has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 252 seconds]
jonludlam has joined #ocaml
Sim_n is now known as Simn
<gasche>
kerneis: "open Foo and Bar" has been requested a few times already
<gasche>
as it has much better ocamldep-resilience properties than "open Foo;; open Bar"
<kerneis>
I don't understand
<kerneis>
oh, order wouldn't matter and you let ocamldep to the topological sort for you?
<gasche>
with "open Foo and Bar" it's explicit that you don't mean Foo.Bar
<flux>
how about if ocaml had a scoping operator, like C++?-o
<gasche>
what do you mean, namespaces?
<flux>
open ::Foo would mean a 'top level' Foo
anderse has joined #ocaml
<gasche>
ah
<gasche>
there is a PR request to be able to explicitly say "this is an absolute module path"
<gasche>
and there have been, uh, tons of dicussions about namespaces, but no clear way forward
<flux>
I think there were basically two camps. either it's a compile time feature or a language feature..
<flux>
s/compile time/compiler argument/
<flux>
(hmh, compiler environment perhaps more accurately, namespace-files were considered)
<flux>
indeed, I think we won't see those for a while
csakatok_ has joined #ocaml
peterbb has joined #ocaml
csakatoku has quit [Ping timeout: 240 seconds]
csakatok_ has quit [Ping timeout: 265 seconds]
sepp2k has joined #ocaml
tianon has quit [Ping timeout: 244 seconds]
tianon has joined #ocaml
avsm has joined #ocaml
nikki93 has joined #ocaml
avsm has quit [Ping timeout: 264 seconds]
nikki93 has quit [Ping timeout: 272 seconds]
<dch>
hi, I’m installing dependencies for Real World Ocaml book & getting an error wrt to `opam install url` — url is not a valid versioned package name.
<dch>
might this be a typo for `uri`? or is there some place I can look into this package error? googles suggest that maybe the ‘url’ package doesn’t exist on opam yet.
<dch>
bbl
<thomasga>
dch: that's uri I guess
<dch>
thomasga: thanks, I thought so -> updates the wiki !
mchqwerty has quit [Remote host closed the connection]
<Kakadu>
Why after installation files `opamdoc-rebuild` and `opamdoc-regenerate` appear?
<adrien>
jedi mind tricks?
contempt has quit [Ping timeout: 240 seconds]
<Kakadu>
adrien: Maybe these are not the droid I'm looking about?
<Kakadu>
droids*
contempt has joined #ocaml
Drup has quit [Quit: Leaving.]
contempt has quit [Ping timeout: 248 seconds]
darkf has quit [Quit: Leaving]
contempt has joined #ocaml
thomasga has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<adrien>
wmeyer: I'm going to add a few weeks of delay on the next batch of cross-compiler patches: as I said, I want to make new set that starts from trunk and does everything rather than subsets of that
<adrien>
wmeyer: but I also want to make a new release of my win-builds.org project ; I don't have time for both at once
<adrien>
wmeyer: I think I'll start working again on them in december
<adrien>
wmeyer: but I have a couple small bugfixes; but they will be _small_
<adrien>
simple to install and use; and does the work
<adrien>
(it has "target version" fields and roadmaps \o/ )
jonludlam has joined #ocaml
avsm has joined #ocaml
avsm has quit [Ping timeout: 248 seconds]
BitPuffin has quit [Ping timeout: 245 seconds]
tobiasBora has joined #ocaml
<tobiasBora>
Hello,
<tobiasBora>
I'd like to know if there is a way to get it's IP adresse (in local) in Ocaml ? Becase the only adresse I manage to get is 127.0.0.1, but I don't want this one, I want something like 192.168.1.23
q66_ has joined #ocaml
shinnya has joined #ocaml
mcclurmc has joined #ocaml
<flux>
you probably need to a find a function for enumerating network interfaces from OCamlNet, Batteries or Core
<flux>
or if you have an established connection you can find its name with Unix.getsockname
q66 has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
<tobiasBora>
flux: I don't have connection because I need to know the ip adress before.
<tobiasBora>
Core is the only "library" which is installed by default ?
<tobiasBora>
Well... my previous sentence has no sense
<flux>
none of the ones I listed are by default
<flux>
but they are very popular ones
<flux>
the ocaml standard library isn't very featureful
BitPuffin has joined #ocaml
<tobiasBora>
If it's the only solution... (I just try to avoid installing new libraries because after I need to compile my program for linux (no problem) but for windows too (annoying)
<tobiasBora>
)
contempt has quit [Ping timeout: 272 seconds]
<flux>
I think the only other alternative is to write your own C bindings, which is even less nice :)
<tobiasBora>
Indeed...
zpe has joined #ocaml
avsm has joined #ocaml
ollehar has joined #ocaml
q66_ is now known as q66
<tobiasBora>
I tried to have a look for OcamlNet, but I don't manage to find these functions... Here : http://ocamlnet.sourceforge.net/refman/ the libraries used seems to be very specific to a given protocole.
jonludlam has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 272 seconds]
avsm has quit [Ping timeout: 244 seconds]
jonludlam has joined #ocaml
avsm has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ollehar has quit [Quit: ollehar]
peterbb has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
Anarchos has joined #ocaml
saml has joined #ocaml
contempt has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
gour has quit [Disconnected by services]
gour_ has joined #ocaml
ski_ is now known as ski
mcclurmc has quit [Remote host closed the connection]
<tobiasBora>
ygrek: I found the same extension and it works ^^
<tobiasBora>
The problem is that I hope it won't be too difficult to compile for windows
<tobiasBora>
Thank you !
contempt has quit [Ping timeout: 264 seconds]
contempt has joined #ocaml
<gasche>
sgnb: I emailed you about the armel PR
<companion_cube>
\o
<dramas>
oh
<dramas>
flux: i thought you might be involved with JS why i ask
<Rc43>
Guys, is there way to download opam package and install if from local file?
<Rc43>
I am trying to install ssreflect via opam, but it fails on dowloading ssreflect from official site, but I downloaded successfull it manually.
<Rc43>
Can I point opam this file and continue building?
contempt has quit [Ping timeout: 248 seconds]
<Rc43>
Or put it somewehere in opam downloadings folder.
<avsm>
Rc43: unpack it and 'opam pin ssreflect <dir>'
nikki93 has joined #ocaml
contempt has joined #ocaml
mhi^ has joined #ocaml
BitPuffin has quit [Read error: Operation timed out]
<Anarchos>
is it possible to save a toplevel session into a .ml file ?
<Rc43>
avsn, unpack opam package, right? Or ssreflect sources?
Guest51661 has quit [Remote host closed the connection]
<Rc43>
avsn, it first, how to download opam package?
<Rc43>
*if
nikki93 has quit [Ping timeout: 252 seconds]
<ygrek>
tobiasBora, compiling for windows is not a problem, problem is that windows doesn't implement getifaddrs api, but has some other way to obtain this info
<Rc43>
btw, avsm, I installed ocaml from your ubuntu PPA; do you know if it is possible to point apt, that ppa's version of ocaml replaces origin's version? It would be useful for installing origin's packages like coq which depend on ocaml.
<avsm>
Rc43: nope, that's not easily possible. you can use 'opam install coq' for now, but not a direct library replacement
<tobiasBora>
ygrek: And this library doesn't find an equivalent for getifaddrs alone ? I though it was multi-OS.
<tobiasBora>
Anarchos: I don't know, but you can always try the "brute" way with awk.
<Anarchos>
tobiasBora you mean copy/paste ?
<Rc43>
avsm, ye, but the I get troubles with ssreflect
<Rc43>
avsm, and proofgeneral
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
<tobiasBora>
Anarchos: Yes, paste in a file, then deal with awk. I know it's not proper, but if it's the only solution...
<ygrek>
tobiasBora, no, extunix is multi-OS, but it is low-level, it exposes exactly the api available
<Anarchos>
tobiasBora my terminal scrollpage is not large enough, that is why i asked
<Rc43>
avsm, how to download opam package without installing?
paddymahoney has joined #ocaml
<avsm>
as I said, extract the source and 'opam pin ssreflect <source dir>' and it'll use the inplace source
<avsm>
must run
avsm has quit [Quit: Leaving.]
<tobiasBora>
ygrek: Ok... So I need to find an other solution for windows...
<ygrek>
yes, read the msdn for corresponding winapi, write a binding for it, and submit patch to extunix :)
<Rc43>
avsm, I haven't sources of opam package only sources of ssreflect (from off site, not opam)
<Rc43>
oh
zpe has joined #ocaml
<Rc43>
or is it already opam package?
<tobiasBora>
Anarchos: Oh... Well I use top level with emacs so I don't have this kind of problem. So sorry I don't know.
<Rc43>
avsm, description file means that it is opam package?
<Rc43>
avsm, if it is originally designed to be opam package why standard opam repo haven't it?
Kakadu has quit []
mcclurmc has quit [Remote host closed the connection]
avsm has joined #ocaml
avsm has quit [Client Quit]
ygrek has quit [Ping timeout: 240 seconds]
<gasche>
Rc43: for now I think it's a rather bad idea to use OPAM to set up an environment for Coq development
<gasche>
you'll have to recompile everything should your lablgtk change, and that is excruciatingly painful
<gasche>
OPAM is good at giving you an OCaml development environment
<gasche>
if you're a Coq user, from OCaml's p.o.v. you're just a standard user that should use distro OCaml packages
<gasche>
(there is certainly a need for a package manager at the Coq level, and people are working on that, but today's off-the-shelf OPAM isn't)
<adrien>
oh
<adrien>
don't worry too much about lablgtk changes right now :P
<Rc43>
gasche, the problem is that I don't want to bring different gtk/gnome/etc dependencies from standard coq package in ubuntu =/
<Rc43>
What is lablgtk?
<adrien>
bindings to gtk
<gasche>
build Coq from sources, then
<gasche>
and disable coqIDE
<gasche>
but if I had to bet, I would bet that your reason for avoiding a gnome dependency is pointless
<Rc43>
gasche, it is
<adrien>
well
<adrien>
lablgtk can be built with the gnome stuff disabled
<adrien>
and I'm not aware of anything using that part of lablgtk
<adrien>
actually I'm not even sure it's compatible with gnome2
<adrien>
or that it will ever ber
<adrien>
be*
<adrien>
and gnome3*
<gasche>
yeah but who knows what the package managers brought in
<gasche>
it just sits on the harddisk anyway
<Rc43>
gasche, now I haven't gtk dependency with coq installed from opam; maybe better to just install ssreflect from sources. Or it will no stack?
<gasche>
I would advise against installing Coq from OPAM if you're going to do *anything else* with OPAM than installing Coq stuff
<adrien>
gasche: desktop environment stuff often doesn't just sit on the harddisk unfortunately
<gasche>
meh
<gasche>
this is why it's not the year of the Linux desktop
mort___ has quit [Quit: Leaving.]
<adrien>
DEs on linux are just like AVs on Windows: you can have one but if you install two of them, chances are they will be fighting against each other :P
Xenasis has joined #ocaml
<kerneis>
and the most common ones are also the most bloated
<kerneis>
(although some would say the most useful as well)
sepp2k has quit [Quit: Konversation terminated!]
skchrko has joined #ocaml
<Rc43>
adrien, I give up; install now everything from standard ubuntu repoo and then looking on gentoo
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
avsm has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest28175
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
<gasche>
def-lkb and rks` : congrats for being cited in yminsky's "Real World OCaml" blog post
mhi^ has left #ocaml []
nikki93 has joined #ocaml
Rc43 has quit [Quit: Page closed]
<def-lkb>
gasche: thx :)
nikki93 has quit [Ping timeout: 272 seconds]
avsm has quit [Quit: Leaving.]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
jonludlam has quit [Remote host closed the connection]
hcarty has joined #ocaml
contempt has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
milosn has joined #ocaml
<wmeyer>
adrien: OK, send it to the mailing list, thanks.
contempt has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
dsheets has quit [Read error: Operation timed out]
thomasga has quit [Ping timeout: 245 seconds]
contempt has quit [Remote host closed the connection]
contempt has joined #ocaml
contempt has quit [Ping timeout: 240 seconds]
contempt has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mathieui has quit [Ping timeout: 245 seconds]
t0yv0 has joined #ocaml
chrisdotcode has joined #ocaml
Icarus_Wings has joined #ocaml
<mcclurmc>
i'm writing a library using ctypes to interface with the glibc passwd system. the passwd struct contains both uid_t and gid_t.
<mcclurmc>
i see that there are uid_t/gid_t types in PosixTypes, but i'm not sure how to use them in ocaml
<mcclurmc>
is there a way that i can cast them to ints?
<johnelse>
hm
<mcclurmc>
should i just declare them to be ints in the structure definition, and ignore the uid_t/gid_t types?
<johnelse>
does PosixTypes.mli expose that uid_t = int?
<mcclurmc>
i didn't think so
<mcclurmc>
i'll cehck
mathieui has joined #ocaml
<mcclurmc>
no, uid_t is opaque
dsheets has joined #ocaml
ok259 has quit [Ping timeout: 245 seconds]
nikki93 has joined #ocaml
Arsenik has joined #ocaml
klltkr has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
gour has quit [Quit: WeeChat 0.4.1]
Guest28175 has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest82634
Guest82634 has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
BitPuffin has joined #ocaml
_andre has quit [Quit: leaving]
nikki93 has quit [Remote host closed the connection]
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
klltkr has joined #ocaml
nikki93 has joined #ocaml
Yoric has joined #ocaml
ggole has quit []
mcclurmc has quit [Remote host closed the connection]
baz_ has joined #ocaml
avsm has joined #ocaml
nikki93 has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
xlq has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
osa1 has joined #ocaml
contempt has quit [Ping timeout: 268 seconds]
contempt has joined #ocaml
jonludlam has joined #ocaml
Yoric has quit [Ping timeout: 272 seconds]
contempt has quit [Ping timeout: 260 seconds]
contempt has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
yezariaely has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Yoric has joined #ocaml
baz_ has quit [Remote host closed the connection]
cdidd has quit [Ping timeout: 245 seconds]
cdidd has joined #ocaml
Drup has joined #ocaml
stevej has joined #ocaml
Icarus_Wings has quit [Ping timeout: 252 seconds]
wolfnn has joined #ocaml
BitPuffin has quit [Quit: WeeChat 0.4.2]
thomasga has joined #ocaml
mort___ has joined #ocaml
yezariaely has quit [Quit: Leaving.]
thomasga has quit [Ping timeout: 244 seconds]
Yoric has quit [Ping timeout: 245 seconds]
nikki93 has quit [Remote host closed the connection]
Icarus_Wings has joined #ocaml
Icarus_Wings has quit [Changing host]
Icarus_Wings has joined #ocaml
Xenasis has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Xenasis has joined #ocaml
wwilly has joined #ocaml
xlq has joined #ocaml
platypine has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
zxqdms has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
Icarus_Wings has quit [Ping timeout: 252 seconds]
rand000 has joined #ocaml
Arsenik has quit [Remote host closed the connection]
strobegen has quit [Quit: Leaving.]
nikki93 has quit [Remote host closed the connection]
tobiasBora has quit [Quit: Konversation terminated!]
Xenasis has quit [Remote host closed the connection]
darkf has joined #ocaml
xlq has left #ocaml []
Xenasis has joined #ocaml
t0yv0 has quit [Quit: Page closed]
strobegen has joined #ocaml
yminsky has joined #ocaml
nikki93 has joined #ocaml
yminsky has quit [Ping timeout: 252 seconds]
cesar_ has joined #ocaml
klltkr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
cesar_ is now known as Guest64600
j0sh has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Remote host closed the connection]
wolfnn has quit [Ping timeout: 252 seconds]
j0sh has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Icarus_Wings has joined #ocaml
shinnya has joined #ocaml
Yoric has joined #ocaml
Icarus_Wings has quit [Changing host]
Icarus_Wings has joined #ocaml
q66_ has joined #ocaml
q66 has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
q66_ is now known as q66
Guest64600 has quit [Remote host closed the connection]
avsm has joined #ocaml
rand000 has quit [Quit: leaving]
nikki93 has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
ollehar has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest90397
Yoric has quit [Ping timeout: 245 seconds]
yurivish has joined #ocaml
Guest90397 has quit [Remote host closed the connection]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
Xenasis has quit [Remote host closed the connection]
NoNNaN has quit [Remote host closed the connection]