|
DeclareGlobalFunction("PKGMAN_PackageDir");
DeclareGlobalFunction("PKGMAN_SetCustomPackageDir");
DeclareGlobalFunction("PKGMAN_CreateDirRecursively");
DeclareGlobalFunction("PKGMAN_InsertPackageDirectory");
DeclareGlobalFunction("PKGMAN_IsValidTargetDir");
DeclareGlobalFunction("PKGMAN_RemoveDirOptional");
DeclareGlobalFunction("PKGMAN_RemoveDir");
DeclareGlobalFunction("PKGMAN_GapRootDir");
PKGMAN_CustomPackageDir := ""; # Empty indicates no custom directory
PKGMAN_Sysinfo := Filename(DirectoriesLibrary(""), "sysinfo.gap");
[ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
]
|
