Return to locatelib CVS log

Up to [local] / OpenXM_contrib / pari-2.2 / config

Annotation of OpenXM_contrib/pari-2.2/config/locatelib, Revision 1.2

1.2     ! noro        1: _pb= # to detect missing .so when .so.x is found
1.1       noro        2: for dir in $pth; do
                      3:   case "$osname" in
                      4:     os2)
                      5:       try=`ls $dir/$lib.a 2> /dev/null`;;
                      6:     *)
                      7:       ok=`(ls $dir/lib$lib.* | head -1) 2> /dev/null`
                      8:       if test -n "$ok"; then
1.2     ! noro        9:         _pb="$ok"
1.1       noro       10:         # for .so and .sl
                     11:         try=`ls $dir/lib$lib.s? 2> /dev/null`
1.2     ! noro       12:         # for .dylib
1.1       noro       13:         if test -z "$try"; then
1.2     ! noro       14:           try=`ls $dir/lib$lib.dylib 2> /dev/null`
1.1       noro       15:         fi
1.2     ! noro       16:         # for .a
1.1       noro       17:         if test -z "$try"; then
                     18:           try=`ls $dir/lib$lib.a 2> /dev/null`
                     19:         fi
                     20:       else
                     21:         try=
                     22:       fi;;
                     23:   esac
                     24:   if test -n "$try"; then
                     25:     echo ..."Found lib$lib in $dir";
                     26:     eval $lib=$dir;
                     27:     break
                     28:   fi
                     29: done
1.2     ! noro       30: # not found? detect missing lib*.so (missing *-devel package)
        !            31: if test -z "$try"; then
        !            32:   if test "$osname" = linux -a  -n "$_pb"; then
        !            33:     echo "###"
        !            34:     echo "### lib$lib.so not found. Please install $lib development files."
        !            35:     echo "### They usually come in $lib-devel (RPM) or lib$lib-dev (Debian) packages"
        !            36:     echo "###"
        !            37:   fi
        !            38: fi