#!/bin/bash usage() { local ret="$1" echo "Usage: $0 [--prefix prefix_command] [--debug] [--help] parameters" exit ${ret} } if [ "$1" == "--help" ]; then usage 0 fi med_prefix="" if [ "$1" == "--prefix" ]; then shift med_prefix="$1" shift fi if [ "$1" == "--debug" ]; then med_prefix="gdb --args" fi # Locate the directory containing this script. MEDINRIA_DIR="/mnt/storage/workspace/med-ubuntu-free/build/medInria-build" MEDINRIA_BIN="/mnt/storage/workspace/med-ubuntu-free/build/medInria-build/bin/medInria" # Set the plugins and library paths. export MEDINRIA_PLUGINS_DIR="/mnt/storage/workspace/med-ubuntu-free/build/medInria-build/bin/plugins:" export MEDINRIA_PLUGINS_DIR_LEGACY="/mnt/storage/workspace/med-ubuntu-free/build/medInria-build/bin/plugins_legacy:" export LD_LIBRARY_PATH=${MEDINRIA_DIR}/lib:${MEDINRIA_DIR}/lib64:${MEDINRIA_DIR}/plugins_legacy:$LD_LIBRARY_PATH # Call medInria exec ${med_prefix} "${MEDINRIA_BIN}" $*