module OpamSolution: sig
.. end
Applying solver solutions
val resolve : ?verbose:bool ->
OpamState.state ->
OpamTypes.user_action ->
OpamTypes.atom OpamTypes.request ->
(OpamTypes.solution, string) OpamTypes.result
Resolve an user request
val apply : ?force:bool ->
OpamState.state ->
OpamTypes.user_action -> OpamTypes.solution -> OpamTypes.solver_result
Apply a solution returned by the solver.
val resolve_and_apply : ?force:bool ->
OpamState.state ->
OpamTypes.user_action ->
OpamTypes.atom OpamTypes.request -> OpamTypes.solver_result
Call the solver to get a solution and then call apply
.
val check_solution : OpamState.state -> OpamTypes.solver_result -> unit
Raise an error if no solution is found or in case of error.
Atoms
val eq_atom : OpamTypes.name -> OpamTypes.version -> OpamTypes.atom
Return an atom with a string version constraint
val atom_of_package : OpamTypes.package -> OpamTypes.atom
Return a simple atom, with no version constrain, from a package
val atoms_of_packages : OpamTypes.package_set -> OpamTypes.atom list
Return a list of simple atoms (ie. with no version constraints)
from a set of packages
val eq_atoms_of_packages : OpamTypes.package_set -> OpamTypes.atom list
Return a list of constrained atoms from a set of packages
val atoms_of_names : ?permissive:bool ->
OpamState.state -> OpamTypes.name_set -> OpamTypes.atom list
Return a list of atoms from a list of names (wich can eventually
be of the form name.version). Unless permissive
is set, will abort in
case the package is not available
val check_availability : OpamState.state -> OpamTypes.atom list -> unit
val sum : OpamTypes.stats -> int
Stats