Closed
Description
The Libadalang source tarball, from within asset 'https://github.com/AdaCore/gnatstudio/releases/download/gnatstudio-cr-20250417/gnatstudio-sources-x86_64-linux.tar.gz', does not contain the 'manage.py' script required to build Libadalang.
Regards.
Activity
AnthonyLeonardoGracio commentedon Jun 16, 2025
Hello,
It's contained within the Lankgit's sources.
Regards,
charlie5 commentedon Jun 16, 2025
Thank you for the response.
Unfortunately, the 'manage.py' script from Langkit appears only to deal with building Langkit. When using it to build Libadalang, according to the 'Building.rst', with the command ...
$ python manage.py generate
... the following error occurs ...
usage: manage.py [-h]
{build-langkit-support,printenv-langkit-support,install-langkit-support,package-deps,package-std-dyn,make,printenv,run-mypy,test,bootstrap} ...
manage.py: error: argument {build-langkit-support,printenv-langkit-support,install-langkit-support,package-deps,package-std-dyn,make,printenv,run-mypy,test,bootstrap}: invalid choice: 'generate' (choose from build-langkit-support, printenv-langkit-support, install-langkit-support, package-deps, package-std-dyn, make, printenv, run-mypy, test, bootstrap)
I have also tried the manage.py found in Libadalang branches 25.1 and 25.2 in the github repository but get the following ...
Traceback (most recent call last):
File "/tmp/makepkg/libadalang/src/libadalang-26.0w-20250417-16134-src/manage.py", line 337, in
Manage().run()
~~~~~~^^
TypeError: Can't instantiate abstract class Manage without an implementation for abstract method 'create_config'
The master Libadalang branch lacks a manage.py, so I'm at something of a loss as to how to proceed.
AnthonyLeonardoGracio commentedon Jun 16, 2025
Hi @charlie5,
I would suggest to create an issue in the Libadalang GitHub repository directly, Libadalang experts will probably give you more details on how to build it.
charlie5 commentedon Jun 16, 2025
Ah, good advice. I should have thought of that.
Much appreciated.