Linux Installation

On Linux, your next step is to choose a destination directory. We recommend /opt for a shared installation (you may need administrator privileges), but other directories will work as well. Copy the Remote Services distribution to the destination directory and extract the contents. Extraction is done with the following command:

tar xvfz gurobi_server10.0.1_linux64.tar.gz

This command will create a sub-directory gurobi_server1001/linux64 that contains the complete Linux Remote Services distribution. Assuming that you extracted the Gurobi server archive in the /opt directory, your <installdir> (which we'll refer to throughout this document) will be /opt/gurobi_server1001/linux64.

The Gurobi Optimizer makes use of several executable files. In order to allow these files to be found when needed, you will have to modify your search path. Specifically, your PATH environment variable should be extended to include <installdir>/bin. Users of the bash shell should add the following line to their .bashrc file:

export PATH="${PATH}:/opt/gurobi_server1001/linux64/bin"

Users of the csh shell should add the following line to their .cshrc file:

setenv PATH "${PATH}:/opt/gurobi_server1001/linux64/bin"

You'll need to close your current terminal window and open a new one after you have made these changes in order to pick up the new settings.

In some Linux distributions, applications launched from the Linux desktop won't read .bashrc (or .cshrc). You may need to set the Gurobi environment variables in .bash_profile or .profile instead. Unfortunately, the details of where to set these variables vary widely among different Linux distributions. We suggest that you consult the documentation for your distribution if you run into trouble.