package opam-lib
Install
Dune Dependency
Authors
-
TThomas Gazagnaire <thomas@gazagnaire.org>
-
AAnil Madhavapeddy <anil@recoil.org>
-
FFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
-
FFrederic Tuong <tuong@users.gforge.inria.fr>
-
LLouis Gesbert <louis.gesbert@ocamlpro.com>
-
GGuillem Rieu <guillem.rieu@ocamlpro.com>
-
VVincent Bernardoff <vb@luminar.eu.org>
-
RRoberto Di Cosmo <roberto@dicosmo.org>
Maintainers
Sources
sha256=625767c3465219cc8799aad1449c74279b31686db0821300cfdb92fbff17e9fd
md5=e0688c0cf9a55f93ee93f62d07cf6b74
doc/opam-lib.state/OpamSolution/index.html
Module OpamSolution
Applying solver solutions
val resolve :
?verbose:bool ->
OpamState.state ->
OpamTypes.user_action ->
orphans:OpamTypes.package_set ->
OpamTypes.atom OpamTypes.request ->
(OpamSolver.solution, OpamCudf.conflict) OpamTypes.resultResolve an user request
val apply :
?ask:bool ->
OpamState.state ->
OpamTypes.user_action ->
requested:OpamPackage.Name.Set.t ->
OpamSolver.solution ->
OpamTypes.solver_resultApply a solution returned by the solver. If ask is not specified, prompts the user whenever the solution isn't obvious from the request
val resolve_and_apply :
?ask:bool ->
OpamState.state ->
OpamTypes.user_action ->
requested:OpamPackage.Name.Set.t ->
orphans:OpamTypes.package_set ->
OpamTypes.atom OpamTypes.request ->
OpamTypes.solver_resultCall the solver to get a solution and then call apply. If ask is not specified, prompts the user whenever the solution isn't obvious from the request
val check_solution : OpamState.state -> OpamTypes.solver_result -> unitRaise an error if no solution is found or in case of error.
Atoms
val eq_atom : OpamTypes.name -> OpamTypes.version -> OpamTypes.atomReturn an atom with a strict version constraint
val atom_of_package : OpamTypes.package -> OpamTypes.atomReturn a simple atom, with no version constrain, from a package
val eq_atom_of_package : OpamTypes.package -> OpamTypes.atomReturns an atom with a strict version constraint from a package
val atoms_of_packages : OpamTypes.package_set -> OpamTypes.atom listReturn 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 listReturn a list of constrained atoms from a set of packages
val check_availability :
?permissive:bool ->
OpamState.state ->
OpamPackage.Set.t ->
OpamTypes.atom list ->
unitChecks that the atoms can possibly be verified (individually) in a package set. Displays an error and exits otherwise. permissive just changes the error message.
val sanitize_atom_list :
?permissive:bool ->
OpamState.state ->
OpamTypes.atom list ->
OpamTypes.atom listTakes a "raw" list of atoms (from the user), and match it to existing packages. Match packages with the wrong capitalisation, and raises errors on non-existing packages, and unavailable ones unless permissive is set. Exits with a message on error.
val sum : OpamTypes.stats -> intStats