-
Notifications
You must be signed in to change notification settings - Fork 819
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove pinned attrs dependency from python-requirements.txt #305
Comments
I've submitted #311 which moves the workaround to python-requirements.txt, which will benefit users beyond the CI. Once that is merged, I proposed we edit this issue title+description to reflect that the workaround lives in python-requirements.txt. The upstream simplesat issue is enthought/sat-solver#270 |
I've submitted a PR to fix this upstream: enthought/sat-solver#271 |
thanks @asb! |
a new version of the SAT solver (containing the patch above) has been released: https://github.com/enthought/sat-solver/releases/tag/v0.8.2 but I could not yet test whether it works with fusesoc. |
I saw that, not listed on pypi yet though https://pypi.org/project/simplesat/#history |
Fixes #305. simplesat (required by fusesoc) was broken by an update to the attrs library. Now simplesat 0.8.2 has been released which fixes the issue, we can remove the explicit pinning of the old attrs version.
Revert #302 once sat solver fixes are upstreamed.
The text was updated successfully, but these errors were encountered: