Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/godiva/common.cmi_pretty GODI Package apps-godiva
Library godiva
 
   common.cmi_pretty    common.mli    Sources  
type options = [ `bmake | `configure | `htdoc | `opt ]
type category = [ `apps | `base | `conf | `godi ]
type relop = [ `eq | `ge | `gt | `le | `lt ]
type dep = category * string * (relop * string) option
type confopt =
  Common.confopt = {
  name : string;
  default : string;
  description : string;
  implementation : [ `configarg of string | `makevar of string ];
}
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml