diff --git a/gap/PackageManager.gd b/gap/PackageManager.gd index add183e..4c7e7ac 100644 --- a/gap/PackageManager.gd +++ b/gap/PackageManager.gd @@ -147,7 +147,9 @@ SetInfoLevel(InfoPackageManager, 3); #! true or false DeclareGlobalFunction("RemovePackage"); -# Hidden functions DeclareGlobalFunction("PKGMAN_CheckPackage"); DeclareGlobalFunction("PKGMAN_Exec"); DeclareGlobalFunction("PKGMAN_InfoWithIndent"); +DeclareGlobalFunction("PKGMAN_PathSystemProgram"); + +BindGlobal("PKGMAN_WHITESPACE", MakeImmutable(" \n\t\r")); diff --git a/gap/PackageManager.gi b/gap/PackageManager.gi index e1f3315..3232258 100644 --- a/gap/PackageManager.gi +++ b/gap/PackageManager.gi @@ -4,20 +4,6 @@ # Implementations # -BindGlobal("PKGMAN_WHITESPACE", MakeImmutable(" \n\t\r")); - -BindGlobal("PKGMAN_PathSystemProgram", function(name) - local dir, path; - - for dir in DirectoriesSystemPrograms() do - path:= Filename(dir, name); - if IsExecutableFile(path) then - return path; - fi; - od; - return fail; -end); - # Install fallback ChangeDirectoryCurrent if GAP is too old and io isn't loaded if not IsBound(ChangeDirectoryCurrent) then ChangeDirectoryCurrent := function(dir) @@ -368,3 +354,16 @@ function(infoLevel, message, indentLevel) Info(InfoPackageManager, infoLevel, indent, line); od; end); + +InstallGlobalFunction(PKGMAN_PathSystemProgram, +function(name) + local dir, path; + + for dir in DirectoriesSystemPrograms() do + path:= Filename(dir, name); + if IsExecutableFile(path) then + return path; + fi; + od; + return fail; +end);