Issue1005

Title Setup CPLEX for GitHub Actions on Windows
Priority wish Status resolved
Superseder Nosy List florian, jendrik, malte, patfer, silvan
Assigned To Keywords
Optional summary
Done
- install CPLEX silently on Windows (GitHub Actions)
- install OSI and all requirements natively on Windows (GHA)
- compile Fast Downward
~~- add a test which verifies that the executable was build with LP support~~ moved to issue1003
- Wiki: Update LPBuild, GitHub Actions pages

PR: https://github.com/aibasel/downward/pull/29

Created on 2021-02-04.17:09:40 by patfer, last changed by patfer.

Summary
Done
- install CPLEX silently on Windows (GitHub Actions)
- install OSI and all requirements natively on Windows (GHA)
- compile Fast Downward
- add a test which verifies that the executable was build with LP support moved to issue1003
- Wiki: Update LPBuild, GitHub Actions pages

PR: https://github.com/aibasel/downward/pull/29
Messages
msg10114 (view) Author: patfer Date: 2021-02-19.17:27:43
I updated the LPBuild (new Windows build instructions) and GitHub Actions (how to enable/disable GitHub Actions, updated the workflow descriptions, how to set up LP solvers) pages in the wiki.

This closes the issue.
msg10063 (view) Author: malte Date: 2021-02-12.11:50:22
Soplex should be tested on Windows because it's a part of the planner (and indeed included in our releases since the last one). But it's not necessary for the Github transition.
msg10062 (view) Author: patfer Date: 2021-02-12.11:36:31
And I forgot:
The buildbot it not running SoPlex test on Windows. With the new knowledge it might be simpler to get SoPlex running. If you really want that, I can do it, but I am not too eager currently :)
I would branch this off this issue.
msg10053 (view) Author: patfer Date: 2021-02-12.09:41:08
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.
History
Date User Action Args
2021-02-19 17:27:59patfersetstatus: reviewing -> resolved
2021-02-19 17:27:43patfersettitle: Setup CPLEX and SoPLEX for GitHub Actions on Windows -> Setup CPLEX for GitHub Actions on Windows
messages: + msg10114
summary: Done - install CPLEX silently on Windows (GitHub Actions) - install OSI and all requirements natively on Windows (GHA) - compile Fast Downward ~~- add a test which verifies that the executable was build with LP support~~ moved to issue1003 TODO: Update LPBuild information for Windows in Wiki. PR: https://github.com/aibasel/downward/pull/29 -> Done - install CPLEX silently on Windows (GitHub Actions) - install OSI and all requirements natively on Windows (GHA) - compile Fast Downward ~~- add a test which verifies that the executable was build with LP support~~ moved to issue1003 - Wiki: Update LPBuild, GitHub Actions pages PR: https://github.com/aibasel/downward/pull/29
2021-02-19 10:33:36patfersetsummary: Done - install CPLEX silently on Windows (GitHub Actions) - install OSI and all requirements natively on Windows (GHA) - compile Fast Downward - add a test which verifies that the executable was build with LP support Skip? - install SoPlex - compile with SoPlex support PR: https://github.com/aibasel/downward/pull/27 Set Static Linking Hack: https://ai.dmi.unibas.ch/_files/fast-downward/github-actions/set_vs_static_runtime_libraries.py -> Done - install CPLEX silently on Windows (GitHub Actions) - install OSI and all requirements natively on Windows (GHA) - compile Fast Downward ~~- add a test which verifies that the executable was build with LP support~~ moved to issue1003 TODO: Update LPBuild information for Windows in Wiki. PR: https://github.com/aibasel/downward/pull/29
2021-02-12 11:50:22maltesetmessages: + msg10063
2021-02-12 11:36:32patfersetmessages: + msg10062
2021-02-12 09:41:09patfersetstatus: in-progress -> reviewing
messages: + msg10053
summary: TODO: - try to install SoPlex and CPLEX on the Windows GitHub Actions - try to compile Fast Downward with SoPlex and CPLEX on Windows GitHub Actions -> Done - install CPLEX silently on Windows (GitHub Actions) - install OSI and all requirements natively on Windows (GHA) - compile Fast Downward - add a test which verifies that the executable was build with LP support Skip? - install SoPlex - compile with SoPlex support PR: https://github.com/aibasel/downward/pull/27 Set Static Linking Hack: https://ai.dmi.unibas.ch/_files/fast-downward/github-actions/set_vs_static_runtime_libraries.py
2021-02-04 17:09:40patfercreate