# HG changeset patch
# User siretart
# Date 1240520386 0
# Node ID 11ffcebc19cf7567bc38743f8fb290f321a3d4c0
# Parent  a99dc500088fe7b3bb4ef1c2f436a98137fa4fc2
check for missing libstdc++

this version of the check assumes that we run on a system with apt-get
installed and configured. We should probably check that this is actually
true. Or more ideally add support for yum for fedora systems.

diff -r a99dc500088f -r 11ffcebc19cf TOOLS/binary_codecs.sh
--- a/TOOLS/binary_codecs.sh	Thu Apr 23 20:56:59 2009 +0000
+++ b/TOOLS/binary_codecs.sh	Thu Apr 23 20:59:46 2009 +0000
@@ -159,6 +159,19 @@
             n=1
           fi
         done
+      needlibstd=no
+      test "$dpkgarch" = "powerpc" && needlibstd=yes
+      test "$dpkgarch" = "i386" && needlibstd=yes
+      if test "$needlibstd" = "yes" && ! test -r /usr/lib/libstdc++.so.5 ; then
+	echo "Warning: you need to install libstdc++ 5 libraries"
+	echo -n "Do it now? "
+	read R
+	case $R in
+         y*) apt-get install libstdc++5 ;;
+          *) echo "If you change your mind, use the command"
+             echo "  apt-get install libstdc++5" ;;
+        esac
+      fi
     else
       echo "Sorry, no codecs for your arch '$dpkgarch'. Sorry dude :("
       exit 1