Docs GODI Archive
Projects Blog Link DB

Search GODI:


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