#!/bin/sh
export LD_LIBRARY_PATH="/usr/lib/nuxmv${LD_LIBRARY_PATH:+:$LD_LIBRARY_PATH}"
exec "/usr/lib/nuxmv/nuXmv" "$@"
