| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** Stary <Stary!Stary@hacksoc/infrastructure> has quit IRC (Ping timeout: 245 seconds) | 04:01 | |
| *** DoubleJ <DoubleJ!~DoubleJ@user/doublej> has quit IRC (Ping timeout: 252 seconds) | 04:02 | |
| *** DoubleJ <DoubleJ!~DoubleJ@user/doublej> has joined #yosys | 04:15 | |
| *** Stary <Stary!Stary@hacksoc/infrastructure> has joined #yosys | 04:17 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 276 seconds) | 04:22 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:94f4:2035:4181:5124> has quit IRC (Read error: Connection reset by peer) | 08:01 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:d94f:eabc:6fe9:c50c> has joined #yosys | 08:02 | |
| *** krispaul <[email protected]> has joined #yosys | 08:04 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 260 seconds) | 08:04 | |
| *** FabM <[email protected]> has joined #yosys | 08:10 | |
| *** derekn <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 08:48 | |
| *** derekn <[email protected]> has joined #yosys | 09:05 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has joined #yosys | 09:21 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 252 seconds) | 11:36 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys | 12:44 | |
| *** FabM <FabM!~FabM@2a03:d604:108:3f00:d90f:1d5a:f709:a45e> has joined #yosys | 13:31 | |
| *** krispaul <[email protected]> has quit IRC (Quit: WeeChat 3.5) | 14:20 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 14:20 | |
| *** FaRiD <[email protected]> has joined #yosys | 15:15 | |
| *** FaRiD <[email protected]> has left #yosys | 15:17 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Read error: Connection reset by peer) | 15:26 | |
| *** FabM <FabM!~FabM@2a03:d604:108:3f00:d90f:1d5a:f709:a45e> has joined #yosys | 15:27 | |
| *** profi200 <profi200!~profi200@user/meow/profi200> has joined #yosys | 15:56 | |
| *** remexre <remexre!~remexre@user/remexre> has left #yosys | 18:02 | |
| *** remexre <remexre!~remexre@user/remexre> has joined #yosys | 18:02 | |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has quit IRC (Ping timeout: 252 seconds) | 18:13 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::3c> has joined #yosys | 18:14 | |
| so-offish | What's the command to run the Nix flake in the repo? I'm used to just doing "nix develop" if it's a flake, but I'm getting an error - I've already done `git submodule update --init --recursive`; it says it can't find a path to the abc source in the Nix store. Is it like, add --impure and there's a trick to it or something? | 18:23 |
|---|---|---|
| jix | it might be just out of date :/ | 18:38 |
| jix | oh nm, said that due to something I misread and in that case I don't know anything about this | 18:42 |
| so-offish | darn | 18:49 |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has joined #yosys | 19:15 | |
| jix | https://github.com/NixOS/nix/issues/11859 seems and running `nix build '?submodules=1#'` in a yosys checkout avoids the error you mentioned (that I can reproduce otherwise) | 19:16 |
| *** lxsameer <lxsameer!~lxsameer@Serene/lxsameer> has quit IRC (Ping timeout: 272 seconds) | 19:57 | |
| so-offish | jix: Yup, that was it! I was running the line in the comment, which was `nix build ?submodules=1` | 20:09 |
| so-offish | What is that octothorpe doing there anyway? | 20:09 |
| jix | according to the issue and the linked issue from that issue it's a workaround to a recent nix bug in whatever parses that | 20:09 |
| jix | I'm not a regular nix user, so I don't know more about this | 20:10 |
| so-offish | Ohhh, that makes total sense to me: there have been a bunch of regressions in Cppnix, and there are some crufty spots in the semantics of the language itself; finding something like this is unsurprising to me. | 20:15 |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 245 seconds) | 20:37 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:42 | |
| *** nonchip <[email protected]> has joined #yosys | 23:42 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!