| *** tpb has joined #yosys | 00:00 | |
| *** atk has joined #yosys | 00:00 | |
| *** s_frit has quit IRC | 00:58 | |
| *** s_frit has joined #yosys | 00:59 | |
| *** Degi_ has joined #yosys | 01:23 | |
| *** Degi has quit IRC | 01:24 | |
| *** Degi_ is now known as Degi | 01:24 | |
| *** s_frit has quit IRC | 03:06 | |
| *** s_frit has joined #yosys | 03:07 | |
| *** citypw has joined #yosys | 03:19 | |
| *** Forty-Bot has quit IRC | 04:55 | |
| *** emeb_mac has quit IRC | 06:05 | |
| *** citypw has quit IRC | 06:31 | |
| *** vidbina has joined #yosys | 06:59 | |
| *** m4ssi has joined #yosys | 08:34 | |
| *** chipb has quit IRC | 09:00 | |
| *** chipb_ has joined #yosys | 09:00 | |
| *** adjtm_ has joined #yosys | 10:03 | |
| *** adjtm has quit IRC | 10:06 | |
| *** citypw has joined #yosys | 10:10 | |
| *** richbridger has quit IRC | 11:03 | |
| *** kraiskil has joined #yosys | 11:20 | |
| *** flaviusb has quit IRC | 11:28 | |
| *** flaviusb has joined #yosys | 11:33 | |
| *** m4ssi has quit IRC | 11:42 | |
| *** develonepi3 has joined #yosys | 12:00 | |
| *** kraiskil has quit IRC | 12:04 | |
| *** citypw has quit IRC | 12:40 | |
| *** gmc has joined #yosys | 13:32 | |
| *** futarisIRCcloud has joined #yosys | 13:59 | |
| *** s_frit has quit IRC | 14:37 | |
| *** s_frit has joined #yosys | 14:38 | |
| *** cr1901_modern has quit IRC | 15:46 | |
| *** kraiskil has joined #yosys | 16:41 | |
| *** kraiskil has quit IRC | 16:48 | |
| *** kraiskil has joined #yosys | 17:09 | |
| *** vidbina has quit IRC | 18:01 | |
| *** kraiskil has quit IRC | 18:10 | |
| *** kraiskil has joined #yosys | 18:12 | |
| develonepi3 | Hello All, Trying to update (icestorm c49586 nextpnr 4419c3 yosys d6d5c2) icestorm built ok when trying to build nextpr "cmake -DARCH=ice40 ." -- Using iCE40 chipdb: /home/devel/nextpnr/ice40/chipdb -- Configuring incomplete, errors occurred! Does anyone know what is the fix? | 18:33 |
|---|---|---|
| *** atk has quit IRC | 18:55 | |
| *** atk has joined #yosys | 19:00 | |
| tnt | develonepi3: I'm going to bet you didn't recursive clone or checked out the submodules. | 19:14 |
| *** vidbina has joined #yosys | 19:15 | |
| *** sorki has joined #yosys | 19:19 | |
| *** srk has quit IRC | 19:19 | |
| *** sorki is now known as srk | 19:22 | |
| *** vidbina has quit IRC | 19:30 | |
| *** cr1901_modern has joined #yosys | 19:30 | |
| *** kbeckmann has quit IRC | 19:39 | |
| develonepi3 | tnt: I did a clone of my repo and the added upstream and fetch then merge. Is this not the correct steps? | 20:02 |
| tnt | there are submodules now. They need to be checked out. git submodule init && git submodule update | 20:04 |
| develonepi3 | tnt: in which repo icestorm or nextpnr or both? | 20:05 |
| tnt | nextpnr | 20:10 |
| develonepi3 | tnt Thanks! | 20:10 |
| *** kraiskil has quit IRC | 20:16 | |
| *** kraiskil has joined #yosys | 20:18 | |
| *** kraiskil has quit IRC | 20:31 | |
| *** emeb_mac has joined #yosys | 20:46 | |
| *** richbridger has joined #yosys | 20:57 | |
| develonepi3 | tnt: my nextpnr built ok. | 21:01 |
| *** unkraut has quit IRC | 21:24 | |
| develonepi3 | tnt: Following yosys update, yosys -ql simple.log -p synth_ice40 -blif catzip.blif -json catzip.json -top toplevel ... ERROR: Assert `ifdef_already_satisfied' failed in frontends/verilog/preproc.cc:758. Any idea. I works okay with Yosys 0.9+1706 (git sha1 UNKNOWN, clang 7.0.1-8+rpi3+deb10u2 -fPIC -Os) | 21:35 |
| *** unkraut has joined #yosys | 21:38 | |
| mwk | wtf | 21:41 |
| mwk | develonepi3: congrats you found a bug | 21:42 |
| mwk | now let's figure out what exactly is going on here | 21:42 |
| develonepi3 | mwk: this is line 758 log_assert(ifdef_already_satisfied); | 21:43 |
| mwk | I figured | 21:43 |
| mwk | ... why does this code even work | 21:54 |
| mwk | hilarious | 21:55 |
| mwk | I found an unrelated bug in this area of code, but still see no way to trigger that assert | 21:56 |
| mwk | develonepi3: what code does this trigger on? | 22:05 |
| *** chipb_ is now known as chipb | 22:22 | |
| develonepi3 | mwk: This is https://github.com/develone/catzip.git which was created from a version of icozip. catzip connect to a parallel RPi3. It has sdram instead of sram. | 22:24 |
| develonepi3 | I was trying to create a blif & json file. | 22:25 |
| develonepi3 | I use zipcpu & autofpga to create the toplevl.v & main.v | 22:27 |
| develonepi3 | mwk will the simple.log help. I can push to gist if you want. | 22:29 |
| develonepi3 | mwk: It was very early Parsing `main.v' using frontend `verilog' following toplevel.v | 22:31 |
| develonepi3 | mwk: The version of yosys is 03/24/21. | 22:36 |
| develonepi3 | mwk: Yosys shows 3 updates since my version. Would these be the fix. | 22:42 |
| mwk | ... well that's a very simple reproducer | 23:00 |
| mwk | develonepi3: thanks for the report, it'll be taken care of | 23:01 |
| mwk | https://github.com/YosysHQ/yosys/issues/2711 | 23:02 |
| mwk | ... oh gods how is this code this dumb | 23:04 |
| *** lf has quit IRC | 23:46 | |
| *** lf has joined #yosys | 23:46 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!