Skip to content
Snippets Groups Projects
Commit cb4bb28d authored by oliver.sander_at_tu-dresden.de's avatar oliver.sander_at_tu-dresden.de
Browse files

Also look for IPOpt headers in include/coin-or 

At least newer Debian installations seem to used that path.
parent e8273803
No related branches found
No related tags found
1 merge request!80Minor fixes for finding IPOpt
Pipeline #65185 passed
Stage: .pre
Stage: test