error when executing make in ELINA

[metalkick]

i get the following error when executing make in ELINA.

compute_bounds.c:5:10: fatal error: gurobi_c.h: No such file or directory #include "gurobi_c.h" ^~~~~~~~~~~~ compilation terminated. Makefile:67: recipe for target 'compute_bounds.o' failed make[1]: *** [compute_bounds.o] Error 1 make[1]: Leaving directory '/home/saad/ERAN/ELINA/fppoly' Makefile:44: recipe for target 'c' failed make: *** [c] Error 2

I have tried installing gurobi both ways using anaconda and python3 setup.y. I also have academic license

[GgnDpSngh]

Hi there,

Thanks for your message. You can try adding the directory containing gurobi_c.h file on your systems to here: https://github.com/eth-sri/ELINA/blob/9737c1124cd29b909cbdf27da6b1214c230d455f/fppoly/Makefile#L36

Please let me know if it works.

Cheers, Gagandeep Singh

[GgnDpSngh]

Awesome, thanks a lot for the PR. I have merged it, please let us know if you encounter any other issues.

Cheers, Gagandeep Singh