Issue 1121: Fix CPLEX compilation on Windows for repos not named 'downward'

Title	Fix CPLEX compilation on Windows for repos not named 'downward'
Priority	wish	Status	resolved
Superseder		Nosy List	florian, jendrik, malte
Assigned To	jendrik	Keywords
Optional summary	PR: https://github.com/aibasel/downward/pull/188

Created on 2023-10-06.11:34:02 by jendrik, last changed by florian.

Summary
PR: https://github.com/aibasel/downward/pull/188

msg11437 (view)

Author: florian

Date: 2023-10-06.11:38:32

For the record: the issue was that the Github actions hard-coded the name of a directory that is named after the repository and that did not exist in repos with a different name. The solution was to install CPLEX outside of this directory.

History
Date	User	Action	Args
2023-10-06 11:38:32	florian	set	messages: + msg11437
2023-10-06 11:34:02	jendrik	create

Issue1121