whatoptions.sh
上传用户:hongyu5696
上传日期:2018-01-22
资源大小:391k
文件大小:1k
源码类别:

PlugIns编程

开发平台:

Unix_Linux

  1. #!/bin/bash
  2. gtk1=no
  3. gtk2=no
  4. debian=no
  5. geckosdk=yes
  6. MOZ=`which mozilla`
  7. MOZHOME=`grep MOZILLA_FIVE_HOME= ${MOZ} | awk  -F " '{ print $2 }'`
  8. if [ -z ${MOZHOME} ]; then MOZHOME=`grep moz_libdir= ${MOZ} | awk  -F " '{ print $2 }'`; fi
  9. if [ -z ${MOZHOME} ]; then MOZHOME=`grep moz_libdir= ${MOZ} | nawk  -F = '{ print $2 }'`; fi
  10. if [ -z ${MOZHOME} ]; then
  11.     if [ -d /usr/lib/firefox ]; then
  12. debian=yes;
  13. MOZHOME=/usr/lib/firefox;
  14.     elif [ -d /usr/lib/mozilla ]; then
  15. debian=yes;
  16. MOZHOME=/usr/lib/mozilla;
  17.     else
  18. echo "Can't find MOZILLA HOME. Please install manually";
  19. exit 1;
  20.     fi
  21. fi
  22. if [ ${MOZHOME} != "/usr/lib/firefox" ]; then
  23.     if [ `ldd ${MOZHOME}/mozilla-bin | grep gtk-x11 | wc -l` != 0 ]; then gtk2=yes; fi
  24.     if [ `ldd ${MOZHOME}/mozilla-bin | grep gtk-1 | wc -l` != 0 ]; then gtk1=yes; fi
  25. else
  26.     if [ `ldd ${MOZHOME}/firefox-bin | grep gtk-x11 | wc -l` != 0 ]; then gtk2=yes; fi;
  27. fi
  28. pkg-config --exists mozilla-plugin
  29. if [ $? == 0 ]; then geckosdk=no; fi
  30. echo "Run configure with the following options"
  31. echo ""
  32. echo -n "./configure"
  33. if [ $gtk1 == yes ]; then echo -n " --enable-gtk1"; fi
  34. if [ $gtk2 == no -a $gtk1 == no ]; then echo -n " --enable-x"; fi
  35. if [ $debian == yes ]; then echo -n " --with-mozilla-home={/usr/lib/mozilla or /usr/lib/firefox}"; fi
  36. if [ $geckosdk == yes ]; then echo " --with-gecko-sdk={path to gecko sdk}"; echo ; echo "You need to install the gecko-sdk"; fi
  37. echo