diff options
| author |  courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-19 06:49:50 +0000 |
|---|---|---|
| committer | courant <courant@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2001-04-19 06:49:50 +0000 |
| commit | 831886a339af8bd5cd14f9d7e5ea4f9ff9ecd744 (patch) | |
| tree | 10dfbd93f7d18df58ad25f5194a2ef8527e81fdf /scripts | |
| parent | 5c18d2b232c85b8148ec86bd453440a634c38230 (diff) | |
*** empty log message ***
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1612 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqc.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/coqc.ml b/scripts/coqc.ml index 0ef69ab08..022656720 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 |