Skip to content
Snippets Groups Projects
Commit ed309872 authored by Allan Blanchard's avatar Allan Blanchard Committed by Andre Maroneze
Browse files

[kernel] shorten Dune_site_dir to Site_dir

parent 284bb307
No related branches found
No related tags found
No related merge requests found
...@@ -331,7 +331,7 @@ end ...@@ -331,7 +331,7 @@ end
@since Frama-C+dev @since Frama-C+dev
*) *)
module type Dune_site_dir = sig module type Site_dir = sig
val set: Filepath.Normalized.t -> unit val set: Filepath.Normalized.t -> unit
(** Sets the <dune-site-dir> directory (without creating it). *) (** Sets the <dune-site-dir> directory (without creating it). *)
......
...@@ -42,7 +42,7 @@ module type S_no_log = sig ...@@ -42,7 +42,7 @@ module type S_no_log = sig
val add_group: ?memo:bool -> string -> Cmdline.Group.t val add_group: ?memo:bool -> string -> Cmdline.Group.t
module Verbose: Parameter_sig.Int module Verbose: Parameter_sig.Int
module Debug: Parameter_sig.Int module Debug: Parameter_sig.Int
module Share: Parameter_sig.Dune_site_dir module Share: Parameter_sig.Site_dir
module Session: Parameter_sig.User_dir module Session: Parameter_sig.User_dir
module Cache_dir () : Parameter_sig.User_dir module Cache_dir () : Parameter_sig.User_dir
module Config_dir () : Parameter_sig.User_dir module Config_dir () : Parameter_sig.User_dir
...@@ -291,7 +291,7 @@ struct ...@@ -291,7 +291,7 @@ struct
(** {3 Specific directories} *) (** {3 Specific directories} *)
(* ************************************************************************ *) (* ************************************************************************ *)
module Share : Parameter_sig.Dune_site_dir = struct module Share : Parameter_sig.Site_dir = struct
let is_visible = !share_visible_ref let is_visible = !share_visible_ref
let is_kernel = is_kernel () (* the side effect must be applied right now *) let is_kernel = is_kernel () (* the side effect must be applied right now *)
......
...@@ -47,7 +47,7 @@ module type S_no_log = sig ...@@ -47,7 +47,7 @@ module type S_no_log = sig
@since Oxygen-20120901 @since Oxygen-20120901
@before Frama-C+dev more modes were allowed @before Frama-C+dev more modes were allowed
*) *)
module Share: Parameter_sig.Dune_site_dir module Share: Parameter_sig.Site_dir
(** Handle the specific `session' directory of the plug-in. (** Handle the specific `session' directory of the plug-in.
@since Neon-20140301 *) @since Neon-20140301 *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment