#
# Installing packages from the GAP package distribution.
#
# This functionality is used when specifying a package name, or when
# automatically installing dependencies.
#
#! @Chapter Commands
#! @Section Main commands
#! @Description
#! Attempts to download and install the latest versions of all packages
#! required for ⪆ to run. Currently these packages are
#! <Package>GAPDoc</Package>, <Package>primgrp</Package>,
#! <Package>SmallGrp</Package>, and <Package>transgrp</Package>.
#! Returns <K>false</K> if something went wrong, and
#! <K>true</K> otherwise.
#!
#! Clearly, since these packages are required for &GAP; to run, they must be
#! loaded before this function can be executed. However, this function
#! installs the packages in the `~/.gap/pkg` directory, so that they can be
#! managed by <Package>PackageManager</Package> in the future, and are
#! available for other &GAP; installations on the machine.
#! @Arguments
#! @Returns
#! <K>true</K> or <K>false</K>
DeclareGlobalFunction(
"InstallRequiredPackages");
DeclareGlobalFunction(
"InstallPackageFromName");
DeclareGlobalFunction(
"GetPackageURLs");
DeclareGlobalFunction(
"PKGMAN_InstallDependencies");
# Source of latest package releases
PKGMAN_PackageInfoURLList :=
"https://github.com/gap-system/PackageDistro/releases/download/latest/pkglist.csv";
PKGMAN_InstallQueue := [];
# Queue of dependencies to install
PKGMAN_MarkedForInstall := [];
# Packages currently halfway through installing
¤ Dauer der Verarbeitung: 0.1 Sekunden
¤
*© Formatika GbR, Deutschland
