===================================================================
RCS file: /home/cvs/OpenXM_contrib/pari-2.2/config/Attic/locatelib,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM_contrib/pari-2.2/config/Attic/locatelib	2001/10/02 11:16:55	1.1
+++ OpenXM_contrib/pari-2.2/config/Attic/locatelib	2002/09/11 07:26:40	1.2
@@ -1,3 +1,4 @@
+_pb= # to detect missing .so when .so.x is found
 for dir in $pth; do
   case "$osname" in
     os2)
@@ -5,16 +6,16 @@ for dir in $pth; do
     *)
       ok=`(ls $dir/lib$lib.* | head -1) 2> /dev/null`
       if test -n "$ok"; then
+        _pb="$ok"
         # for .so and .sl
         try=`ls $dir/lib$lib.s? 2> /dev/null` 
-        # in case it's missing a .so, but has e.g a .so.5. Take most recent
+        # for .dylib
         if test -z "$try"; then
-          try=`(ls $dir/lib$lib.s?.* | tail -1) 2> /dev/null` 
+          try=`ls $dir/lib$lib.dylib 2> /dev/null`
         fi
+        # for .a
         if test -z "$try"; then
           try=`ls $dir/lib$lib.a 2> /dev/null`
-        else 
-          try=$ok
         fi
       else
         try=
@@ -26,3 +27,12 @@ for dir in $pth; do
     break
   fi
 done
+# not found? detect missing lib*.so (missing *-devel package)
+if test -z "$try"; then
+  if test "$osname" = linux -a  -n "$_pb"; then
+    echo "###"
+    echo "### lib$lib.so not found. Please install $lib development files."
+    echo "### They usually come in $lib-devel (RPM) or lib$lib-dev (Debian) packages"
+    echo "###"
+  fi
+fi