Build failure: liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found

Trying to build git master 1e0938c07aa22fdd39be645c8d5fc3898e7d3db4 on FreeBSD using GNAT 15.

All dependencies are installed.

Bootstrapping process seems fine, but python3.11 manage.py make --no-mypy --library-types=static,static-pic,relocatable fails with:

liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:246
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: subtype mark required in this context
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:603
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: "" is not the name of a generic package
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:2125
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: constraint not allowed here
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-solver.adb:2165
liblktlang_support-adalog-main_support.ads:9:01: error: instantiation error at liblktlang_support-adalog-generic_main_support.ads:35
liblktlang_support-adalog-main_support.ads:9:01: error: subtype mark required in this context
liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found
liblktlang_support-adalog-main_support.ads:9:34: error: "Liblktlang_Support.Adalog.Main_Support (body)" depends on "Liblktlang_Support.Adalog.Solver (body)"
liblktlang_support-adalog-main_support.ads:9:34: error: "Liblktlang_Support.Adalog.Solver (body)" depends on "Liblktlang_Adasat (spec)"
liblktlang_support-adalog-solver.adb:246:09: error: "Liblktlang_AdaSAT" is undefined (more references follow)

The file seems to be available though in the bootstrap directory:

> find . -name liblktlang_adasat.ads
./lkt/bootstrap/src/liblktlang_adasat.ads

Full log starting after git clean -dxf: build_fail.log

Start with manage.py make --no-mypy --library-types=static,static-pic,relocatable and compare the generated sources with lkt/bootstrap/src/liblktlang_adasat.ads. Trace the dependency from liblktlang_support-adalog-main_support.ads through liblktlang_support-adalog-solver.adb, using build_fail.log for context. Done means the clean FreeBSD build completes without the missing Liblktlang_AdaSAT errors.