From 098200d7e14805e8ae8b8f3873faec3ee3c096ad Mon Sep 17 00:00:00 2001 From: pboutill Date: Wed, 12 Sep 2012 14:10:37 +0000 Subject: Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15793 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/minilib.ml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'ide/minilib.ml') diff --git a/ide/minilib.ml b/ide/minilib.ml index 825fc58cc..6a960e266 100644 --- a/ide/minilib.ml +++ b/ide/minilib.ml @@ -38,3 +38,18 @@ let log ?(level = `DEBUG) msg = try Printf.eprintf "[%s] %s\n%!" prefix msg with _ -> () end + +let coqify d = Filename.concat d "coq" + +let coqide_config_home () = + coqify (Glib.get_user_config_dir ()) + +let coqide_data_dirs () = + coqify (Glib.get_user_data_dir ()) + :: List.map coqify (Glib.get_system_data_dirs ()) + @ Option.List.cons Coq_config.datadir [] + +let coqide_config_dirs () = + coqide_config_home () + :: List.map coqify (Glib.get_system_config_dirs ()) + @ Option.List.cons Coq_config.configdir [] -- cgit v1.2.3