Revert "Update libflint to 3.4.0"#533
Conversation
This reverts commit 2512241.
|
cc: @mkoeppe It seems like the current python-flint version is incompatible with the libflint 3.4. Could you update the python-flint as well too to make is compatible with the libflint version you want to use? |
Package Build ResultsTotal packages built: 19 Package Build Times (click to expand)
Longest build: regex (7s) |
|
I've opened flintlib/python-flint#375 to request a compatible release |
|
I'm not sure what the build command used here is but the meson configuration setting to control this is or for example The version check is defensive and is there because each of FLINT 3.0, 3.1, 3.2 and 3.3 has broken the build of python-flint and it is better to fail early with an error message about the FLINT version rather than fail later with cryptic compilation failure. As it happens it seems that FLINT 3.4 does not have any change that breaks the build of python-flint but in flintlib/python-flint#376 I found that there is a problem building FLINT 3.4 itself in pyodide. |
Reverts #501
python-flint is failing to build with the new libflint: