https://github.com/EasyCrypt/easycrypt
Revision 9f6a2f9c698e6c47fa841a0b040bc45d82a601c5 authored by Benjamin Gregoire on 07 July 2016, 06:32:45 UTC, committed by Benjamin Gregoire on 07 July 2016, 06:32:45 UTC
1 parent 776af38
Tip revision: 9f6a2f9c698e6c47fa841a0b040bc45d82a601c5 authored by Benjamin Gregoire on 07 July 2016, 06:32:45 UTC
add make
add make
Tip revision: 9f6a2f9
XDG.mli
(* --------------------------------------------------------------------
* Copyright (c) - 2012--2016 - IMDEA Software Institute
* Copyright (c) - 2012--2016 - Inria
*
* Distributed under the terms of the CeCILL-C-V1 license
* -------------------------------------------------------------------- *)
(* -------------------------------------------------------------------- *)
type path = string
type xdgroots = {
xdg_data_home : path;
xdg_config_home : path;
xdg_cache_home : path;
xdg_data_dirs : path list;
xdg_config_dirs : path list;
}
val xdgroots : xdgroots
exception XdgUndefined of string
(* -------------------------------------------------------------------- *)
type mode = [`User | `System | `All]
type xdgfile =
?roots:xdgroots
-> ?exists:bool
-> appname:string
-> mode:mode
-> path
-> path list
(* -------------------------------------------------------------------- *)
module Data : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Config : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Cache : sig
val user : ?roots:xdgroots -> unit -> path
val file : xdgfile
end
Computing file changes ...