#!/bin/sh

PRAGMADEV_OLD_LD_LIBRARY_PATH="$LD_LIBRARY_PATH"
LD_LIBRARY_PATH="$LD_LIBRARY_PATH":$RTDS_HOME/bin
export PRAGMADEV_OLD_LD_LIBRARY_PATH LD_LIBRARY_PATH

$RTDS_HOME/bin/runPragmadevStudio-unix -specifier $*
