... so that one could e.g. build GAP with `--enable-debug`. Useful for debugging issues with specific packages.
... so that one could e.g. build GAP with
--enable-debug. Useful for debugging issues with specific packages.