Remove Mozilla path detection code

Nothing that used it works any more, nor is ever likely to
since Mozilla broke embedding APIs so much.

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"