I think the with/without-mono option isn't really necessary, with-mono is covered by --enable-all-plugins and without is detected automatically, and moreover if one specifies only --with-mono, configure will basically ignore it if mono dependencies are not installed.
The only question is what should happen if one would configure with "--enable-all-plugins --without-mono"
I think the with/without-mono option isn't really necessary, with-mono is covered by --enable- all-plugins and without is detected automatically, and moreover if one specifies only --with-mono, configure will basically ignore it if mono dependencies are not installed.
The only question is what should happen if one would configure with "--enable- all-plugins --without-mono"