Skip to content

upgrade msolve to 0.6.5 #37673

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.

Sign up for GitHub

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

Merged
merged 2 commits into from
Apr 8, 2024
Merged

upgrade msolve to 0.6.5 #37673

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
df6609e
upgrade msolve to 0.6.5
dimpase Mar 26, 2024
42b4b67
don't check exit code of "msolve -h" for v. 0.6.5
dimpase Mar 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions build/pkgs/msolve/checksums.ini
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
tarball=msolve-VERSION.tar.gz
sha1=bfd1d4f2e5dc0eb321592b3add6665a9d3eadf8c
md5=33a16c21ea8dea9e796d40f1dfd52fa9
cksum=117017965
upstream_url=https://github.com/algebraic-solving/msolve/releases/download/vVERSION/msolve-VERSION.tar.gz
sha1=01b7c4b7b6a7df5051c1357e69d9b1fd381d2907
md5=b45cdaa5a0e588a5382660ce1c245e65
cksum=3873680457
upstream_url=https://msolve.lip6.fr/downloads/vVERSION/msolve-VERSION.tar.gz
2 changes: 1 addition & 1 deletion build/pkgs/msolve/package-version.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.5.0
0.6.5
53 changes: 0 additions & 53 deletions build/pkgs/msolve/patches/0001-Make-msolve-build-with-flint3.patch
View file
Open in desktop

This file was deleted.

8 changes: 4 additions & 4 deletions src/sage/features/msolve.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -55,10 +55,10 @@ def is_functional(self):
"""
msolve_out = subprocess.run(["msolve", "-h"], capture_output=True)

if msolve_out.returncode != 0:
return FeatureTestResult(self, False, reason="msolve -h returned "
f"non-zero exit status {msolve_out.returncode}")
elif (msolve_out.stdout[:46] !=
# if msolve_out.returncode != 0:
# return FeatureTestResult(self, False, reason="msolve -h returned "
# f"non-zero exit status {msolve_out.returncode}")
if (msolve_out.stdout[:46] !=
b'\nmsolve library for polynomial system solving\n'):
return FeatureTestResult(self, False,
reason="output of msolve -h not recognized")
Expand Down