diff options
author | Michael Hutchinson <mhutchinson@novell.com> | 2010-08-18 20:55:14 +0400 |
---|---|---|
committer | Michael Hutchinson <mhutchinson@novell.com> | 2010-08-18 20:55:14 +0400 |
commit | 62badc5052f6555becea2fd514cd30bd86892255 (patch) | |
tree | 0829e6a014848f7eb460a0f4a7130c8019170898 /main/monodevelop.in | |
parent | 9c1ee1675ba310b5de21dac1fd95982eea7c5ec4 (diff) |
Remove Mozilla path detection code
Nothing that used it works any more, nor is ever likely to
since Mozilla broke embedding APIs so much.
Diffstat (limited to 'main/monodevelop.in')
-rwxr-xr-x | main/monodevelop.in | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in index 8534847a06..a4dc2cb20e 100755 --- a/main/monodevelop.in +++ b/main/monodevelop.in @@ -13,62 +13,6 @@ else _MONO_OPTIONS=$MONO_OPTIONS fi -############################# -## BEGIN MOZILLA DETECTION ## -############################# - -#(NOTE: any changes to this block should be kept in sync with the one in configure.in) -MOZFILE="libgtkembedmoz.so" -find_libgtkembedmoz () -{ - MOZDIR=$MOZILLA_FIVE_HOME - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - - ALLMOZDIRS=$(grep -h GRE_PATH= /etc/gre.d/*.conf 2>/dev/null | cut -d '"' -f 2 -d = ) - if [ -n "$ALLMOZDIRS" ] ; then - for MOZDIR in $ALLMOZDIRS ; do - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - done - fi - - mozilla_script=$(which mozilla 2> /dev/null) - firefox_script=$(which firefox 2> /dev/null) - - if [ -z $mozilla_script ] && [ -z $firefox_script ]; then return; fi - for runtime_script in "$firefox_script $mozilla_script"; do - MOZDIR=$(grep "MOZ_DIST_LIB=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2) - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - MOZDIR=$(grep "MOZILLA_FIVE_HOME=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2) - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - MOZDIR=$(grep "MOZILLA_LIBDIR=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2) - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - MOZDIR=$(grep "moz_libdir=" $runtime_script 2> /dev/null | cut -d '"' -f 2 | cut -d '=' -f 2) - if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi - done -} - -if test -e "@MOZILLA_HOME@/$MOZFILE"; then - MOZILLA_HOME="@MOZILLA_HOME@" -else - MOZILLA_HOME=`find_libgtkembedmoz` - if test ! -e "$MOZILLA_HOME/$MOZFILE"; then - MOZILLA_HOME= - 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." - fi -fi - -if [ -n $LD_LIBRARY_PATH ]; then - export LD_LIBRARY_PATH="$MOZILLA_HOME:$LD_LIBRARY_PATH" -else - export LD_LIBRARY_PATH="$MOZILLA_HOME" -fi - -export MOZILLA_FIVE_HOME="$MOZILLA_HOME" - -########################### -## END MOZILLA DETECTION ## -########################### - if [ -n "$_MD_REDIRECT_LOG" ]; then mkdir -p `dirname "$_MD_REDIRECT_LOG"` $MONO_EXEC $_MONO_OPTIONS "$EXE_PATH" $* 2>&1 | tee "$_MD_REDIRECT_LOG" |