package opam-repository

  1. Overview
  2. Docs
val name : OpamUrl.backend
val pull_url : ?cache_dir:OpamTypes.dirname -> ?subpath:string -> OpamTypes.dirname -> OpamHash.t option -> OpamTypes.url -> OpamTypes.filename option OpamProcess.job

pull_url local_dir checksum remote_url pulls the contents of remote_url into local_dir.

Two kinds of results are allowed:

  • a single file was downloaded, in this case it is placed within local_dir and returned as Some filename
  • a directory was retrieved, in this case the contents of local_dir have been synchronised with its own, and None is returned

checksum can be used for retrieval but is NOT checked by this function.

pull_repo_update fetches the remote update from url to the local repository at dirname, but does not apply it, allowing for further verifications. The file or directory returned is always temporary and should be cleaned up by the caller.

val repo_update_complete : OpamTypes.dirname -> OpamTypes.url -> unit OpamProcess.job

repo_update_complete dirname url finalizes the update of the repository after verification of the patch returned from pull_repo_update with Update_patch file is applied. Version control systems, e.g. Mercurial, that track the state of the working directory automatically use this to update internal caches.

Return the (optional) revision of a given repository. Only useful for VCS backends. Is not expected to work with pull_repo_update, which doesn't update the VCS commit information.

Like pull_url, except for locally-bound version control backends, where it should get the latest, uncommitted source. First, it performs a pull_url, then remove deleted files, and finally copy via rsync unversioned & modified-uncommitted files.

val get_remote_url : ?hash:string -> OpamTypes.dirname -> OpamTypes.url option OpamProcess.job

get_remote_url ?hash dirname return the distant url of repo dirname, \ if found. When hash is specified, it checks that this hash (branch or \ commit) is present in the distant repository and returns the url with \ this hash. If the hash is absent it returns the remote url with no hash.