commit: cb66f95472c0b157a92cf963d8e1434299b1d78f Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Tue Apr 29 18:03:39 2025 +0000 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org> CommitDate: Thu May 1 01:01:09 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cb66f954
dev-gap/atlasrep: remove unused patch Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org> .../atlasrep-2.1.7-non-writable-data-dir.patch | 34 ---------------------- 1 file changed, 34 deletions(-) diff --git a/dev-gap/atlasrep/files/atlasrep-2.1.7-non-writable-data-dir.patch b/dev-gap/atlasrep/files/atlasrep-2.1.7-non-writable-data-dir.patch deleted file mode 100644 index 545d46799fb2..000000000000 --- a/dev-gap/atlasrep/files/atlasrep-2.1.7-non-writable-data-dir.patch +++ /dev/null @@ -1,34 +0,0 @@ -From 3df6f42de798f0b5ab758d5886606c2bbc5c364f Mon Sep 17 00:00:00 2001 -From: Michael Orlitzky <[email protected]> -Date: Sat, 16 Dec 2023 13:43:36 -0500 -Subject: [PATCH 2/2] gap/userpref.g: allow non-writable AtlasRepDataDirectory - -On Gentoo, all of the data is already there. So there's no reason to -download it. So there's no requirement for the directory to be -writable. (Remote access is disabled by default anyway.) ---- - gap/userpref.g | 8 +------- - 1 file changed, 1 insertion(+), 7 deletions(-) - -diff --git a/gap/userpref.g b/gap/userpref.g -index 75140b9..2d497ee 100644 ---- a/gap/userpref.g -+++ b/gap/userpref.g -@@ -94,13 +94,7 @@ otherwise the default is an empty string." - local dir; - - dir:= DirectoriesPackageLibrary( "atlasrep", "" ); -- if ForAll( [ "dataext", "datagens", "dataword" ], -- subdir -> IsWritableFile( Filename( dir, subdir ) ) ) then -- # The package directory is the first default. -- return Filename( dir, "" ); -- else -- return ""; -- fi; -+ return Filename( dir, "" ); - end, - package:= "AtlasRep", - check:= function( val ) --- -2.41.0 -
