Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
67 lines (51 sloc) 2.35 KB
(***********************************************************************)
(* *)
(* Copyright 2012 OCamlPro *)
(* Copyright 2012 INRIA *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
(* the GNU Public License version 3.0. *)
(* *)
(* OPAM is distributed in the hope that it will be useful, *)
(* but WITHOUT ANY WARRANTY; without even the implied warranty of *)
(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *)
(* GNU General Public License for more details. *)
(* *)
(***********************************************************************)
(** Applying solver solutions *)
open OpamTypes
(** Resolve an user request *)
val resolve:
OpamState.state ->
user_action ->
atom request ->
(solution, string) result
(** Resolve a request and apply the solution *)
val resolve_and_apply:
?force:bool ->
OpamState.state ->
user_action ->
atom request ->
solver_result
(** Raise an error if no solution is found *)
val error_if_no_solution: solver_result -> unit
(** {2 Atoms} *)
(** Return an atom with a string version constraint *)
val eq_atom: name -> version -> atom
(** Return a simple atom, with no version constrain, from a package*)
val atom_of_package: package -> atom
(** Return a list of simple atoms (ie. with no version constraints)
from a set of packages *)
val atoms_of_packages: package_set -> atom list
(** Return a list of constrained atoms from a set of packages *)
val eq_atoms_of_packages: package_set -> atom list
(** Return a list of atoms from a list of names (wich can eventually
be of the form name.version) *)
val atoms_of_names: OpamState.state -> name_set -> atom list
(** {2 Stats} *)
val sum: stats -> int
(** {2 Actions} *)
(** Apply a solution return by the solver *)
val apply_solution: ?force:bool -> OpamState.state -> solution -> solver_result
(** Remove a package *)
val proceed_to_delete: rm_build:bool -> OpamState.state -> package -> unit
Jump to Line
Something went wrong with that request. Please try again.