From 8d41b4a80e6b1a944772a435e2a8eb54adc3048c Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 13 Nov 2008 17:12:27 +0000
Subject: Tentative d'amélioration de la robustesse des Makefile générés par
 coq_makefile en présence de fichiers .ml :

  - ajout d'une option -config à coqtop qui affiche les informations
    de configuration (COQTOP, COQBIN, COQLIB, CAMLP4, CAMLP4LIB, CAMLBIN, 
    LOCAL)

  - coq_makefile inclut un fichier Makefile.config qui contient les
    valeurs des variables sus-mentionnées




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

(limited to 'scripts')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index e661455cac..aa09219bf7 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -164,6 +164,9 @@ let parse_args () =
 	  try Sys.getenv "COQLIB" with Not_found -> Coq_config.coqlib 
 	in
 	  print_endline coqlib; exit 0
+
+    | ("-config" | "--config") :: _ -> Usage.print_config (); exit 0
+
     | ("-v"|"--version") :: _ ->
         Usage.version ()
     | f :: rem -> 
-- 
cgit v1.2.3