https://github.com/homalg-project/homalg_project
Raw File
Tip revision: b134331f84aeaed5ea4c8f1cea5a7a760128385c authored by Mohamed Barakat on 11 March 2022, 08:23:45 UTC
Merge pull request #468 from zickgraf/PackageJanitor
Tip revision: b134331
ci_gaprc
# Prefer GAPInfo.UserGapRoot over other package directories to prevent accidentally testing package
# versions distributed with GAP.
(function()
  local name, package_info, pos;
    for name in RecNames( GAPInfo.PackagesInfo ) do
        package_info := GAPInfo.PackagesInfo.(name);
        pos := PositionProperty( package_info, info -> StartsWith( info.InstallationPath, GAPInfo.UserGapRoot ) );
        if pos <> fail then
            SetPackagePath( name, package_info[pos].InstallationPath );
        fi;
    od;
end)();
back to top