From 831886a339af8bd5cd14f9d7e5ea4f9ff9ecd744 Mon Sep 17 00:00:00 2001
From: courant
Date: Thu, 19 Apr 2001 06:49:50 +0000
Subject: *** empty log message ***

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

(limited to 'scripts')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index 0ef69ab086..022656720d 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -127,6 +127,9 @@ let parse_args () =
 	keep := true ; parse (cfiles,args) rem
     | ("-verbose" | "--verbose") :: rem -> 
 	verbose := true ; parse (cfiles,args) rem
+    | "-boot" :: rem ->
+	bindir:= Filename.concat Coq_config.coqtop "bin";
+	parse (cfiles, "-boot"::args) rem
     | "-bindir" :: d :: rem ->
 	bindir := d ; parse (cfiles,args) rem
     | "-bindir" :: []       ->
@@ -182,7 +185,7 @@ let main () =
     usage ()
   end;
   let coqtopname = 
-    if !image <> "" then !image else Filename.concat !bindir !binary 
+    if !image <> "" then !image else Filename.concat !bindir (!binary ^ Coq_config.exec_extension)
   in
   List.iter (compile coqtopname args) cfiles
     
-- 
cgit v1.2.3