Monday, 2022-07-04

*** tpb <[email protected]> has joined #yosys00:00
mwkyeah, we're working on proper docs00:05
mwkit's a fairly new thing00:06
lampso er00:26
lampif i would like this to be parameterizable00:26
lampcan i somehow like...programmatically generate narrow ports to stick together?00:26
mwkgenerate-for works, as usual00:27
mwkor normal for with const bounds, in a proess00:27
mwkprocess00:27
lampah right, sry00:27
*** mobius <[email protected]> has quit IRC (*.net *.split)04:26
*** grmbl <grmbl!~grmbl@user/grmr> has quit IRC (*.net *.split)04:26
*** mobius <[email protected]> has joined #yosys04:27
*** GenTooMan <[email protected]> has quit IRC (Ping timeout: 256 seconds)04:27
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys04:29
*** grmbl <grmbl!~grmbl@user/grmr> has joined #yosys04:31
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 255 seconds)04:34
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys04:35
*** unkraut <[email protected]> has quit IRC (*.net *.split)04:37
*** bq <[email protected]> has quit IRC (*.net *.split)04:37
*** lofty <[email protected]> has quit IRC (*.net *.split)04:37
*** unkraut <[email protected]> has joined #yosys04:37
*** lofty <[email protected]> has joined #yosys04:39
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Excess Flood)04:39
*** bq <[email protected]> has joined #yosys04:39
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys04:40
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 260 seconds)05:06
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys05:19
*** FabM <FabM!~FabM@2a03:d604:103:600:f8e0:3858:f7ab:dcce> has joined #yosys06:08
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 264 seconds)07:00
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys07:01
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:a4d2:afe5:3d05:a77b> has joined #yosys09:28
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:a4d2:afe5:3d05:a77b> has quit IRC (Ping timeout: 255 seconds)10:26
*** Guest15 <[email protected]> has joined #yosys10:50
Guest15Hi, is anyone running yosys on windows? If I try to run it then I get no output and it just closes again. Running it with strace in MinGW tells me that a few threads exited with return code 1 but no more info. Does anyone have a hint?10:59
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:94e6:9a95:9d44:f879> has joined #yosys11:22
*** Guest15 <[email protected]> has quit IRC (Quit: Client closed)12:30
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:94e6:9a95:9d44:f879> has quit IRC (Ping timeout: 240 seconds)13:23
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 240 seconds)13:40
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:cd84:da79:7bea:6100> has joined #yosys13:47
*** lumo_e <lumo_e!~enrico@2001:b07:5d38:4002:cd84:da79:7bea:6100> has quit IRC (Client Quit)13:47
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys13:54
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 264 seconds)14:27
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys14:28
somlogatecat: both trellis (https://bugzilla.redhat.com/show_bug.cgi?id=2103635) and nextpnr (https://bugzilla.redhat.com/show_bug.cgi?id=2103645) fail to build on the upcoming Fedora with Python 3.11. Apparently it's because of the bundled pybind11. I tried building against the unbundled pybind11 2.9.2 shipping in Fedora rawhide (-DPYBIND11_INCLUDE_DIR="/usr/include/bybind11/" on the cmake build command line) but that didn't seem to have any effect...15:16
tpbTitle: Invalid Bug ID (at bugzilla.redhat.com)15:16
gatecatsomlo: have you tried replacing the vendored pybind11? otherwise I can look at this but it might be tomorrow now 15:20
*** tedh <[email protected]> has joined #yosys15:40
somlogatecat: haven't tried replacing pybind11 myself -- haven't looked closely inside the repo before, so not sure how much moore complex it would be beyond removing a directory and untar-ing sometihng in its place :)17:23
somloI also won't have a chance to look into it till tomorrow, there's non-computer related things happening around me today :)17:23
gatecathopefully it's just that too17:24
gatecatsame for me tonight...17:24
somloif you don't get there before me, I'd also be interested in making it possible to build against an external library. fedora (still, for now) seems to like it that way, and it's one of the reasons I (still, for now) like fedora :D17:25
*** duck2 <[email protected]> has joined #yosys17:48
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has quit IRC (Ping timeout: 244 seconds)18:04
*** Raito_Bezarius <Raito_Bezarius!~Raito@wireguard/tunneler/raito-bezarius> has joined #yosys18:17
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 276 seconds)19:38
*** Guest15 <[email protected]> has joined #yosys20:18
*** Guest15 <[email protected]> has quit IRC (Client Quit)20:20
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 264 seconds)20:40
*** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys20:43
somlogatecat: had a bit of unexpected quiet time, so: https://github.com/YosysHQ/prjtrellis/pull/191 and https://github.com/YosysHQ/nextpnr/pull/100222:00
somloI'm expecting just bumping the bundled/vendored pybind11 should also work, but IMHO it's nice to have the option to use either that or to humour distros like fedora which prefer using their own packaged dependencies :)22:01
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)22:03
*** nonchip <[email protected]> has joined #yosys22:03

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!