diff --git a/pkgs/development/libraries/science/math/latte-integrale/default.nix b/pkgs/development/libraries/science/math/latte-integrale/default.nix new file mode 100644 index 000000000000..7eb485974ff2 --- /dev/null +++ b/pkgs/development/libraries/science/math/latte-integrale/default.nix @@ -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; + }; +}) diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 7829c35c2da9..519144426cbf 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -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 { };