diff --git a/moduleTools/getMostRecentVersion.php b/moduleTools/getMostRecentVersion.php index 1a29363014c8e330bf6486ca41f17465dc75ecfb..cfd7a368b61c71e75dfc72c204b96803274bcd4c 100644 --- a/moduleTools/getMostRecentVersion.php +++ b/moduleTools/getMostRecentVersion.php @@ -20,6 +20,9 @@ switch ($tool) { case 'gcc': printMostRecentVersion('/usr/local_rwth/modules/modulefiles/linux/x86-64/DEVELOP/gcc', $tool); break; + case 'gurobi': + printMostRecentVersion('/usr/local_rwth/modules/modulefiles/linux/x86-64/MATH/gurobi', $tool); + break; default: echo "Error: Unhandled module '".$tool."' requested!".PHP_EOL; exit(3);