GitLab

Resolve ""why3 config detect" detects every binary executable only once"

Closes #561

See merge request !494

RAC improvements from SPARK II

See merge request !495

Correctly handle composite commands in usage and error messages.

See merge request !493

Before, the code would display

    $ bin/why3 config show -B
    why3: unrecognized option '-B'
    Try 'why3 --help' for more information.

Now it correctly displays the whole command, e.g., "why3 config show" here.

The same issue would happen with usage messages.

Use subcommands instead of options for "why3 config".

See merge request !492

Restructure Why3 configuration and autoconfiguration

See merge request !478

    remove the exceptions in the program flow

This commit also renames the "same_as" field of "manual_binary" to just
"name".

 Only remove the shortcut of the old one

Kill the Why3 worker only if no Alt-Ergo workers are running (fix #516).

Closes #516

See merge request !491

This commit also creates Alt-Ergo workers on demand rather than up front.
It also fixes a crash when the user sets a new number of workers.

Add support for Broadway in the deployed image.

See merge request !490

The wrapper script checks for the WHY3IDE environment variable to decide
whether it should intercept the "ide" command and launch broadwayd.

Pango, as shipped in the deployed image, does not seem to appreciate
font size specifications, thus causing text to appear only in menus and
dialogs. So, we disable this feature when the GDK_BACKEND environment
variable is set to "broadway".

Fixes for RAC from SPARK

See merge request !489