#ocaml on 2022-07-30 — irc logs at libera.irclog.whitequark.org

2022-03-30 13:11 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:07 wingsorc has quit [Ping timeout: 240 seconds]

00:14 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

00:37 adanwan has quit [Ping timeout: 268 seconds]

00:39 adanwan has joined #ocaml

00:52 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

00:54 waleee has quit [Ping timeout: 264 seconds]

00:58 williewillus_ has joined #ocaml

01:10 rgrinberg has joined #ocaml

01:33 John_Ivan has quit [Ping timeout: 268 seconds]

01:51 Haudegen has quit [Ping timeout: 252 seconds]

02:36 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

02:36 adanwan has quit [Remote host closed the connection]

02:37 adanwan has joined #ocaml

02:49 terrorjack has quit [Quit: The Lounge - https://thelounge.chat]

02:51 terrorjack has joined #ocaml

03:02 chrisz has quit [Ping timeout: 252 seconds]

03:04 chrisz has joined #ocaml

03:06 rgrinberg has joined #ocaml

03:14 Sankalp- has joined #ocaml

03:14 Sankalp has quit [Ping timeout: 268 seconds]

03:14 Sankalp- is now known as Sankalp

03:18 rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

03:21 adanwan has quit [Remote host closed the connection]

03:22 adanwan has joined #ocaml

04:26 adanwan_ has joined #ocaml

04:27 adanwan has quit [Remote host closed the connection]

05:31 trev has joined #ocaml

05:53 spip has joined #ocaml

05:57 azimut has joined #ocaml

06:07 olle has joined #ocaml

06:08 olle has quit [Remote host closed the connection]

06:23 williewillus_ has quit [Quit: Leaving]

06:55 adanwan_ has quit [Write error: Connection reset by peer]

06:55 jpds1 has quit [Remote host closed the connection]

06:55 adanwan has joined #ocaml

06:55 jpds1 has joined #ocaml

08:46 Tuplanolla has joined #ocaml

08:50 jpds1 has quit [Remote host closed the connection]

08:52 jpds1 has joined #ocaml

09:06 Haudegen has joined #ocaml

10:22 bartholin has joined #ocaml

11:04 xgqt has quit [Ping timeout: 245 seconds]

11:05 xgqt has joined #ocaml

11:10 bartholin has quit [Ping timeout: 268 seconds]

11:23 bartholin has joined #ocaml

11:25 omegatron has joined #ocaml

11:42 sonologico has joined #ocaml

11:53 mbuf has joined #ocaml

12:43 sonologico has quit [Ping timeout: 244 seconds]

12:48 sonologico has joined #ocaml

13:01 bobo_ has joined #ocaml

13:02 spip has quit [Ping timeout: 252 seconds]

13:02 sonologico has quit [Ping timeout: 268 seconds]

13:04 sonologico has joined #ocaml

13:10 bartholin has quit [Ping timeout: 252 seconds]

13:14 wingsorc has joined #ocaml

13:17 sonologico has quit [Ping timeout: 252 seconds]

13:23 bartholin has joined #ocaml

13:27 John_Ivan has joined #ocaml

13:28 Anarchos has joined #ocaml

13:31 <Anarchos> how to install a runtime with debug symbols through opam ?

13:32 <companion_cube> Stop asking the same question all the time

13:35 <Anarchos> companion_cube sorry, i thought nobody saw it.

13:45 <d_bot> <geoff> Et7f3 already answered you Anarchos:

13:45 <d_bot> <geoff>

13:45 <d_bot> <geoff> ./configure CFGLAGS='-ggdb'; make; make install

13:49 <Anarchos> oh i did'nt see this answer. But i use 'opam pin <path to my ocaml local source tree> to compile and install the compiler, so i am not sure this answer is applicable to my setup

13:57 hasbae has joined #ocaml

14:02 szkl has quit [Quit: Connection closed for inactivity]

14:21 zebrag has joined #ocaml

14:32 sonologico has joined #ocaml

14:50 sonologico has quit [Ping timeout: 268 seconds]

15:10 bartholin has quit [Ping timeout: 268 seconds]

15:12 sonologico has joined #ocaml

15:21 <octachron> The runtime is always compiled with `-g`.

15:23 bartholin has joined #ocaml

15:30 Anarchos has quit [Ping timeout: 252 seconds]

15:35 sonologico has quit [Ping timeout: 252 seconds]

15:49 sonologico has joined #ocaml

16:01 kakadu_ has quit [Remote host closed the connection]

16:20 mbuf has quit [Quit: Leaving]

16:28 sonologico has quit [Ping timeout: 252 seconds]

16:55 cedric has joined #ocaml

17:09 williewillus_ has joined #ocaml

17:10 bartholin has quit [Ping timeout: 268 seconds]

17:13 Techcable has quit [Remote host closed the connection]

17:15 Techcable has joined #ocaml

17:20 trev has quit [Remote host closed the connection]

17:23 bartholin has joined #ocaml

17:24 cedric has quit [Quit: Konversation terminated!]

17:59 bartholin has quit [Ping timeout: 252 seconds]

18:34 bartholin has joined #ocaml

18:34 <d_bot> <Et7f3 (@me on reply)> In the opam file ./configure is called ? So just modify it. https://github.com/ocaml/opam-repository/blob/3d455d59622e1fc4afaca747d0bb60440015528e/packages/ocaml-base-compiler/ocaml-base-compiler.5.0.0%7Ealpha1/opam#L24 but from octachron you can just use your compiler (you might need to add -g for your ocaml file)

18:49 azimut has quit [Remote host closed the connection]

18:49 azimut has joined #ocaml

19:27 kaustuv has joined #ocaml

19:43 azimut has quit [Ping timeout: 268 seconds]

19:46 azimut has joined #ocaml

20:03 sonologico has joined #ocaml

20:06 azimut has quit [Ping timeout: 268 seconds]

20:07 jpds1 has quit [Ping timeout: 268 seconds]

20:07 waleee has joined #ocaml

20:08 jpds1 has joined #ocaml

20:10 waleee has quit [Client Quit]

20:12 sonologico has quit [Ping timeout: 245 seconds]

20:16 sonologico has joined #ocaml

20:16 kaustuv has left #ocaml [ERC 5.4.1 (IRC client for GNU Emacs 27.1)]

20:21 cedric has joined #ocaml

20:29 sonologico has quit [Ping timeout: 268 seconds]

20:45 jpds1 has quit [Ping timeout: 268 seconds]

20:46 jpds1 has joined #ocaml

20:53 sonologico has joined #ocaml

21:48 omegatron has quit [Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.]

22:00 bartholin has quit [Quit: Leaving]

22:06 cedric has quit [Quit: Konversation terminated!]

22:32 sonologico has quit [Ping timeout: 268 seconds]

22:36 wingsorc has quit [Ping timeout: 240 seconds]

22:51 jpds1 has quit [Ping timeout: 268 seconds]

22:52 jpds1 has joined #ocaml

23:06 infinity0 has quit [Remote host closed the connection]

23:08 Tuplanolla has quit [Quit: Leaving.]