diff options
| author | herbelin | 2003-09-12 19:33:17 +0000 |
|---|---|---|
| committer | herbelin | 2003-09-12 19:33:17 +0000 |
| commit | 8677ac9dce9a617755eae07c19f0b1f42ad6af55 (patch) | |
| tree | e7f2f3f10f4380cc637937214263eb2a08881be8 /lib | |
| parent | a433b7797072aa2eec7ee4eb165bf7e72803cc25 (diff) | |
Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et choix
du parseur en fonction de cette option
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4387 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/options.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/options.ml b/lib/options.ml index b90b22ee8f..5f67bebeed 100644 --- a/lib/options.ml +++ b/lib/options.ml @@ -26,9 +26,10 @@ let xml_export = ref false let dont_load_proofs = ref false -let v7 = +let v7 = let f = Filename.basename Sys.argv.(0) in - ref (not (f = "coqtopnew.byte" or f = "coqtopnew.opt" or f = "coqtopnew")) + ref (not (f = "coqtopnew.byte" or f = "coqtopnew.opt" or f = "coqtopnew" + or array_exists ((=) "-v8") Sys.argv)) let v7_only = ref false |