bartvdrmeulen@2020: --- ppl-0.10.2/configure	2010-03-19 07:44:26.000000000 +0100
bartvdrmeulen@2020: +++ ppl-0.10.2-new/configure	2010-03-19 19:25:02.000000000 +0100
bartvdrmeulen@2020: @@ -15603,11 +15603,12 @@
bartvdrmeulen@2020:                  found_la="$additional_libdir/lib$name.la"
bartvdrmeulen@2020:                fi
bartvdrmeulen@2020:              else
bartvdrmeulen@2020: -              if test -f "$additional_libdir/lib$name.$libext"; then
bartvdrmeulen@2020: +              post=${shlibext:+.${shlibext}}
bartvdrmeulen@2020: +              if test -f "$additional_libdir/lib$name$post.$libext"; then
bartvdrmeulen@2020:                  found_dir="$additional_libdir"
bartvdrmeulen@2020: -                found_a="$additional_libdir/lib$name.$libext"
bartvdrmeulen@2020: -                if test -f "$additional_libdir/lib$name.la"; then
bartvdrmeulen@2020: -                  found_la="$additional_libdir/lib$name.la"
bartvdrmeulen@2020: +                found_a="$additional_libdir/lib$name$post.$libext"
bartvdrmeulen@2020: +                if test -f "$additional_libdir/lib$name$post.la"; then
bartvdrmeulen@2020: +                  found_la="$additional_libdir/lib$name$post.la"
bartvdrmeulen@2020:                  fi
bartvdrmeulen@2020:                fi
bartvdrmeulen@2020:              fi