diff options
| author |  barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 00:08:14 +0000 |
|---|---|---|
| committer | barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-22 00:08:14 +0000 |
| commit | dc25e1b9a7ca3d747b6b9494d58c1ad267bad055 (patch) | |
| tree | 0ae762612397ca3a34e47b675b5f5200211d2f65 /checker/checker.ml | |
| parent | 85a223796514d98211c06593d7ec72e56ed21e33 (diff) | |
added coqchk to the main Makefile and a make variable VALIDATE to check the vo files of the theories
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10962 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'checker/checker.ml')
| -rw-r--r-- | checker/checker.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/checker/checker.ml b/checker/checker.ml index 0ae94444d..1c7ace12f 100644 --- a/checker/checker.ml +++ b/checker/checker.ml @@ -102,19 +102,11 @@ let set_default_rec_include d = check_coq_overwriting p; push_rec_include (d, p) -let safe_getenv_def var def = - try - Sys.getenv var - with Not_found -> - warning ("Environment variable "^var^" not found: using '"^def^"' ."); - flush_all(); - def - (* Initializes the LoadPath according to COQLIB and Coq_config *) let init_load_path () = let coqlib = (* variable COQLIB overrides the default library *) - safe_getenv_def "COQLIB" + getenv_else "COQLIB" (if Coq_config.local || !Flags.boot then Coq_config.coqtop else Coq_config.coqlib) in let user_contrib = coqlib/"user-contrib" in |