msolve: init at 0.6.1

This commit is contained in:
Weijia Wang 2023-11-10 19:23:50 +01:00
parent 7c19f30a07
commit ded3477a0d

View File

@ -0,0 +1,44 @@
{ lib
, stdenv
, fetchFromGitHub
, autoreconfHook
, flint
, gmp
, mpfr
}:
stdenv.mkDerivation (finalAttrs: {
pname = "msolve";
version = "0.6.1";
src = fetchFromGitHub {
owner = "algebraic-solving";
repo = "msolve";
rev = "v${finalAttrs.version}";
hash = "sha256-mcq98zMWQcmlTZt9eIJJg+IW5UBMcKR+8TzuabpOBwE=";
};
postPatch = ''
patchShebangs .
'';
nativeBuildInputs = [
autoreconfHook
];
buildInputs = [
flint
gmp
mpfr
];
doCheck = true;
meta = with lib; {
description = "Library for polynomial system solving through algebraic methods";
homepage = "https://msolve.lip6.fr";
license = licenses.gpl2Plus;
maintainers = with maintainers; [ wegank ];
platforms = platforms.unix;
};
})