From 7aa14d679074f3c0c6a3f1c81c4f73c2d1c8c17e Mon Sep 17 00:00:00 2001 From: pboutill Date: Thu, 1 Sep 2011 09:51:22 +0000 Subject: Add option -f to coqide to specify where to look the project file git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14441 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/coqide_main.ml4 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide/coqide_main.ml4') diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index 28301ff1d..a9aed9599 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -66,7 +66,7 @@ END let () = let argl = Array.to_list Sys.argv in - let argl = Coqide.set_coqtop_path argl in + let argl = Coqide.read_coqide_args argl in let files = Coqide.process_argv argl in let args = List.filter (fun x -> not (List.mem x files)) (List.tl argl) in Coq.check_connection args; -- cgit v1.2.3