#ocaml on 2023-07-25 — irc logs at libera.irclog.whitequark.org

2023-02-19 03:13 companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.0 released(!!1!): https://ocaml.org/releases/5.0.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/

00:09 xd1le has quit [Quit: xd1le]

00:14 <discocaml> <darrenldl> yep, mostly cause the tests are heavy and i dont want then to trigger on every install

00:14 <discocaml> <darrenldl> them*

00:57 perrierjouet has quit [Quit: WeeChat 4.0.2]

00:57 perrierjouet has joined #ocaml

01:33 MarvelousWololo has quit [Ping timeout: 260 seconds]

01:45 noddy has quit [Quit: WeeChat 3.8]

01:48 noddy has joined #ocaml

01:55 noddy has quit [Quit: WeeChat 4.0.2]

02:14 chrisz has quit [Ping timeout: 245 seconds]

02:16 chrisz has joined #ocaml

02:16 azimut has quit [Ping timeout: 240 seconds]

02:33 spip has quit [Quit: Konversation terminated!]

02:54 noddy has joined #ocaml

02:55 waleee has quit [Ping timeout: 245 seconds]

03:22 wingsorc has quit [Remote host closed the connection]

03:22 wingsorc has joined #ocaml

03:39 MarvelousWololo has joined #ocaml

06:40 fds has quit [Ping timeout: 258 seconds]

06:47 emp has quit [Quit: ZNC 1.8.2 - https://znc.in]

06:49 emp has joined #ocaml

06:51 Putonlalla has quit [Ping timeout: 245 seconds]

06:52 Putonlalla has joined #ocaml

07:34 <discocaml> <Kakadu> What is recommended (in 2023) manual for getting ocaml cross compiler (to riscv)? Could you recommend any?

07:41 Serpent7776 has joined #ocaml

07:44 bartholin has joined #ocaml

08:48 MarvelousWololo has quit [Read error: Connection reset by peer]

09:31 perrierjouet has quit [Quit: WeeChat 4.0.2]

09:32 perrierjouet has joined #ocaml

09:33 <discocaml> <kakadu18> At least now I know that `./configure --target=riscv64-linux-gnu --with-sysroot=/lib/riscv64-linux-gnu && make` is not enough...

10:00 spip has joined #ocaml

10:26 bartholin has quit [Quit: Leaving]

10:48 wingsorc has quit [Ping timeout: 244 seconds]

11:56 azimut has joined #ocaml

12:13 waleee has joined #ocaml

12:32 bartholin has joined #ocaml

12:52 Tuplanolla has joined #ocaml

12:57 gareppa has joined #ocaml

13:29 xd1le has joined #ocaml

13:39 tomwinston has joined #ocaml

13:45 waleee has quit [Ping timeout: 245 seconds]

13:48 Anarchos has joined #ocaml

14:00 tomwinston has quit [Ping timeout: 246 seconds]

14:07 m5zs7k has quit [Ping timeout: 264 seconds]

14:09 m5zs7k has joined #ocaml

14:13 Anarchos has quit [Ping timeout: 240 seconds]

15:23 <discocaml> <anmonteiro> This builds a cross compiler: https://github.com/nix-ocaml/nix-overlays/blob/master/cross/ocaml-compiler.nix

16:25 kakadu has joined #ocaml

16:26 kakadu has quit [Remote host closed the connection]

16:32 MarvelousWololo has joined #ocaml

16:41 Anarchos has joined #ocaml

16:54 bgs has joined #ocaml

17:02 Anarchos has quit [Ping timeout: 260 seconds]

17:04 waleee has joined #ocaml

17:43 gareppa has quit [Quit: WeeChat 3.8]

17:54 TrillionEuroNote has quit [Ping timeout: 244 seconds]

17:56 TrillionEuroNote has joined #ocaml

18:01 ns12 has joined #ocaml

18:03 bartholin has quit [Ping timeout: 240 seconds]

18:05 bartholin has joined #ocaml

18:27 gareppa has joined #ocaml

18:40 cedb has quit [Quit: WeeChat 4.0.2]

18:57 Anarchos has joined #ocaml

19:06 Geekingfrog_ has joined #ocaml

19:12 Geekingfrog_ is now known as Geekingfrog

19:14 alexherbo2 has joined #ocaml

19:28 ced1 has joined #ocaml

19:59 Anarchos has quit [Quit: Vision[]: i've been blurred!]

20:07 bgs has quit [Remote host closed the connection]

20:15 Serpent7776 has quit [Ping timeout: 244 seconds]

20:15 alexherbo2 has quit [Remote host closed the connection]

20:16 alexherbo2 has joined #ocaml

20:22 alexherbo2 has quit [Ping timeout: 246 seconds]

20:25 wingsorc has joined #ocaml

20:30 TrillionEuroNote has quit [Ping timeout: 250 seconds]

20:31 infinity0 has quit [Remote host closed the connection]

20:32 TrillionEuroNote has joined #ocaml

20:33 infinity0 has joined #ocaml

20:53 gareppa has quit [Quit: WeeChat 3.8]

21:03 TrillionEuroNote has quit [Ping timeout: 246 seconds]

21:05 TrillionEuroNote has joined #ocaml

21:10 TrillionEuroNote has quit [Ping timeout: 250 seconds]

21:11 TrillionEuroNote has joined #ocaml

21:36 bartholin has quit [Quit: Leaving]

21:37 TrillionEuroNote has quit [Ping timeout: 245 seconds]

21:39 TrillionEuroNote has joined #ocaml

21:55 TrillionEuroNote has quit [Ping timeout: 250 seconds]

21:57 TrillionEuroNote has joined #ocaml

22:14 TrillionEuroNote has quit [Ping timeout: 250 seconds]

22:16 TrillionEuroNote has joined #ocaml

22:25 TrillionEuroNote has quit [Ping timeout: 264 seconds]

22:27 TrillionEuroNote has joined #ocaml

22:35 leah2 has quit [Ping timeout: 264 seconds]

22:41 aljazmc has quit [Quit: Leaving]

22:42 leah2 has joined #ocaml

22:47 TrillionEuroNote has quit [Ping timeout: 245 seconds]

22:48 Tuplanolla has quit [Quit: Leaving.]

22:49 TrillionEuroNote has joined #ocaml

22:50 xd1le has quit [Quit: xd1le]

23:25 ced1 is now known as cedb

23:30 TrillionEuroNote has quit [Ping timeout: 246 seconds]

23:35 TrillionEuroNote has joined #ocaml

23:48 Soni has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]

23:49 Soni has joined #ocaml