Module Debcudf

module Debcudf: sig .. end
Debian Specific Cudf conversion routines

type tables 
abstract data type holding the conversion tables for the debcudf translation.
type extramap = (string * (string * Cudf_types.typedecl1)) list 
type options = {
   extras_opt : extramap;
   native : string option; (*the native architecture*)
   foreign : string list; (*list of foreign architectures*)
   host : string option; (*the host architecture - cross compile*)
   ignore_essential : bool;
}
val default_options : options
val init_tables : ?step:int ->
?versionlist:Format822.version list ->
Packages.package list -> tables
initialize the version conversion tables
val clear : tables -> unit
return the cudf version associated to a tuple (name,version). * return Not_found if there is not package or cudf version associated * to the tuple (name,version)
val get_cudf_version : tables -> Format822.name * Format822.version -> int
val get_real_version : tables ->
Cudf_types.pkgname * Cudf_types.version -> Format822.version
return the real version associated to a Cudf package
val tocudf : tables ->
?options:options -> ?inst:bool -> Packages.package -> Cudf.package
tocudf tbl p convert the a debian package representation to cudf.
inst : : set the Installed cudf field
val lltocudf : ?enc:bool ->
tables -> Format822.vpkg list list -> Cudf_types.vpkgformula
convert a debian dependency list in a cudf constraints formula
val ltocudf : ?enc:bool -> tables -> Format822.vpkg list -> Cudf_types.vpkglist
convert a debian conflict list in a cudf constraints list
val preamble : Cudf.preamble
declare the Cudf preamble used by cudf. Namely, debcudf add :
val load_universe : ?options:options -> Packages.package list -> Cudf.universe
create a Cudf universe from a debian package representation list.
val load_list : ?options:options -> Packages.package list -> Cudf.package list
create a Cudf package list from a debian package representation list.