diff options
| author |   Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 10:28:12 -0500 |
|---|---|---|
| committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:02 -0500 |
| commit | 90047d4029f68e06aff92192a6af5f561a7d6d43 (patch) | |
| tree | bfcfeb30d41116daea5d91cc05b6f7cd96c0916a /dev-gap/atlasrep/files | |
| parent | dev-gap/utils: new package, add 0.84 (diff) | |
| download | gentoo-90047d4029f68e06aff92192a6af5f561a7d6d43.tar.gz gentoo-90047d4029f68e06aff92192a6af5f561a7d6d43.tar.bz2 gentoo-90047d4029f68e06aff92192a6af5f561a7d6d43.zip | |
dev-gap/atlasrep: new package, add 2.1.7
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'dev-gap/atlasrep/files')
| -rw-r--r-- | dev-gap/atlasrep/files/atlasrep-2.1.7-no-remote-access.patch | 27 | ||||
| -rw-r--r-- | dev-gap/atlasrep/files/atlasrep-2.1.7-non-writable-data-dir.patch | 34 |
2 files changed, 61 insertions, 0 deletions
diff --git a/dev-gap/atlasrep/files/atlasrep-2.1.7-no-remote-access.patch b/dev-gap/atlasrep/files/atlasrep-2.1.7-no-remote-access.patch new file mode 100644 index 000000000000..0bc0afe410b8 --- /dev/null +++ b/dev-gap/atlasrep/files/atlasrep-2.1.7-no-remote-access.patch @@ -0,0 +1,27 @@ +From 73fee69243be30b25af3322dc66ad061c5d8fa38 Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +Date: Sat, 16 Dec 2023 13:41:05 -0500 +Subject: [PATCH 1/2] gap/userpref.g: disable AtlasRepAccessRemoteFiles by + default + +On Gentoo, we include all of the available data by default. +--- + gap/userpref.g | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/gap/userpref.g b/gap/userpref.g +index 067ddf1..75140b9 100644 +--- a/gap/userpref.g ++++ b/gap/userpref.g +@@ -44,7 +44,7 @@ information shown by 'DisplayAtlasInfo', \ + this information depends on the value of the preference at the time \ + when the AtlasRep package and its data extensions get loaded." + ], +- default:= true, ++ default:= false, + values:= [ true, false ], + multi:= false, + package:= "AtlasRep", +-- +2.41.0 + 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 new file mode 100644 index 000000000000..545d46799fb2 --- /dev/null +++ b/dev-gap/atlasrep/files/atlasrep-2.1.7-non-writable-data-dir.patch @@ -0,0 +1,34 @@ +From 3df6f42de798f0b5ab758d5886606c2bbc5c364f Mon Sep 17 00:00:00 2001 +From: Michael Orlitzky <michael@orlitzky.com> +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 + |