Add cmd line arg

gap-system · Dec 18, 2024 · f921142 · f921142
1 parent 99e7acb
commit f921142
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/lib/package.gi b/lib/package.gi
@@ -301,6 +301,12 @@ InstallGlobalFunction( InitializePackagesInfoRecords, function( arg )
     LogPackageLoadingMessage( PACKAGE_DEBUG,
         "entering InitializePackagesInfoRecords", "GAP" );
 
+    # the first time this is called, add the cmd line args to the list
+    if IsEmpty(GAPInfo.PackageDirectories) then
+        APPEND_LIST_INTR( GAPInfo.PackageDirectories,
+            List( GAPInfo.CommandLineOptions.packagedirs, Directory )
+        );
+    fi;
     # add any new pkg directories to the list
     pkgdirs:= DirectoriesLibrary( "pkg" );
     if pkgdirs <> fail then

diff --git a/lib/system.g b/lib/system.g
@@ -95,6 +95,9 @@ BIND_GLOBAL( "GAPInfo", rec(
                      "directories to the end/start of existing list",
                      "of root paths" ] ),
       rec( short:= "r", default := false, help := ["disable/enable user GAP root dir", "GAPInfo.UserGapRoot"] ),
+      rec( long := "packagedirs", default := [], arg := "<paths>",
+           help := [ "set or modify the GAP directory paths",
+                     "Directories are separated using ';'." ] ),
       ,
       rec( section:= ["Loading:"] ),
       rec( short:= "A", default := false, help := ["disable/enable autoloading of suggested", "GAP packages"] ),