update gurobi version (#430)

NeuralNetworkVerification · Feb 1, 2021 · 0fc1d10 · 0fc1d10
1 parent 372444a
commit 0fc1d10
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -206,9 +206,9 @@ if (${ENABLE_GUROBI})
 
   # MACOSx uses .dylib instead of .so for its Gurobi downloads.
   if (APPLE)
-    set_target_properties(${GUROBI_LIB2} PROPERTIES IMPORTED_LOCATION ${GUROBI_DIR}/lib/libgurobi90.dylib)
+    set_target_properties(${GUROBI_LIB2} PROPERTIES IMPORTED_LOCATION ${GUROBI_DIR}/lib/libgurobi91.dylib)
   else()
-    set_target_properties(${GUROBI_LIB2} PROPERTIES IMPORTED_LOCATION ${GUROBI_DIR}/lib/libgurobi90.so)
+    set_target_properties(${GUROBI_LIB2} PROPERTIES IMPORTED_LOCATION ${GUROBI_DIR}/lib/libgurobi91.so)
   endif ()
 
   list(APPEND LIBS ${GUROBI_LIB2})

diff --git a/README.md b/README.md
@@ -204,14 +204,14 @@ issue](https://support.gurobi.com/hc/en-us/articles/360039093112-C-compilation-o
 A quick installation reference:
 ```
 export INSTALL_DIR=/opt
-sudo tar xvfz gurobi9.0.2_linux64.tar.gz -C $INSTALL_DIR
-cd $INSTALL_DIR/gurobi902/linux64/src/build
+sudo tar xvfz gurobi9.1.1_linux64.tar.gz -C $INSTALL_DIR
+cd $INSTALL_DIR/gurobi911/linux64/src/build
 sudo make
 sudo cp libgurobi_c++.a ../../lib/
 ```
 Next it is recommended to add the following to the .bashrc (but not necessary) 
 ```
-export GUROBI_HOME="/opt/gurobi902/linux64"
+export GUROBI_HOME="/opt/gurobi911/linux64"
 export PATH="${PATH}:${GUROBI_HOME}/bin"
 export LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${GUROBI_HOME}/lib"