monodevelop-MOZILLA_FIVE_HOME.patch

   1 --- monodevelop-0.18/monodevelop.in~    2007-12-19 16:47:09.004304700 +0100
   2 +++ monodevelop-0.18/monodevelop.in     2007-12-19 16:48:28.498841222 +0100
   3 @@ -16,42 +16,7 @@
   4      echo "$ret"
   5  }
   6
   7 -
   8 -#(NOTE: any changes to this block should be kept in sync with the one in configure.in)
   9 -MOZFILE="libgtkembedmoz.so"
  10 -find_libgtkembedmoz ()
  11 -{
  12 -       MOZDIR=$MOZILLA_FIVE_HOME
  13 -       if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  14 -
  15 -       MOZDIR=$(grep -h GRE_PATH= /etc/gre.d/*.conf 2>/dev/null | cut -d '"' -f 2 -d = | head -n 1) #"
  16 -       if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  17 -
  18 -       mozilla_script=$(which mozilla 2> /dev/null)
  19 -       firefox_script=$(which firefox 2> /dev/null)
  20 -
  21 -       if [ -z $mozilla_script ] && [ -z $firefox_script ]; then return; fi
  22 -       for runtime_script in "$firefox_script $mozilla_script"; do
  23 -               MOZDIR=$(grep "MOZ_DIST_LIB=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
  24 -               if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  25 -               MOZDIR=$(grep "MOZILLA_FIVE_HOME=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
  26 -               if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  27 -               MOZDIR=$(grep "MOZILLA_LIBDIR=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
  28 -               if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  29 -               MOZDIR=$(grep "moz_libdir=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2)
  30 -               if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
  31 -       done
  32 -}
  33 -
  34 -if test -e "@MOZILLA_HOME@/$MOZFILE"; then
  35 -       MOZILLA_HOME="@MOZILLA_HOME@"
  36 -else
  37 -       MOZILLA_HOME=`find_libgtkembedmoz`
  38 -       if test ! -e "$MOZILLA_HOME/$MOZFILE"; then
  39 -               MOZILLA_HOME=
  40 -               echo "WARNING: Cannot find Mozilla directory containing $MOZFILE. Some Addins may not be able to function. Please set MOZILLA_FIVE_HOME to your Mozilla directory."
  41 -       fi
  42 -fi
  43 +MOZILLA_HOME=@libdir@/xulrunner
  44
  45  MD_BIN_PATH=@prefix@/lib/monodevelop/bin
  46