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 

[pmderodat]

Hello,

This is definitely unexpected, but unfortunately we cannot reproduce:

$ (cd langkit/adasat/ && git show|head -n1)
commit 01e9a19b61ba785878862b8bce5ae8145018ef01
$ ls langkit/adasat/src
adasat-builders.adb  adasat-decisions.adb  adasat-dpll.adb  adasat-formulas.adb  adasat-helpers.adb  adasat-internals.ads  adasat-vectors.adb  adasat.adb
adasat-builders.ads  adasat-decisions.ads  adasat-dpll.ads  adasat-formulas.ads  adasat-helpers.ads  adasat-theory.ads     adasat-vectors.ads  adasat.ads

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

$ ./manage.py make --no-mypy
Subcommand failed: error while running […]/lkt/check_bootstrap.py -q:
    Command '['[…]/bin/python', '[…]/lkt/check_bootstrap.py', '-q']' returned non-zero exit status 1.
Bootstrap Liblktlang needs to be built
Building the generated source code
Building for config (BuildMode.dev, LibraryType.relocatable)
Setup
[…]
   [link library] liblangkit_support.so
Generating source for liblktlang...
Lkt processing...
Compiling the lexer...
Compiling the grammar...
Compiling properties...
Computing precise types...
Prepare code emission...
Generate library sources...
Generation complete!
Building the generated source code
Building for config (BuildMode.dev, LibraryType.relocatable)
Setup
[…]
   [link library] liblktlang.so
Building the main programs...
Building for config (BuildMode.dev, LibraryType.relocatable)
Setup
[…]
   [link]         unparse.adb
Build complete!

$ find lkt -name liblktlang_adasat.ads
lkt/bootstrap/src/liblktlang_adasat.ads
lkt/build/src/liblktlang_adasat.ads

Could you double-check that the right version of AdaSAT has been set up according to the build instructions? (https://github.com/AdaCore/langkit/blob/master/README.md#install)

First, clone the adasat repository in the langkit subdirectory of the langkit repository:

$ (cd langkit; git clone https://github.com/AdaCore/adasat)