adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
jaar has quit [Ping timeout: 272 seconds]
mfp has quit [Ping timeout: 256 seconds]
ziyourenxiang has joined #ocaml
kotrcka has left #ocaml ["https://quassel-irc.org - Chat comfortably. Anywhere."]
vicfred has joined #ocaml
vicfred has quit [Quit: Leaving]
jao has quit [Ping timeout: 265 seconds]
ygrek has quit [Ping timeout: 256 seconds]
mbuf has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
raver has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
vicfred has joined #ocaml
<mbuf> In Fact not_implies_our_not : forall (P : Prop), not P -> (forall (Q : Prop), P -> Q), where H : ~ P, how does "destruct H" causes Q which needs to be proved to be changed to P?
<mbuf> Wrong channel. Posted in #coq.
raver has joined #ocaml
narimiran has joined #ocaml
chripell has joined #ocaml
<Armael> I'm building a library with C stubs with dune, and the C file needs to include a .h file installed by an opam library (cairo2)
<Armael> so I tried to add "-I %{lib:cairo2}" to c_flags, but dune tells that it isn't allowed
<Armael> what is the proper way of doing that then?
<Armael> (cc rgrinberg)
Haudegen has joined #ocaml
<Armael> one workaround that I found is to pass the cairo2 location as a flag to the configurator program that I have, and make it output -I "the directory"
<vsiles> Armael: we do dirty things like https://github.com/facebook/hhvm/blob/master/hphp/hack/src/options/discover.ml for this kind of issue
<vsiles> basically call a small ocaml code that generate the right path and put that into a generated dune file
<Armael> yes so I'm already using Configurator for generating the c flags through pkg-config
<Armael> but here dune itself knows the path to the cairo .h file
shmibs has quit [Quit: leaving =o]
<Armael> (but yes I just checked and I can indeed pass this information to the configurator program which then gives it back to dune..)
jaar has joined #ocaml
shmibs has joined #ocaml
ggole has joined #ocaml
amiloradovsky has joined #ocaml
fritjof has joined #ocaml
mfp has joined #ocaml
Anarchos has joined #ocaml
TheLemonMan has joined #ocaml
narimiran has quit [Ping timeout: 250 seconds]
narimiran has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
Haudegen has joined #ocaml
ygrek has joined #ocaml
jao has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
fritjof has quit [Ping timeout: 260 seconds]
fritjof has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
FreeBirdLjj has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
samrat[m] has joined #ocaml
fritjof has quit [Ping timeout: 265 seconds]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
ziyourenxiang has quit [Ping timeout: 256 seconds]
ggole has quit [Quit: Leaving]
averell has quit [Quit: .]
mbuf has quit [Quit: Leaving]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
tane_ has joined #ocaml
chripell has quit [Ping timeout: 258 seconds]
raver has quit [Read error: Connection reset by peer]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
Adso_of_Jelq has quit [Excess Flood]
Adso_of_Jelq has joined #ocaml
oriba58 has joined #ocaml
<oriba58> Is it possible to export the config of a package as json-file?
<oriba58> from opam
spew has joined #ocaml
raver has joined #ocaml
farn has quit [Quit: farn]
farn has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
tautologico has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
narimiran has quit [Quit: leaving]
oriba58 has left #ocaml [#ocaml]
Haudegen has joined #ocaml
tane_ has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 256 seconds]
spew has quit [Quit: Connection closed for inactivity]
TakinOver_ has quit [Remote host closed the connection]
amiloradovsky has quit [Ping timeout: 260 seconds]