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;`
`builds_from : bool;`	`(*`	whether to add the builds-from relationship from binary to source packages	`*)`

}

val default_options : options

val init_tables : ?step:int ->
       ?versionlist:Packages_types.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 -> Packages_types.name * Packages_types.version -> int

val get_real_version : tables ->
       Cudf_types.pkgname * Cudf_types.version -> Packages_types.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.

Version and package name normalization.
Adding self conflicts.
Virtual package normalization.
Adding priority information if avaiblable.
Mapping APT request.

inst : : set the Installed cudf field

val lltocudf : ?enc:bool ->
       tables -> Packages_types.vpkg list list -> Cudf_types.vpkgformula

convert a debian dependency list in a cudf constraints formula

val ltocudf : ?enc:bool ->
       tables -> Packages_types.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 :

a property named Number of type string containing the original debian version
a property named Source of type string
a property named Sourceversion of type string

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.