diff options
Diffstat (limited to 'main/mdtool.in')
-rw-r--r-- | main/mdtool.in | 50 |
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 $@ + |