From a5bc638afc33a747c42374cfbe4424ab147433ec Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 18 Oct 2007 12:25:03 +0000
Subject: Uniformisation de l'option -where de coqc avec celle de coqtop

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10235 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqc.ml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index e09ef40e47..673567a856 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -158,10 +158,13 @@ let parse_args () =
       | "-unboxed-values" | "-unboxed-definitions" | "-draw-vm-instr" 
 	  as o) :: rem ->
 	parse (cfiles,o::args) rem
+    | "-where" :: _ -> 
+	let coqlib = 
+	  try Sys.getenv "COQLIB" with Not_found -> Coq_config.coqlib 
+	in
+	  print_endline coqlib; exit 0
     | ("-v"|"--version") :: _ ->
         Usage.version ()
-    | "-where" :: _ -> 
-	print_endline Coq_config.coqlib; exit 0
     | f :: rem -> 
 	if Sys.file_exists f then
 	  parse (f::cfiles,args) rem
-- 
cgit v1.2.3