00:18
kleisli has quit [Remote host closed the connection]
00:19
kleisli has joined #ocaml
00:29
jaar has quit [Ping timeout: 272 seconds]
01:25
mfp has quit [Ping timeout: 256 seconds]
01:30
ziyourenxiang has joined #ocaml
02:24
vicfred has joined #ocaml
02:48
vicfred has quit [Quit: Leaving]
03:14
jao has quit [Ping timeout: 265 seconds]
04:00
ygrek has quit [Ping timeout: 256 seconds]
04:02
mbuf has joined #ocaml
04:07
kleisli has quit [Remote host closed the connection]
04:08
kleisli has joined #ocaml
04:25
raver has quit [Remote host closed the connection]
04:51
_whitelogger has joined #ocaml
05:11
vicfred has joined #ocaml
05:42
<
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?
05:42
<
mbuf >
Wrong channel. Posted in #coq.
06:07
raver has joined #ocaml
06:17
narimiran has joined #ocaml
07:25
chripell has joined #ocaml
07:29
<
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)
07:30
<
Armael >
so I tried to add "-I %{lib:cairo2}" to c_flags, but dune tells that it isn't allowed
07:30
<
Armael >
what is the proper way of doing that then?
07:30
<
Armael >
(cc rgrinberg)
07:32
Haudegen has joined #ocaml
07:39
<
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"
07:45
<
vsiles >
basically call a small ocaml code that generate the right path and put that into a generated dune file
07:46
<
Armael >
yes so I'm already using Configurator for generating the c flags through pkg-config
07:46
<
Armael >
but here dune itself knows the path to the cairo .h file
07:46
shmibs has quit [Quit: leaving =o]
07:46
<
Armael >
(but yes I just checked and I can indeed pass this information to the configurator program which then gives it back to dune..)
07:47
jaar has joined #ocaml
07:52
shmibs has joined #ocaml
08:39
ggole has joined #ocaml
08:41
amiloradovsky has joined #ocaml
09:15
fritjof has joined #ocaml
09:42
mfp has joined #ocaml
10:45
Anarchos has joined #ocaml
10:47
TheLemonMan has joined #ocaml
10:59
narimiran has quit [Ping timeout: 250 seconds]
11:13
narimiran has joined #ocaml
11:37
kleisli has quit [Remote host closed the connection]
11:37
kleisli has joined #ocaml
11:41
kleisli has quit [Remote host closed the connection]
11:42
kleisli has joined #ocaml
11:43
kleisli has quit [Remote host closed the connection]
11:43
kleisli has joined #ocaml
12:03
Haudegen has quit [Read error: Connection reset by peer]
12:18
amiloradovsky has quit [Remote host closed the connection]
12:18
amiloradovsky has joined #ocaml
12:32
Haudegen has joined #ocaml
12:37
ygrek has joined #ocaml
12:39
jao has joined #ocaml
12:40
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
12:43
kleisli has quit [Remote host closed the connection]
12:44
kleisli has joined #ocaml
13:07
fritjof has quit [Ping timeout: 260 seconds]
13:16
fritjof has joined #ocaml
13:19
Haudegen has quit [Quit: Bin weg.]
13:39
kleisli has quit [Remote host closed the connection]
13:40
kleisli has joined #ocaml
13:43
kleisli has quit [Remote host closed the connection]
13:44
kleisli has joined #ocaml
13:50
kleisli has quit [Remote host closed the connection]
13:51
kleisli has joined #ocaml
13:57
kleisli has quit [Remote host closed the connection]
13:58
kleisli has joined #ocaml
14:01
kleisli has quit [Remote host closed the connection]
14:01
kleisli has joined #ocaml
14:07
FreeBirdLjj has joined #ocaml
14:08
kleisli has quit [Remote host closed the connection]
14:09
kleisli has joined #ocaml
14:11
FreeBirdLjj has quit [Ping timeout: 260 seconds]
14:13
Haudegen has joined #ocaml
14:23
kleisli has quit [Remote host closed the connection]
14:23
kleisli has joined #ocaml
14:24
kleisli has quit [Remote host closed the connection]
14:25
kleisli has joined #ocaml
14:44
kleisli has quit [Remote host closed the connection]
14:45
kleisli has joined #ocaml
14:46
samrat[m] has joined #ocaml
15:03
fritjof has quit [Ping timeout: 265 seconds]
15:46
kleisli has quit [Remote host closed the connection]
15:47
kleisli has joined #ocaml
16:06
kleisli has quit [Remote host closed the connection]
16:07
kleisli has joined #ocaml
16:11
kleisli has quit [Remote host closed the connection]
16:12
kleisli has joined #ocaml
16:17
ziyourenxiang has quit [Ping timeout: 256 seconds]
17:01
ggole has quit [Quit: Leaving]
17:12
averell has quit [Quit: .]
17:25
mbuf has quit [Quit: Leaving]
17:35
kleisli has quit [Remote host closed the connection]
17:35
kleisli has joined #ocaml
17:43
tane_ has joined #ocaml
17:43
chripell has quit [Ping timeout: 258 seconds]
18:09
raver has quit [Read error: Connection reset by peer]
18:21
kleisli has quit [Remote host closed the connection]
18:23
kleisli has joined #ocaml
18:23
kleisli has quit [Remote host closed the connection]
18:39
Adso_of_Jelq has quit [Excess Flood]
18:39
Adso_of_Jelq has joined #ocaml
18:59
oriba58 has joined #ocaml
18:59
<
oriba58 >
Is it possible to export the config of a package as json-file?
18:59
<
oriba58 >
from opam
19:11
spew has joined #ocaml
19:15
raver has joined #ocaml
19:18
farn has quit [Quit: farn]
19:19
farn has joined #ocaml
19:30
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
20:17
tautologico has joined #ocaml
20:23
Haudegen has quit [Quit: Bin weg.]
20:29
narimiran has quit [Quit: leaving]
21:14
oriba58 has left #ocaml [#ocaml]
21:33
Haudegen has joined #ocaml
22:24
tane_ has quit [Quit: Leaving]
23:18
Haudegen has quit [Ping timeout: 256 seconds]
23:39
spew has quit [Quit: Connection closed for inactivity]
23:43
TakinOver_ has quit [Remote host closed the connection]
23:53
amiloradovsky has quit [Ping timeout: 260 seconds]