Compiling Sherlock with newer Gurobi Version

Hi,

I want to use Sherlock for verifying a neural network controller. I tried to compile Sherlock after installing Gurobi 8.0.1 and providing the installation location in Makefile-locale. However, when I run make, I get the following error message: collect2: error: ld returned 1 exit status

It appears to be because of the gurobi interface, since there are many "undefined reference to GRBModel:: ... " messages. Do you know how to solve this problem? It is not possible to download previous versions of Gurobi. Or do you have any idea what this could refer to?

Thanks a lot for your help! Best regards, Hannah