Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLluis Sanchez <lluis@novell.com>2007-12-04 13:49:22 +0300
committerLluis Sanchez <lluis@novell.com>2007-12-04 13:49:22 +0300
commit0aa95ab0ad2750a62ca248d0154b9b9f80f11de8 (patch)
tree1de0d12270990af00b94d77e7a54eac89bc36122 /main/mdtool.in
parent7195f4926b21b46ad8e4ce1976603ffc63b49729 (diff)
Directory reorganization
svn path=/branches/monodevelop/reorg/; revision=90637
Diffstat (limited to 'main/mdtool.in')
-rw-r--r--main/mdtool.in50
1 files changed, 50 insertions, 0 deletions
diff --git a/main/mdtool.in b/main/mdtool.in
new file mode 100644
index 0000000000..e9659657d5
--- /dev/null
+++ b/main/mdtool.in
@@ -0,0 +1,50 @@
+#!/bin/sh
+
+reWrite() {
+ ret=""
+ WD=`pwd`
+ for arg in $*
+ do
+ if [ -f ./$arg ]
+ then
+ ret="$ret $WD/$arg"
+ else
+ ret="$ret $arg"
+ fi
+ done
+
+ echo "$ret"
+}
+
+MD_BIN_PATH=@prefix@/lib/monodevelop/bin
+
+if [ -n $PKG_CONFIG_PATH ]; then
+ export PKG_CONFIG_PATH=$PKG_CONFIG_PATH:@gtksharp_prefix@/lib/pkgconfig/
+else
+ export PKG_CONFIG_PATH=@gtksharp_prefix@/lib/pkgconfig/
+fi
+
+ARGS=`reWrite "$@"`
+set -- $ARGS
+
+case x$1 in
+ x--profile)
+ shift
+ exec @RUNTIME@ --profile $MD_BIN_PATH/mdrun.exe $@
+ exit 0
+ ;;
+ x--debug)
+ shift
+ export MONODEVELOP_DISPATCH_DEBUG=yes
+ exec @RUNTIME@ --debug $MD_BIN_PATH/mdrun.exe $@
+ exit 0
+ ;;
+ x--trace)
+ shift
+ exec @RUNTIME@ --trace $MD_BIN_PATH/mdrun.exe $@
+ exit 0;
+ ;;
+esac
+
+exec @RUNTIME@ $MD_BIN_PATH/mdrun.exe $@
+