From a81329a241ba18b8c8535576290a0ffa23739d27 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 19 Dec 2008 15:30:49 +0000
Subject: Nettoyage des variables Coq et amélioration de coqmktop. Les
 principaux changements sont:   - coqtop (et coqc) maintenant insensible aux
 variables     d'environnement COQTOP, COQBIN et COQLIB; le chemin vers les   
  librairies Coq peut être spécifié par l'option -coqlib   - coqmktop prend 4
 nouvelles options: -boot, -coqlib, -camlbin et     -camlp4bin; en mode boot,
 coqmktop se réfère à Coq_config pour les     chemins des exécutables OCaml;
 en dehors du mode boot, coqmktop     cherche les exécutables OCaml dans PATH 
  - installation des *.cmxs *.o et *.a en plus des *.cm[ioxa]; ceux-ci    
 étant installé en copiant l'architecture des sources (ie lib.cmxa     est
 installé dans COQLIB/lib/lib.cmxa)   - coq_makefile prend maintenant 3
 paramètres sous forme de variables     d'environnement: COQBIN pour dire où
 trouver les exécutables Coq,     CAMLBIN et CAMLP4BIN pour les exécutables
 OCaml et Camlp4/5; les     chemins vers les librairies sont déduits en
 utilisant -where

Le tout a testé avec Ssreflect (cf coq-contribs) en essayant de
simuler les conditions de la vie réelle (Ocaml pas dans le PATH,
installation binaire relocalisée, ...). 




git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11707 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/parse.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/parse.ml b/contrib/interface/parse.ml
index b551b143c2..5de6060f05 100644
--- a/contrib/interface/parse.ml
+++ b/contrib/interface/parse.ml
@@ -370,7 +370,7 @@ Libobject.relax true;
 (let coqdir = 
    try Sys.getenv "COQDIR"
    with Not_found -> 
-     let coqdir = Coq_config.coqlib in
+     let coqdir = Envars.coqlib () in
        if Sys.file_exists coqdir then
 	 coqdir
        else
-- 
cgit v1.2.3