Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val installability_check :
OpamTypes.universe ->
OpamTypes.package_set * OpamTypes.package_set
Analyses a given package universe, and returns uninstallable_roots,uninstallable
. The first is a subset of the second, where internal dependents have been removed.
val cycle_check :
OpamTypes.universe ->
OpamTypes.package_set * OpamTypes.formula list list
Analyses a universe for dependency cycles. Returns the set of packages involved, and the cycles (reduced to formula lists)
val check :
quiet:bool ->
installability:bool ->
cycles:bool ->
obsolete:bool ->
ignore_test:bool ->
OpamTypes.dirname ->
OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_set
* OpamTypes.package_set
Runs checks on the repository at the given repository. Returns all_packages
, uninstallable_roots
, uninstallable
, cycle_packages
, obsolete_packages
. If the corresponding option was disabled, the returned sets are empty.
val get_obsolete :
OpamTypes.universe ->
OpamFile.OPAM.t OpamTypes.package_map ->
OpamTypes.package_set
Returns a subset of "obsolete" packages, i.e. packages for which a strictly better version exists