Module CPM.Repository.Update

This module implements operations to update and change the package repository, i.e., the index of all packages known to the package manager.

Summary of exported operations:

updateRepository
                  ::  Config -> Bool -> Bool -> Bool -> Bool -> ErrorLoggerIO ()

Updates the package index from the central Git repository.

addPackageToRepository
                  ::  Config -> String -> Bool -> Bool -> ErrorLoggerIO ()

Adds a package stored in the given directory to the repository index.

Exported operations:

updateRepository :: Config -> Bool -> Bool -> Bool -> Bool -> ErrorLoggerIO ()

Updates the package index from the central Git repository. If the second argument is True, also the global package cache is cleaned in order to support downloading the newest versions. If the third argument is True, the global package index is recreated by downloading it from the central repository. If the fourth argument is True, the package database is created by reading the CSV file REPOSITORY_CACHE.csv downloaded from the tar files URL, otherwise by reading all package specifications. If the fifth argument is True, also a CSV file containing the database entries is written.

addPackageToRepository :: Config -> String -> Bool -> Bool -> ErrorLoggerIO ()

Adds a package stored in the given directory to the repository index. If the argument force is true, overwrite an already existing package. If the argument cpdir is true, copy also the complete directory into the local package installation store.