blob: f54c24eed85d88e6e59927438d09fbfaaf9e1121 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
#!/bin/bash
reWrite() {
ret=""
WD=`pwd`
for arg in $*
do
if [ -f ./$arg ]
then
ret="$ret $WD/$arg"
else
ret="$ret $arg"
fi
done
echo "$ret"
}
#(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
MOZDIR=$(grep -h GRE_PATH= /etc/gre.d/*.conf 2>/dev/null | cut -d '"' -f 2 -d = | head -n 1) #"
if test -e "$MOZDIR/$MOZFILE"; then echo $MOZDIR; return; fi
mozilla_script=$(which mozilla 2> /dev/null)
firefox_script=$(which firefox 2> /dev/null)
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
MD_BIN_PATH=@prefix@/lib/monodevelop/bin
if [ -n $LD_LIBRARY_PATH ]; then
export LD_LIBRARY_PATH=$MOZILLA_HOME:$LD_LIBRARY_PATH
else
export LD_LIBRARY_PATH=$MOZILLA_HOME
fi
### SYNCH BLOCK: any changes to this block should be kept in sync with the one in Makefile.am
MD_PKG_CONFIG_PATH=@gtksharp_prefix@/lib/pkgconfig/:/usr/lib/pkgconfig/:/usr/local/lib/pkgconfig/:/usr/share/pkgconfig/:/usr/local/share/pkgconfig/
if test -d /usr/lib64; then MD_PKG_CONFIG_PATH=$MD_PKG_CONFIG_PATH:/usr/lib64/pkgconfig/:/usr/local/lib64/pkgconfig/; fi
### END BLOCK
if [ -n $PKG_CONFIG_PATH ]; then
export PKG_CONFIG_PATH=$PKG_CONFIG_PATH:$MD_PKG_CONFIG_PATH
else
export PKG_CONFIG_PATH=$MD_PKG_CONFIG_PATH
fi
export MOZILLA_FIVE_HOME=$MOZILLA_HOME
ARGS=`reWrite "$@"`
set -- $ARGS
cd $MD_BIN_PATH
case x$1 in
x--profile)
shift
exec -a "monodevelop" @RUNTIME@ --profile ./MonoDevelop.exe $@
exit 0
;;
x--debug)
shift
export MONODEVELOP_DISPATCH_DEBUG=yes
exec -a "monodevelop" @RUNTIME@ --debug ./MonoDevelop.exe $@
exit 0
;;
x--trace)
shift
exec -a "monodevelop" @RUNTIME@ --trace ./MonoDevelop.exe $@
exit 0;
;;
esac
exec -a "monodevelop" @RUNTIME@ ./MonoDevelop.exe $@
|