Package: gnat-gps Version: 5.0-1 Severity: minor In toolchains_editor/core/src/toolchains.adb is a hardcoded call to gprconfig, a program provided by package gprbuild. At the very least, gnat-gps must therefore Recommend: gprbuild. This might be strengthened to a Depends: if gnat-gps fails in a major way when gprbuild is absent. In this latter case the severity of this bug will become (at least) important.
This bug has been present since 5.0-1 but I discovered it only now. -- Ludovic Brenta. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
