why3ide compilation lacks a fallback to lablgtk2 if sourceview3 is missing
If lablgtk3 is present, but not lablgtk3-sourceview3, the configure script gives up on compiling the IDE, even if lablgtk2 and lablgtk2-sourceview2 are both present. This is especially confusing with opam
, which happily installs the why3-ide
package anyway while why3
still gives the ide is not a why3 command
error message.
The configuration logic should be reworked to allow a fallback to lablgtk2 if lablgtk3-sourceview3 is missing.