FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Bump version to 0.4.0 by oscarbenjamin · Pull Request #45 · flintlib/python-flint · GitHub

Repository navigation

Bump version to 0.4.0 - #45

Merged
oscarbenjamin merged 3 commits into
flintlib:masterfrom
oscarbenjamin:pr_bump_version_0.4.0
Aug 8, 2023
Merged

oscarbenjamin merged 3 commits into
flintlib:masterfrom
oscarbenjamin:pr_bump_version_0.4.0

Conversation

Copy link
Copy Markdown
Collaborator

No description provided.

Copy link
Copy Markdown
Collaborator Author

I intend to merge this, push a 0.4.0 tag and then push the wheels and sdist to PyPI.

oscarbenjamin merged commit bde3dbd into flintlib:master Aug 8, 2023
oscarbenjamin deleted the pr_bump_version_0.4.0 branch August 8, 2023 21:54

Copy link
Copy Markdown
Collaborator Author

I've just pushed this to PyPI but when I downloaded the wheel on Linux it crashed:

$ python test/test.py 
test_pyflint...OK
Illegal instruction (core dumped)

On OSX all tests and doctests passed. I'm going to test Windows now...

Copy link
Copy Markdown
Collaborator Author

On OSX all tests and doctests passed. I'm going to test Windows now...

Windows is fine as well. So the problem is just Linux. (The one thing I didn't test!)

Copy link
Copy Markdown
Collaborator Author

I've deleted the Linux wheels from PyPI. Now someone using pip install python-flint on Linux goes back to building from source as before.

Further investigation needed but it's late and I need to go to bed.

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
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.

1 participant


Back | FazBrowse Home | New Git URL