-@@ -471,13 +471,13 @@
- else
- case $lablgtkdir_spec in
- no)
-- if [ -f "${CAMLLIB}/lablgtk2/glib.mli" ]; then
-+ if [ -f "${CAMLLIB}/lablgtk2/glib.cmi" ]; then
- lablgtkdir=${CAMLLIB}/lablgtk2
-- elif [ -f "${CAMLLIB}/site-lib/lablgtk2/glib.mli" ]; then
-+ elif [ -f "${CAMLLIB}/site-lib/lablgtk2/glib.cmi" ]; then
- lablgtkdir=${CAMLLIB}/site-lib/lablgtk2
- fi;;
- yes)
-- if [ ! -f "$lablgtkdir/glib.mli" ]; then
-+ if [ ! -f "$lablgtkdir/glib.cmi" ]; then
- echo "Incorrect LablGtk2 library (glib.mli not found)."
+@@ -634,7 +634,7 @@
+ # Beware of the final \r in Win32
+ lablgtkdirtmp="$(ocamlfind query lablgtk2 2> /dev/null | tr -d '\r')"
+ if [ "$lablgtkdirtmp" != "" ]; then
+- if [ -f "$lablgtkdirtmp/glib.cmi" -a -f "$lablgtkdirtmp/glib.mli" ]; then
++ if [ -f "$lablgtkdirtmp/glib.cmi" -o -f "$lablgtkdirtmp/glib.mli" ]; then
+ lablgtkdirfoundmsg="LabelGtk2 found by ocamlfind"
+ lablgtkdir=$lablgtkdirtmp
+ LABLGTKLIB=$lablgtkdir # Pour le message utilisateur
+@@ -652,7 +652,7 @@
+ echo "$lablgtkdir is not a valid directory."