Merge to fix issue #33 failed installation of Gurobi on Ubuntu

fjug / MoMA

MoMA - the MotherMachine Analyzer

4 stars 7 forks source link

Merge to fix issue #33 failed installation of Gurobi on Ubuntu #34

Closed haesleinhuepf closed 7 years ago

haesleinhuepf commented 7 years ago

Hey guys,

to fix issue #33 I'm updating the Gurobi installer. With the changes below MoMA checks if files actually need to be copied for installation, and if yes: it checks afterwards if Gurobi works. If it doesn't, the user needs to restart ImageJ/Fiji to make it work. He is informed about that.

@hkmoon : Are you ok with the changes I made in NativeLibrary.java, GurobiInstaller.java and FileUtils.java? May I miss any side effect? Thanks!

Cheers, Robert

hkmoon commented 7 years ago

@haesleinhuepf I do not see any conflicts and issues on your change set. As soon as you update the update site, I will test it once more. Cheers!