Finally, this issue is ready to be reviewed. CPLEX is now supported and tested on Windows.
I added a test to verify that the LP component is not skipped during compilation.
I.e. (1) we change the OSI version. We forget some minor change, thus, the OSI library is not compiled and Fast Downward compiles without LP support. Without the test we will not get an error.
I.e. (2) I have not verified when the GHA ends with an error. If a command returns with an error, this can be fine. My current guess is that the last command in a step has to finish successfully. Thus, we have to create a new test step per test command (luckly tox allows to run multiple tests with one command)
I suggest to update the Wiki accordingly to the new workflow (after reviewing).
@Florian: I removed the changes to support CPLEX2010 (the new version). I want to finish this story and create a new issue for testing CPLEX2010 and the current SoPlex.
|