Merge pull request #272530 from yannickulrich/normaliz-v3.10.1

normaliz: init at 3.10.1
This commit is contained in:
Mauricio Collares 2024-03-21 17:09:25 +01:00 committed by GitHub
commit bef1f8f8d3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 49 additions and 0 deletions

View File

@ -21338,6 +21338,12 @@
github = "yanganto";
githubId = 10803111;
};
yannickulrich = {
email = "yannick.ulrich@proton.me";
github = "yannickulrich";
githubId = 749922;
name = "Yannick Ulrich";
};
yannip = {
email = "yPapandreou7@gmail.com";
github = "YanniPapandreou";

View File

@ -0,0 +1,43 @@
{ lib
, stdenv
, fetchFromGitHub
, autoreconfHook
, gmpxx
, flint
, arb
, nauty
}:
stdenv.mkDerivation (finalAttrs: {
pname = "normaliz";
version = "3.10.1";
src = fetchFromGitHub {
owner = "normaliz";
repo = "normaliz";
rev = "v${finalAttrs.version}";
hash = "sha256-nnSauTlS5R6wbaoGxR6HFacFYm5r4DAhoP9IVe4ajdc=";
};
buildInputs = [
gmpxx
flint
arb
nauty
];
outputs = [ "out" "lib" "dev" ];
nativeBuildInputs = [
autoreconfHook
];
meta = with lib; {
homepage = "https://www.normaliz.uni-osnabrueck.de/";
description = "An open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones";
maintainers = with maintainers; [ yannickulrich ];
platforms = with platforms; unix ++ windows;
license = licenses.gpl3Plus;
mainProgram = "normaliz";
};
})