Closed oliveralka closed 7 years ago
Hmmm hmmm.. not sure what to do about this. It will be our first GUI app and it requires a lot of redundant Java libraries and startup scripts. We should discuss a bit before merging.
Updated Pull request. Only one Library for Sirius class files. Library files for glpk for each Os. Different executables for each Os.
Okay great! Only one thing: Can you check if we can get rid of some libraries if we do not use the GUI? Then I would be for a merge.
This seems to be the minimal possible build, right now.
Ok. If you give me your ok because of our discussion of the filenames, I will merge. Tell me when your thirdparty test passes.
test passed - should be fine!
Oops I think the automatic merge via svn checkout fails with that structure..
I will look for an alternative
svn export --force works. will update travis
Should I open a new pull request? What is the Problem?
No fine. Can stay closed here.
Executables and libraries of Sirius3.5 for the SiriusAdapter