-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcudf_conf.ml
48 lines (41 loc) · 1.73 KB
/
cudf_conf.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
(*****************************************************************************)
(* libCUDF - CUDF (Common Upgrade Description Format) manipulation library *)
(* Copyright (C) 2009-2012 Stefano Zacchiroli <zack@upsilon.cc> *)
(* *)
(* This library is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Lesser General Public License as *)
(* published by the Free Software Foundation, either version 3 of the *)
(* License, or (at your option) any later version. A special linking *)
(* exception to the GNU Lesser General Public License applies to this *)
(* library, see the COPYING file for more information. *)
(*****************************************************************************)
open Cudf_types
type stanza_typedecl = (string * typedecl) list
let preamble_typedecl = [
"preamble", `String None ;
"property", `Typedecl (Some []) ;
"univ-checksum", `String (Some "") ;
"status-checksum", `String (Some "") ;
"req-checksum", `String (Some "") ;
]
let package_typedecl = [
"package", `Pkgname None ;
"version", `Posint None ;
"depends", `Vpkgformula (Some []) ;
"conflicts", `Vpkglist (Some []) ;
"provides", `Veqpkglist (Some []) ;
"installed", `Bool (Some false) ;
"was-installed", `Bool (Some false) ;
"keep", `Enum (keep_enums, Some "none") ;
]
let request_typedecl = [
"request", `String None ;
"install", `Vpkglist (Some []) ;
"remove", `Vpkglist (Some []) ;
"upgrade", `Vpkglist (Some []) ;
]
let stanza_typedecl = [
"preamble", preamble_typedecl ;
"package", package_typedecl ;
"request", request_typedecl ;
]