From 5e88ae6b465f38da8e6864626e23673a14927c10 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 1 Jun 2008 19:39:44 +0000
Subject: Quelques amendements liées à la compilation des packages. - typo du
 configure; - warnings variables non utilisées dans ide/utils; - suppression
 des variables vides COQINSTALLPREFIX et OLDROOT parce   que l'option -e que
 l'on aurait pu en principe utiliser pour les   surcharger ne fonctionne pas
 lorsqu'il y a plusieurs niveaux   d'imbrication de makefiles (comme c'est le
 cas quand on vient   du makefile servant à faire les packages qui appelle le
 makefile   principal qui appelle les makefile.stage); - utilisation de ALLVO
 plutôt qu'un find pour trouver les .v sur   lesquels appliquer coqdep (permet
 d'éviter des warning sur les fichiers   de test, non prévus pour faire partie
 de la biblio standard); - utilisation de -custom sur les bytecode qui ne
 l'étaient pas encore   (coqchk et coqmktop) pour être indépendant de ocamlrun
 à   l'installation.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11029 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/utils/configwin_ihm.ml | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

(limited to 'ide/utils')

diff --git a/ide/utils/configwin_ihm.ml b/ide/utils/configwin_ihm.ml
index 240fd829d8..3ab3823de3 100644
--- a/ide/utils/configwin_ihm.ml
+++ b/ide/utils/configwin_ihm.ml
@@ -364,7 +364,7 @@ class string_param_box param (tt:GData.tooltips) =
   let _ = dbg "string_param_box" in
   let hbox = GPack.hbox () in
   let wev = GBin.event_box ~packing: (hbox#pack ~expand: false ~padding: 2) () in
-  let wl = GMisc.label ~text: param.string_label ~packing: wev#add () in
+  let _wl = GMisc.label ~text: param.string_label ~packing: wev#add () in
   let we = GEdit.entry
       ~editable: param.string_editable
       ~packing: (hbox#pack ~expand: param.string_expand ~padding: 2)
@@ -396,7 +396,7 @@ class combo_param_box param (tt:GData.tooltips) =
   let _ = dbg "combo_param_box" in
   let hbox = GPack.hbox () in
   let wev = GBin.event_box ~packing: (hbox#pack ~expand: false ~padding: 2) () in
-  let wl = GMisc.label ~text: param.combo_label ~packing: wev#add () in
+  let _wl = GMisc.label ~text: param.combo_label ~packing: wev#add () in
   let wc = GEdit.combo
       ~popdown_strings: param.combo_choices
       ~value_in_list: (not param.combo_new_allowed)
@@ -754,9 +754,7 @@ class hotkey_param_box param (tt:GData.tooltips) =
   let _ = dbg "hotkey_param_box" in
   let hbox = GPack.hbox () in
   let wev = GBin.event_box ~packing: (hbox#pack ~expand: false ~padding: 2) () in
-  let wl = GMisc.label ~text: param.hk_label
-      ~packing: wev#add ()
-  in
+  let _wl = GMisc.label ~text: param.hk_label ~packing: wev#add () in
   let we = GEdit.entry
       ~editable: false
       ~packing: (hbox#pack ~expand: param.hk_expand ~padding: 2)
@@ -805,9 +803,7 @@ class hotkey_param_box param (tt:GData.tooltips) =
 class modifiers_param_box param =
   let hbox = GPack.hbox () in
   let wev = GBin.event_box ~packing: (hbox#pack ~expand: false ~padding: 2) () in
-  let wl = GMisc.label ~text: param.md_label 
-      ~packing: wev#add () 
-  in
+  let _wl = GMisc.label ~text: param.md_label ~packing: wev#add () in
   let we = GEdit.entry
       ~editable: false
       ~packing: (hbox#pack ~expand: param.md_expand ~padding: 2)
-- 
cgit v1.2.3