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 -> ErrorLogger ()  Deterministic 
Updates the package index from the central Git repository.
addPackageToRepository :: Config -> String -> Bool -> Bool -> ErrorLogger ()  Deterministic 
Adds a package stored in the given directory to the repository index.

Exported operations:

updateRepository :: Config -> Bool -> Bool -> Bool -> Bool -> ErrorLogger ()  Deterministic 

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 -> ErrorLogger ()  Deterministic 

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.