Closed steve-cs closed 4 years ago
Commit https://github.com/AdaCore/gprbuild/commit/de15c785678e51ee586f643091f1fff303e3812d breaks the bootstrap.sh build as it depends on an external knowledge base and https://github.com/AdaCore/gprconfig_kb doesn't exist yet.
That project did in fact exist but was private for a few days while we were setting everything up. It should now be accessible.
Commit https://github.com/AdaCore/gprbuild/commit/de15c785678e51ee586f643091f1fff303e3812d breaks the bootstrap.sh build as it depends on an external knowledge base and https://github.com/AdaCore/gprconfig_kb doesn't exist yet.