latte-integrale: init at 1.7.6 (#190683)

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
This commit is contained in:
amesgen 2022-09-17 16:22:02 +02:00 committed by GitHub
parent 2f910c81ef
commit b02d6e3754
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 43 additions and 0 deletions

View File

@ -0,0 +1,41 @@
{ lib
, stdenv
, fetchurl
, fetchpatch
, gmp
, ntl
, cddlib
}:
stdenv.mkDerivation (finalAttrs: {
pname = "latte-integrale";
version = "1.7.6";
src = fetchurl {
url = "https://github.com/latte-int/latte/releases/download/version_${lib.replaceStrings ["."] ["_"] finalAttrs.version}/latte-int-${finalAttrs.version}.tar.gz";
sha256 = "sha256-AGwQ6+XVv9ybFZy6YmSkQyhh/nY84F/oIWJKt9P8IXA=";
};
patches = [
# C++17 compat
(fetchpatch {
url = "https://github.com/latte-int/latte/commit/6dbf7f07d5c9e1f3afe793f782d191d4465088ae.patch";
excludes = [ "code/latte/sqlite/IntegrationDB.h" ];
sha256 = "sha256-i7c11y54OLuJ0m7PBnhEoAzJzxC842JU7A6TOtTz06k=";
})
];
buildInputs = [
gmp
ntl
cddlib
];
meta = {
description = "Software for counting lattice points and integration over convex polytopes";
homepage = "https://www.math.ucdavis.edu/~latte/";
license = lib.licenses.gpl2;
maintainers = with lib.maintainers; [ amesgen ];
platforms = lib.platforms.unix;
};
})

View File

@ -34689,6 +34689,8 @@ with pkgs;
rankwidth = callPackage ../development/libraries/science/math/rankwidth { };
latte-integrale = callPackage ../development/libraries/science/math/latte-integrale { };
lcalc = callPackage ../development/libraries/science/math/lcalc { };
lrcalc = callPackage ../applications/science/math/lrcalc { };