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

[saper]

Trying to build git master 1e0938c 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

[saper]

A workaround:

 cp ./lkt/bootstrap/src/liblktlang_adasat*.ad[sb] ./lkt/build/src/

after the following steps:

 python3 manage.py build-langkit-support
 python3 manage.py install-langkit-support
 python3 manage.py bootstrap