Skip to content

Revert "Update libflint to 3.4.0"#533

Merged
ryanking13 merged 1 commit intomainfrom
revert-501-flint-3.4.0
Mar 9, 2026
Merged

Revert "Update libflint to 3.4.0"#533
ryanking13 merged 1 commit intomainfrom
revert-501-flint-3.4.0

Conversation

@ryanking13
Copy link
Copy Markdown
Member

Reverts #501

python-flint is failing to build with the new libflint:

Invalid FLINT version:                                                          
Version needed is: FLINT >=3.0, <3.4                                            
Version found is: FLINT == 3.4.0  

@ryanking13 ryanking13 merged commit 21810c4 into main Mar 9, 2026
1 check passed
@ryanking13 ryanking13 deleted the revert-501-flint-3.4.0 branch March 9, 2026 08:48
@ryanking13
Copy link
Copy Markdown
Member Author

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?

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Mar 9, 2026

Package Build Results

Total packages built: 19
Total build time: 0:00:13

Package Build Times (click to expand)
Package Build Time
regex 7s
pydoc_data 4s
atomicwrites 3s
MarkupSafe 3s
pytest 1s
setuptools 1s
micropip 1s
pytz 1s
attrs 1s
Jinja2 1s
tblib 1s
py 1s
more-itertools 1s
pytest-asyncio 1s
pluggy 1s
pyparsing 1s
exceptiongroup 1s
iniconfig 1s
six 0s

Longest build: regex (7s)
Packages built in more than 10 minutes: 0

@mkoeppe
Copy link
Copy Markdown
Contributor

mkoeppe commented Mar 10, 2026

I've opened flintlib/python-flint#375 to request a compatible release

@oscarbenjamin
Copy link
Copy Markdown

I'm not sure what the build command used here is but the meson configuration setting to control this is

meson setup build -Dflint_version_check=false

or for example

pip install -Csetup-args="Dflint_version_check=false" .

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants