diff --git a/lib/init.g b/lib/init.g index bb5f570b201..ecbb1ed552a 100644 --- a/lib/init.g +++ b/lib/init.g @@ -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. @@ -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.norepl then + # do not start an interactive session elif IsHPCGAP and THREAD_UI() then ReadLib("hpc/consoleui.g"); MULTI_SESSION(); diff --git a/tst/testinstall/IsLIBGAP.tst b/tst/testinstall/IsLIBGAP.tst deleted file mode 100644 index a728214a114..00000000000 --- a/tst/testinstall/IsLIBGAP.tst +++ /dev/null @@ -1,11 +0,0 @@ -############################################################################# -## -#W IsLIBGAP.tst GAP library Sebastian Gutsche -## -## -#Y Copyright (C) 2018, GAP Group -## -gap> START_TEST("IsLIBGAP.tst"); -gap> IsBound( IsLIBGAP ); -true -gap> STOP_TEST( "IsLIBGAP.tst", 1);