main/mdtool.in

   1 #!/bin/bash
   2
   3 #this script should be in $PREFIX/bin
   4 PREFIX="${0%%/mdtool}/.."
   5
   6 MD_FORCE_DEBUG=yes
   7
   8 for arg in $*; do
   9 case x$arg in
  10         x--profile*)
  11                 MONO_OPTIONS="$MONO_OPTIONS $arg"
  12                 shift
  13                 ;;
  14         x--debug*)
  15                 export MONODEVELOP_DISPATCH_DEBUG=yes
  16                 unset MD_FORCE_DEBUG
  17                 MONO_OPTIONS="$MONO_OPTIONS $arg"
  18                 shift
  19                 ;;
  20         x--trace*)
  21                 MONO_OPTIONS="$MONO_OPTIONS $arg"
  22                 shift
  23                 ;;
  24         x--no-debug)
  25                 unset MD_FORCE_DEBUG
  26                 shift
  27                 ;;
  28         *)
  29                 ARGS="$ARGS $arg"
  30                 shift
  31                 ;;
  32 esac
  33 done
  34
  35 if [ -z MD_FORCE_DEBUG ]; then
  36         MONO_OPTIONS="$MONO_OPTIONS --debug"
  37 fi
  38
  39 if [ -n "$MONO_OPTIONS" ]; then
  40         echo "** Running with Mono options: $MONO_OPTIONS **"
  41 fi
  42
  43 exec_args="-a mdtool mono $MONO_OPTIONS $PREFIX/lib/monodevelop/bin/mdrun.exe $ARGS"
  44
  45 exec $exec_args
  46