flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
<Drup> there is a ppa for ocaml for ubuntu
<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)
zpe has quit [Remote host closed the connection]
<Drup> use this ppa https://launchpad.net/~avsm/+archive/ppa to get ocaml and opam
<Drup> and then install coq with opam
zpe has joined #ocaml
<Drup> the gtk part is separated in another package, you don't need it for the main coq package
<Rc43> Xenasis, do you know how to install package without one dependency?
<Xenasis> Unfortunately, as the name suggests, a dependency is something it's dependent on
<Xenasis> However, you might have Some Equivalent
<Xenasis> which simply isn't recognised by the old versions of Coq
<Drup> Rc43: you should do what I told ;)
<Xenasis> Yeah, that'd be sound advice
<Rc43> Now I am installing libcoq-ocaml, but it depends on something like "lib....gtk2..."
<Rc43> Drup, oh, didn't see
<Rc43> Drup, ye, seems to be the best optionn, thanks
zpe has quit [Ping timeout: 252 seconds]
<Drup> Rc43: be sure to look at opam's manual
csakatoku has joined #ocaml
klltkr[HOU] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mfp has quit [Ping timeout: 245 seconds]
<Rc43> Drup, can't I just install opam from standard repo and then coq from it?
<Drup> sure
<Rc43> oh, it hasn't opam
<Drup> oh, no, you need the ppa I linked you
<Rc43> somehow I can add it but cannot download package from it
<Xenasis> sudo apt-get update?
<Rc43> Xenasis, I can see the package, apt-get cannot download it from server (0% and then error).
<Xenasis> ah
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
nikki93 has joined #ocaml
<Rc43> Xenasis, may be it is temporarily; I tried to add/remove this ppa, first update after that failed due to connection, second succeed.
csakatoku has quit [Read error: No route to host]
<Rc43> Ye, magically it works now.
csakatoku has joined #ocaml
<Xenasis> right
<Drup> it's (Obj.)magic !
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
himh has joined #ocaml
<himh> Hi
<Rc43> Maybe you know how to select PPA's version of package?
<Rc43> When I type `apt-get install <package>'.
<himh> Anyone had a look through Real World Ocaml?
<himh> Better question: when is this channel usually active?
talzeus_ has joined #ocaml
Guest34512 has quit [Remote host closed the connection]
ygrek has joined #ocaml
himh has quit [Quit: ...]
cesar_ has joined #ocaml
cesar_ is now known as Guest17376
Guest17376 has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
<Rc43> Why ocaml depends on mesa, radeon, x11, etc.?
<Drup> it doesn't ? :p
<Rc43> ocaml avsm\ppa does
<Rc43> libdrm-radeon
<Rc43> libgl1-mesa-dri
<Drup> oh, for graphics I suppose
<Rc43> x11-common
<Rc43> graphis bundled inside compiler?
<Rc43> Not library?
<Drup> the standard library
<Rc43> Wow, didn't know (never used ocaml).
<Drup> yeah, it depends on tk
yminsky has joined #ocaml
yminsky has quit [Client Quit]
yminsky has joined #ocaml
Neros has quit [Read error: Operation timed out]
Xenasis has quit [Remote host closed the connection]
yminsky has quit [Client Quit]
yminsky has joined #ocaml
yminsky has quit [Client Quit]
yminsky has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest38262
csakatok_ has joined #ocaml
passiveobserver has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
ollehar has quit [Ping timeout: 244 seconds]
Guest38262 has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
yminsky has quit [Quit: yminsky]
coder-rc has quit [Quit: Page closed]
strobegen has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest3900
mariusae has joined #ocaml
osa1_ has quit [Ping timeout: 240 seconds]
Guest3900 has quit [Remote host closed the connection]
mort___ has quit [Ping timeout: 265 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ggole has joined #ocaml
yacks has quit [Quit: Leaving]
csakatok_ has quit [Remote host closed the connection]
cesar_ has joined #ocaml
cesar_ is now known as Guest24921
chrisblake has quit [Read error: Connection reset by peer]
csakatoku has joined #ocaml
Guest24921 has quit [Remote host closed the connection]
platypine has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
Rc43 has quit [Quit: Page closed]
wolfnn has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
gour has joined #ocaml
wolfnn has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
mchqwerty has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
wormphlegm has quit [Quit: leaving]
ygrek has joined #ocaml
csakatoku has joined #ocaml
rs0 has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
ollehar has joined #ocaml
Kakadu has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has quit [Read error: No route to host]
csakatok_ has joined #ocaml
rand000 has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
Rc43 has joined #ocaml
<Rc43> Maybe anybody knows how to install ssreflect via OPAM?
<Rc43> I am trying install it from "coq.io" repo, but have build error and error in checksums of package.
avsm has quit [Ping timeout: 240 seconds]
<wmeyer> Rc43: try to do [opam update] before
<Rc43> wmeyer, tried
<Rc43> is this repo ok? looks strange
<wmeyer> coq.io? Never used coq packages via opam
avsm has joined #ocaml
nikki93 has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 272 seconds]
Kakadu has quit [Ping timeout: 272 seconds]
tianon has quit [Ping timeout: 240 seconds]
Kakadu has joined #ocaml
tianon has joined #ocaml
darkf has quit [Ping timeout: 240 seconds]
tianon has quit [Remote host closed the connection]
tianon has joined #ocaml
csakatoku has joined #ocaml
csakatok_ has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
NoNNaN has joined #ocaml
Simn has joined #ocaml
mfp has joined #ocaml
<kerneis> just in case I'm missing something obvious:
<kerneis> is there any way in OCaml to open (or include) several modules without repeating the "open" keyword?
<kerneis> something like "open Foo Bar"?
_andre has joined #ocaml
<Kakadu> I dont know anything like this
<Kakadu> but you can try with camlp4
<kerneis> oh no no no
<kerneis> I'm fine with expanding
BitPuffin has joined #ocaml
<kerneis> just wondered if I missed an idiomatic construct
<flux> kerneis, you can setup a, say, common.ml
<flux> which has include Foo include Bar
<flux> and then open Common in your source files
<flux> you can also put module aliases there, which is what I do
<kerneis> I'm source-to-source translating from a language with allows "open Foo Bar"
<kerneis> and just trying to find the best way to do it
<flux> right, there is no such thing
<kerneis> expanding is fine since everything is mechanized anyway
<Drup> kerneis: by curiosity, what's the language ?
<kerneis> Lem
rand000 has quit [Ping timeout: 272 seconds]
avsm has joined #ocaml
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]
<dch> FWIW this is the doc I’m starting from https://github.com/realworldocaml/book/wiki/Installation-Instructions
mchqwerty has joined #ocaml
emias has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
zpe has quit [Read error: Operation timed out]
dsheets has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
Neros has joined #ocaml
skchrko has joined #ocaml
tianon has quit [Ping timeout: 248 seconds]
Kakadu has quit [Ping timeout: 250 seconds]
platypine has joined #ocaml
platypine has quit [Changing host]
platypine has joined #ocaml
avsm has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
dsheets has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Kakadu has joined #ocaml
platypine has quit [Ping timeout: 244 seconds]
talzeus_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 248 seconds]
talzeus_ has quit [Remote host closed the connection]
talzeus_ has joined #ocaml
mchqwerty has quit [Quit: Odcházím]
yminsky has joined #ocaml
tianon has joined #ocaml
thomasga has joined #ocaml
contempt has quit [Ping timeout: 264 seconds]
milosn has quit [Ping timeout: 246 seconds]
contempt has joined #ocaml
yminsky has quit [Quit: yminsky]
avsm has joined #ocaml
contempt has quit [Ping timeout: 244 seconds]
contempt has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
jonludlam has quit [Ping timeout: 264 seconds]
yminsky has joined #ocaml
<Kakadu> hmmm
<Kakadu> my mind does some tricks
ygrek has quit [Ping timeout: 244 seconds]
yminsky has quit [Client Quit]
zpe has joined #ocaml
<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_
contempt has quit [Ping timeout: 265 seconds]
zpe has quit [Ping timeout: 272 seconds]
<adrien> also, I find flyspray (bug tracker) fairly awesome: http://win-builds.org/bugs/index.php?project=1&do=roadmap&switch=1
contempt has joined #ocaml
<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]
xlq has joined #ocaml
<xlq> In "module inclusion" here: http://ocaml.org/tutorials/modules.html it doesn't say how to declare the signature of the List module in extensions.mli.
<xlq> Would extensions.mli have to re-declare everything in the built-in List module?
contempt has quit [Ping timeout: 244 seconds]
<gasche> which adresses a slightly more general question
contempt has joined #ocaml
<xlq> Thanks.
<flux> tobiasbora, I think you are correct, it was rather a guess-based answer :-)
<flux> tobiasbora, I think the most likely contender is Jane Street Core then, I don't remember seeing those in Batteries
mort___ has joined #ocaml
* dramas perks up
<dramas> flux: what are you referring to?
<flux> dramas, tobiasbora is looking for a solution to find the public ip address from ocaml, both in Linux and Windows
<flux> btw, the related POSIX function would be getifaddrs, perhaps that is helpful
<dramas> what has this to do with jane street
contempt has quit [Ping timeout: 245 seconds]
<flux> they have an ocaml library which might have that function, tested as well, and hopefully in cross-platform fashion
contempt has joined #ocaml
<tobiasBora> flux: By public adresse, you mean public in the local network ?
<smondet> flux: I don't know if anyone has ever compiled Core on windows
<flux> smondet, oh :(
<flux> that's quite a big minus for it then
<smondet> they say they work on that
<flux> tobiasbora, I imagined it might be sufficient for you to find the address of your local network interfaces
<flux> tobiasbora, if you want to know what is your public ip address as seen from the Internet, you need to use an internet service for that
<tobiasBora> Yes that's what I want
skchrko has quit [Quit: Leaving]
<tobiasBora> (I don't need public ip from the internet)
gour_ is now known as gour
<tobiasBora> I found tuntap, it seems to propose the function getifaddrs
<gasche> # let open Unix in getaddrinfo "google.com" "http" [] |> List.hd |> function {ai_addr = ADDR_INET (addr, _)} -> string_of_inet_addr addr | _ -> assert false;;
<gasche> - : string = "173.194.45.68"
<gasche> doesn't that work on Windows?
<maurer> gasche: I think he wants the local ip fo rsomething though
<maurer> gasche: also, you ran "open Unix"
<maurer> which will likely fail on windows
<gasche> well most of Unix works on Windows as well
<maurer> ...if it works on windows too, why is it in the Unix module? (honest question)
<pippijn> - : string = "2a00:1450:4001:80b::1001"
<flux> gasche, but that doesn't find the IP of your local interface
<gasche> right, I didn't understand that part of the requirement
<gasche> maurer: Unix is a name for "the module for system programming"
<gasche> but not every function works on Windows, see http://caml.inria.fr/pub/docs/manual-ocaml/libunix.html
<gasche> (it looks like IPV6 is not supported under Windows in particulier)
<pippijn> # let open Unix in getaddrinfo "facebook.com" "http" [] |> List.hd |> function {ai_addr = ADDR_INET (addr, _)} -> string_of_inet_addr addr | _ -> assert false;;
<pippijn> - : string = "2a03:2880:2110:df07:face:b00c:0:1"
<pippijn> face:booc
<pippijn> b00c*
<gasche> hm
peterbb has joined #ocaml
contempt has quit [Ping timeout: 265 seconds]
<pippijn> (linux btw)
<tobiasBora> gasche: I've a syntax error : Error: Unbound value |>
contempt has joined #ocaml
<gasche> it's only standard since OCaml 4.01
<gasche> let (|>) x f = f x;;
mcclurmc has joined #ocaml
ok259 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest51661
mcclurmc has quit [Remote host closed the connection]
<tobiasBora> gasche: This command seems to give the ip of google, because I've differents results each time I run this function.
<gasche> sorry if I wasn't clear
<gasche> I hadn't understood that you wanted *your* IP
<gasche> and produced a code snippet to lookup arbitary domain names
<gasche> I don't know how to get your own IP
<tobiasBora> Ah ok.
<pippijn> whatismyip.com
<pippijn> tobiasBora: you want your local ip or your public ip?
<flux> :-)
jonludlam has quit [Ping timeout: 252 seconds]
<tobiasBora> For the moment the local, and after I may need the public one ^^
mcclurmc has joined #ocaml
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
companion_square is now known as companion_cube
<ygrek> # ExtUnix.Specific.getifaddrs();;
<ygrek> - : (string * string) list =
<ygrek> [("wlan0", "192.168.0.12"); ("tun0", "10.9.8.38"); ("lo", "127.0.0.1")]
Kakadu has quit [Quit: Page closed]
contempt has quit [Ping timeout: 272 seconds]
jonludlam has joined #ocaml
contempt has joined #ocaml
<tobiasBora> YES !
Kakadu has joined #ocaml
<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]
NoNNaN has joined #ocaml
csakatoku has joined #ocaml