Merge pull request #266714 from wegank/msolve-init

msolve: init at 0.6.1
This commit is contained in:
Weijia Wang 2023-11-16 22:34:40 +01:00 committed by GitHub
commit 0457c2295e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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;
};
})