| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 255 seconds) | 01:32 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 01:45 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 02:05 | |
| *** GenTooMan <[email protected]> has joined #yosys | 02:34 | |
| *** Xark_ is now known as Xark | 04:30 | |
| *** indy <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 05:25 | |
| *** indy <[email protected]> has joined #yosys | 06:03 | |
| *** indy <[email protected]> has quit IRC (Quit: ZNC 1.8.2 - https://znc.in) | 06:33 | |
| *** indy <[email protected]> has joined #yosys | 06:34 | |
| *** indy <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 07:07 | |
| *** indy <[email protected]> has joined #yosys | 07:09 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has joined #yosys | 11:32 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has quit IRC (Remote host closed the connection) | 13:01 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has joined #yosys | 13:01 | |
| *** somlo <[email protected]> has quit IRC (Remote host closed the connection) | 13:15 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has quit IRC (Read error: Connection reset by peer) | 13:15 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has joined #yosys | 13:15 | |
| *** somlo <[email protected]> has joined #yosys | 13:17 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has quit IRC (Remote host closed the connection) | 13:22 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has joined #yosys | 13:25 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has quit IRC (Read error: Connection reset by peer) | 13:39 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has joined #yosys | 13:40 | |
| *** freemint <freemint!~freemint@2001:638:904:ffe8:339b:2f0c:7daf:5607> has quit IRC (Remote host closed the connection) | 13:45 | |
| *** Guest12 <[email protected]> has joined #yosys | 14:52 | |
| *** GenTooMan <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 16:01 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 16:01 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 16:12 | |
| *** Guest12 <[email protected]> has quit IRC (Ping timeout: 252 seconds) | 16:22 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 16:25 | |
| cr1901 | + git fetch https://github.com/YosysHQ/abc | 16:41 |
|---|---|---|
| cr1901 | + git checkout 20f970f | 16:41 |
| cr1901 | error: pathspec '20f970f' did not match any file(s) known to git | 16:42 |
| cr1901 | <-- did someone forget to push? | 16:42 |
| cr1901 | jix: This appears to be due to your PR according to git blame https://github.com/YosysHQ/yosys/pull/3434. Where can I find abc revision 20f970f? | 16:45 |
| cr1901 | Commit is not upstream either: https://github.com/berkeley-abc/abc/search?q=20f970f | 16:47 |
| jix | cr1901: huh, it passed CI which AFAIK uses the normal Makefile logic to pull the abc version, so that should work, but let me double check.... | 16:48 |
| cr1901 | I build the FPGA tools once a week to "prime" sccache/make sure things still work. Not sure where rev 20f970f is so I can figure out whether I broke something on my end or not | 16:50 |
| jix | https://github.com/YosysHQ/abc/tree/read_cex_updates is the branch, and the makefile should be able to pull that, but I should have merged that into the YosysHQ/abc/yosys-experimental branch before merging the corresponding yosys PR | 16:52 |
| cr1901 | does CI manually set ABC_REV? | 16:52 |
| cr1901 | (or has extra logic to "look harder" for commits?) | 16:53 |
| jix | if I do a fresh clone of yosys and just run make it works fine here, do you have any idea what's different for your setup that might break this? | 16:56 |
| cr1901 | jix: If you have that fresh clone still, can you run "git branch" inside the abc dir? | 16:58 |
| jix | that just outputs "* (HEAD detached at 20f970f5)" and "yosys-experimental" but the branch is read_cex_updates (of the yosys abc repo not upstream) | 16:59 |
| jix | let me point yosys-experimental at that commit (yosys-experimental is the branch that goes with yosys master, so I should have done that before already, I'm just not sure how not doing that could break things given that it uses the hash not the branch name) | 17:00 |
| cr1901 | a clean build works for me as well, interestingly | 17:00 |
| cr1901 | Ahhh git branch -r | 17:01 |
| cr1901 | origin/read_cex_updates is not in my original yosys copy | 17:01 |
| cr1901 | I guess I have to manually add remote branches | 17:02 |
| cr1901 | when new ones appear* | 17:02 |
| jix | cr1901: can you try again with an existing clone? | 17:02 |
| cr1901 | working fine now (well, it's still compiling ;)...) | 17:03 |
| cr1901 | yea it worked fine | 17:04 |
| jix | I updated the yosys-experimental abc branch and that should fix existing clones (and is what I should have done before merging the PR) | 17:04 |
| cr1901 | presumably CI succeeds because it's a fresh copy, and your version succeeds because abc already exists w/ the relevant branch/commit on your system | 17:04 |
| cr1901 | ahhh well, that was easy enough | 17:05 |
| cr1901 | thanks for the help | 17:05 |
| jix | I wonder if there's a good way to check for this during CI while still allowing different branches during development | 17:09 |
| *** kraiskil <[email protected]> has joined #yosys | 17:16 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 17:43 | |
| *** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has joined #yosys | 17:56 | |
| *** kraiskil <kraiskil!~kraiskil@10.121.104.92.dynamic.wline.res.cust.swisscom.ch> has quit IRC (Ping timeout: 252 seconds) | 18:03 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 19:04 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 19:17 | |
| *** hrberg <[email protected]> has quit IRC (Ping timeout: 256 seconds) | 20:41 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 20:42 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 20:43 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 255 seconds) | 20:57 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 21:00 | |
| *** Guest62 <Guest62!~Guest62@2401:4900:1c5a:4803:6de5:f8f:214d:a3dc> has joined #yosys | 21:49 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:02 | |
| *** nonchip <[email protected]> has joined #yosys | 22:02 | |
| *** Xark <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 23:09 | |
| *** Xark <[email protected]> has joined #yosys | 23:10 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has quit IRC (Ping timeout: 244 seconds) | 23:13 | |
| *** GenTooMan <GenTooMan!~cyberman@2601:547:437f:e5c6:21f:5bff:fefe:a883> has joined #yosys | 23:26 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!