From 34b0bde46bd46ab4c467caccc7a6aebb5a999a74 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier <pierre.boutillier@ens-lyon.org>
Date: Mon, 21 Jul 2014 15:52:19 +0200
Subject: Ide: Drop argument added by MacOS during .app launch

---
 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 6a960e266..d11e8c56b 100644
--- a/ide/minilib.ml
+++ b/ide/minilib.ml
@@ -6,6 +6,11 @@
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
 
+let rec print_list print fmt = function
+  | [] -> ()
+  | [x] -> print fmt x
+  | x :: r -> print fmt x; print_list print fmt r
+
 type level = [
   | `DEBUG
   | `INFO
@@ -53,3 +58,13 @@ let coqide_config_dirs () =
   coqide_config_home ()
   :: List.map coqify (Glib.get_system_config_dirs ())
   @ Option.List.cons Coq_config.configdir []
+
+let is_prefix_of pre s =
+  let i = ref 0 in
+  let () = while (!i < (String.length pre)
+        && !i < (String.length s)
+	     && pre.[!i] = s.[!i]) do
+	          incr i
+		     done
+  in !i = String.length pre
+
-- 
cgit v1.2.3