YosysHQ / sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
379 stars 74 forks source link

`sby` depends on `click` without specifying a version constraint #234

Open whitequark opened 1 year ago

nakengelhardt commented 1 year ago

I did add it to the prerequisites the other day: https://yosyshq.readthedocs.io/projects/sby/en/latest/install.html#prerequisites

whitequark commented 1 year ago

Ah, I see. It still does not include a version constraint though!

nakengelhardt commented 1 year ago

Yes, we don't have that for any of the prerequisites - it's not even settled what the minimum python version we still want to support is...

whitequark commented 1 year ago

Right, so I'm not missing anything then. In YoWASP I'll continue testing on 3.7+ (there are some releases that were installable on 3.6, but ubuntu-latest no longer supports that so I didn't actually test that, and now there's a ~=3.7 constraint). I'll ping you if anything breaks the CI, then.