Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
build/pkgs/msolve: New
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe authored and mezzarobba committed Sep 16, 2022
1 parent b5adcc9 commit d2cede6
Show file tree
Hide file tree
Showing 6 changed files with 33 additions and 0 deletions.
18 changes: 18 additions & 0 deletions build/pkgs/msolve/SPKG.rst
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
msolve: Multivariate polynomial system solver
=============================================

Description
-----------

Open source C library implementing computer algebra algorithms for solving
polynomial systems (with rational coefficients or coefficients in a prime field).

License
-------

GPL v2+

Upstream Contact
----------------

https://gitlab.lip6.fr/safey/msolve
5 changes: 5 additions & 0 deletions build/pkgs/msolve/checksums.ini
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
tarball=msolve-VERSION.tar.gz
sha1=d2097ba38370f1c5ba368d8f3874f510b0cd9369
md5=4116a3df364a5cfc986bc791f7b232d0
cksum=2848317901
upstream_url=https://trac.sagemath.org/raw-attachment/ticket/31664/msolve-VERSION.tar.gz
4 changes: 4 additions & 0 deletions build/pkgs/msolve/dependencies
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
$(MP_LIBRARY) flint mpfr

----------
All lines of this file are ignored except the first.
1 change: 1 addition & 0 deletions build/pkgs/msolve/package-version.txt
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0.4.4
4 changes: 4 additions & 0 deletions build/pkgs/msolve/spkg-install.in
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
cd src
sdh_configure
sdh_make
sdh_make_install
1 change: 1 addition & 0 deletions build/pkgs/msolve/type
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
optional

0 comments on commit d2cede6

Please sign in to comment.