Skip to content

Commit

Permalink
Remove IsLIBGAP constant
Browse files Browse the repository at this point in the history
The presence of the `--noshell` command line option makes the `IsLIBGAP`
constant obsolete, so we remove it.
  • Loading branch information
Markus Pfeiffer committed Aug 21, 2018
1 parent b7efdda commit 0624c2c
Showing 1 changed file with 3 additions and 12 deletions.
15 changes: 3 additions & 12 deletions lib/init.g
Original file line number Diff line number Diff line change
Expand Up @@ -938,16 +938,6 @@ BindGlobal ("ShowSystemInformation", function ()
end );


#############################################################################
##
## Initialize the IsLIBGAP variable (if not done before). If this variable
## is false, an interactive session will be started.
## Otherwise no interactive session is started.
##
if not IsBound( IsLIBGAP ) then
BIND_CONSTANT( "IsLIBGAP", false );
fi;

#############################################################################
##
## Finally, deal with the lists of global variables.
Expand Down Expand Up @@ -1037,8 +1027,9 @@ InstallAndCallPostRestore( function()
od;
end );

if IsLIBGAP then
# GAP is used as a library, do not start an interactive session

if GAPInfo.CommandLineOptions.noshell then
# do not start an interactive session
elif IsHPCGAP and THREAD_UI() then
ReadLib("hpc/consoleui.g");
MULTI_SESSION();
Expand Down

0 comments on commit 0624c2c

Please sign in to comment.