[Couenne] ./configure --without-bonmin not being honored: configure: error: Required package Bonmin not available

[Rob Kudyba]

Hello,

On RHEL 8 is this a bug or intentional?

./configure   --without-bonmin --prefix=/path/to/me/.local

checking how to hardcode library paths into programs... immediate

checking for pkgconf... pkgconf

checking pkgconf is at least version 0.16.0... yes: 1.4.2

configure: pkgconf path is "/path/to/me/.local/lib/pkgconfig:"

checking for package Bonmin... skipping

configure: error: Required package Bonmin not available.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/couenne/attachments/20230706/c7c8fdba/attachment.html>