From 3623cee8ba2ff2f4a84c1ef7808af292056eb61c Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Fri, 28 Jul 2023 11:51:21 +0200
Subject: [PATCH] Only load bare deps if env var GAP_BARE_DEPS is set (#912)

---
 gap/systemfile.g | 3 +++
 src/GAP.jl       | 4 ++++
 2 files changed, 7 insertions(+)

diff --git a/gap/systemfile.g b/gap/systemfile.g
index a0ab4a03..843e090a 100644
--- a/gap/systemfile.g
+++ b/gap/systemfile.g
@@ -6,6 +6,9 @@
     # and such that it is available when user files get read
     # via the GAP command line.
     deps:= SHALLOW_COPY_OBJ( GAPInfo.Dependencies.NeededOtherPackages );
+    if IsBound(GAPInfo.KernelInfo.ENVIRONMENT.GAP_BARE_DEPS) then
+        deps:= [];
+    fi;
     APPEND_LIST_INTR( deps, [ [ "JuliaInterface", ">=0.9.8-DEV" ] ] );
     GAPInfo.Dependencies:= MakeImmutable( rec( NeededOtherPackages:= deps ) );
 
diff --git a/src/GAP.jl b/src/GAP.jl
index 62e81ca1..df735d2d 100644
--- a/src/GAP.jl
+++ b/src/GAP.jl
@@ -286,6 +286,10 @@ function __init__()
         push!(cmdline_options, "-b")
     end
 
+    if haskey(ENV, "GAP_BARE_DEPS")
+        push!(cmdline_options, "-A")
+    end
+
     initialize(cmdline_options)
 
     if !show_banner