adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
malina has joined #ocaml
AtumT has quit [Quit: AtumT]
mfp has quit [Ping timeout: 244 seconds]
tormen has joined #ocaml
tormen_ has quit [Ping timeout: 245 seconds]
malina has quit [Remote host closed the connection]
ggole has joined #ocaml
malina has joined #ocaml
gravicappa has joined #ocaml
kamog has joined #ocaml
<keep-learning[m]> Hi everyone, I am not sure if it correct flateform, but I can't find any other. I am trying to install Frama-c using opam, but getting this error https://gist.github.com/mukeshtiwari/34befd5ffcd988b2aa66bb9d7c9303ba
<gravicappa> Do you have those libraries installed (libgnomecanvas-dev, gtksourceview-dev)?
<keep-learning[m]> gravicappa: Yes, but I am bit confused. I have install gtksourceview, not gtksourceview-dev. Warning: gtksourceview 2.10.5_4 is already installed and up-to-date
<keep-learning[m]> Do I need to install gtksourceview-dev ?
<letoh> gtksourceview is only for runtime. you need *-dev packages to build c stubs
<keep-learning[m]> letoh: Thanks, but I can find any package using homebrew. brew search gtksourceview-dev gives me No formula or cask found for "gtksourceview-dev".
<gravicappa> Also you may want to check if `pkg-config` is present.
<keep-learning[m]> I have seen it in the past, but it did not worked for me.
<letoh> do you have libffi and gobject-2.0 installed?
<keep-learning[m]> I have installed libffi, but not gobject.
<keep-learning[m]> homebrew can't find gobject.
<keep-learning[m]> and it gave me three other similar names gobject-introspection pygobject ✔ pygobject3
<gravicappa> Isn't gobject a part of glib?
<letoh> keep-learning: i found this: https://github.com/ocaml/opam-repository/issues/13709
<keep-learning[m]> letoh: Seems like it solved the issue. I am surprised that my search never lead to this link :(
<keep-learning[m]> Thank you very much
<letoh> keep-learning: :-)
narimiran has joined #ocaml
vesper11 has quit [Ping timeout: 245 seconds]
malina has quit [Remote host closed the connection]
vesper11 has joined #ocaml
kakadu has joined #ocaml
sonologico has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
SpiceGuid has joined #ocaml
zolk3ri has joined #ocaml
kamog has quit [Read error: Connection reset by peer]
narimiran has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
amosbird has quit [Quit: ZNC 1.7.3 - https://znc.in]
mfp has joined #ocaml
nahra has joined #ocaml
nahra has quit [Changing host]
nahra has joined #ocaml
nahra has quit [Client Quit]
nahra has joined #ocaml
nahra has joined #ocaml
nahra has quit [Changing host]
amosbird has joined #ocaml
kark has quit [Quit: ZNC 1.7.1 - https://znc.in]
kark has joined #ocaml
AtumT has joined #ocaml
sonologico has quit [Remote host closed the connection]
sonologico has joined #ocaml
nahra has quit [Quit: leaving]
SpiceGuid has quit [Ping timeout: 258 seconds]
sonologico_ has joined #ocaml
sonologico has quit [Ping timeout: 252 seconds]
Ekho has quit [Quit: An alternate universe was just created where I didn't leave. But here, I left you. I'm sorry.]
Ekho has joined #ocaml
lalitmee has joined #ocaml
sonologico_ has quit [Quit: Leaving]
<reynir> I ran opam lint and get this warning: warning 47: Synopsis (or description first line) should start with a capital and not end with a dot
<reynir> But the opam file seems to satisfy this already https://git.data.coop/reynir/reynir.opam/src/branch/master/opam
michael__ has joined #ocaml
michael__ has quit [Quit: michael__]
variegatedvanill has joined #ocaml
variegatedvanill has quit [Remote host closed the connection]
ravenous_ has joined #ocaml
variegatedvanill has joined #ocaml
variegatedvanill is now known as analogue
narimiran has joined #ocaml
kamog has joined #ocaml
DanielRi1hman has joined #ocaml
DanielRi1hman has quit [Client Quit]
DanielRi1hman has joined #ocaml
<dinosaure> reynir: if I remmember correctly, synopsis is mandatory and description is optional
DanielRichman has quit [Ping timeout: 244 seconds]
DanielRi1hman has quit [Client Quit]
DanielRichman has joined #ocaml
jao has joined #ocaml
iZsh has quit [Quit: ZNC - http://znc.in]
iZsh has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
<reynir> Ahh! Thanks, dinosaure
lalitmee has quit [Remote host closed the connection]
lalitmee has joined #ocaml
vicfred has joined #ocaml
jnavila has joined #ocaml
ravenous_ has quit [Ping timeout: 252 seconds]
ravenou__ has joined #ocaml
tane has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
mfp has quit [Ping timeout: 244 seconds]
lalitmee has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 245 seconds]
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
mfp has joined #ocaml
Haudegen has quit [Ping timeout: 244 seconds]
ravenous_ has joined #ocaml
ravenou__ has quit [Ping timeout: 264 seconds]
ravenou__ has joined #ocaml
ravenous_ has quit [Ping timeout: 252 seconds]
malina has joined #ocaml
lalitmee has joined #ocaml
analogue has quit [Read error: Connection reset by peer]
analogue has joined #ocaml
malina has quit [Remote host closed the connection]
malina has joined #ocaml
vicfred has quit [Quit: Leaving]
analogue has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 258 seconds]
lalitmee has quit [Remote host closed the connection]
lalitmee has joined #ocaml
dmiles has quit [Ping timeout: 246 seconds]
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
ygrek has joined #ocaml
dmiles has joined #ocaml
amiloradovsky has joined #ocaml
ggole has quit [Quit: Leaving]
lalitmee has quit [Remote host closed the connection]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
ravenou__ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ocabot has quit [Ping timeout: 244 seconds]
companion_cube has quit [Ping timeout: 268 seconds]
gravicappa has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
ewanas has quit [Remote host closed the connection]
narimiran has quit [Ping timeout: 245 seconds]
tane has quit [Quit: Leaving]
bartholin has quit [Ping timeout: 245 seconds]
kakadu has quit [Remote host closed the connection]
aphprentice__ has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
Haudegen has joined #ocaml
ziyourenxiang has joined #ocaml