Skip to content

Commit

Permalink
Add command line option --bare
Browse files Browse the repository at this point in the history
Allow starting GAP without any packages
  • Loading branch information
Markus Pfeiffer authored and wilfwilson committed Aug 19, 2019
1 parent 3667249 commit 3720c08
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions lib/system.g
Original file line number Diff line number Diff line change
Expand Up @@ -117,6 +117,8 @@ BIND_GLOBAL( "GAPInfo", rec(
help := [ "Disable the GAP read-evaluate-print loop (REPL)" ] ),
rec( long := "nointeract", default := false,
help := [ "Start GAP in non-interactive mode (disable read-evaluate-print loop (REPL) and break loop)" ] ),
rec( long := "bare", default := false,
help := [ "Attempt to start GAP without even needed packages (developer tool)" ] ),
,
rec( short:= "c", default := "", arg := "<expr>", help := [ "execute the given expression"] ),
],
Expand Down Expand Up @@ -394,6 +396,11 @@ CallAndInstallPostRestore( function()
CommandLineOptions.norepl := true;
fi;

if CommandLineOptions.bare then
CommandLineOptions.A := true;
GAPInfo.Dependencies := MakeImmutable(rec( NeededOtherPackages := [] ));
fi;

MakeImmutable( CommandLineOptions );
MakeImmutable( InitFiles );

Expand Down

0 comments on commit 3720c08

Please sign in to comment.