use_gurobi_mosek.sh

#!/bin/bash

# PLEASE NOTE: This is a prototype script that may change in the future; please only use this
# if it is suggested to you by a Drake developer for debugging.
# You will need to ensure that the `export ...` statement is run in your current terminal.
# Consider just `source`ing this file.

mosek_dir=~/.local/opt/mosek;
mosek_lib=${mosek_dir}/7/tools/platform/linux64x86/bin;

# Execute these steps if you need mosek
if [[ ! -d ${mosek_dir} ]]; then
    download_dir=/tmp
    extract_dir=$(dirname ${mosek_dir})
    mosek_major=7
    mosek_platform=linux64x86
    mosek_url="http://download.mosek.com/stable/${mosek_major}/mosektools${mosek_platform}.tar.bz2"
    mosek_file=$(basename ${mosek_url})
    mkdir -p ${download_dir} ${extract_dir}
    wget -P ${download_dir} ${mosek_url}
    tar jxf ${download_dir}/${mosek_file} -C ${extract_dir}
fi

# Export libraries
export LD_LIBRARY_PATH=${GUROBI_PATH}/lib:${mosek_lib}:${LD_LIBRARY_PATH}