gap: 4.12.2 -> 4.13.1

(cherry picked from commit c11dc6f65c)
This commit is contained in:
R. Ryantm 2024-06-14 23:51:01 +00:00 committed by github-actions[bot]
parent b96540931b
commit 982b6849ca

View File

@ -1,6 +1,5 @@
{ stdenv { stdenv
, lib , lib
, fetchpatch
, fetchurl , fetchurl
, makeWrapper , makeWrapper
, readline , readline
@ -67,20 +66,13 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gap"; pname = "gap";
# https://www.gap-system.org/Releases/ # https://www.gap-system.org/Releases/
version = "4.12.2"; version = "4.13.1";
src = fetchurl { src = fetchurl {
url = "https://github.com/gap-system/gap/releases/download/v${version}/gap-${version}.tar.gz"; url = "https://github.com/gap-system/gap/releases/download/v${version}/gap-${version}.tar.gz";
sha256 = "sha256-ZyMIdF63iiIklO6N1nhu3VvDMUVvzGRWrAZL2yjVh6g="; sha256 = "sha256-l5Tb26b7mY4KLQqoziH8iEitPT+cyZk7C44gvn4dvro=";
}; };
patches = [
(fetchpatch {
url = "https://github.com/gap-system/gap/commit/c786e229413a44b7462196716b99ae9bb0071f4c.patch";
hash = "sha256-g3jrEMSavHAUKlHoPqWmOw49hWHU+29SA788Klnr0Uw=";
})
];
# remove all non-essential packages (which take up a lot of space) # remove all non-essential packages (which take up a lot of space)
preConfigure = lib.optionalString (!keepAll) (removeNonWhitelistedPkgs packagesToKeep) + '' preConfigure = lib.optionalString (!keepAll) (removeNonWhitelistedPkgs packagesToKeep) + ''
patchShebangs . patchShebangs .