Currently, this package will not build correctly if it has already been installed.
Use 'sudo pacman -Rc langkit' (to remove the existing package) before building.
| Git Clone URL: | https://aur.archlinux.org/langkit.git (read-only, click to copy) |
|---|---|
| Package Base: | langkit |
| Description: | Compiler for syntactic and semantic language analysis libraries. |
| Upstream URL: | https://github.com/AdaCore/langkit |
| Licenses: | Apache |
| Submitter: | charlie5 |
| Maintainer: | charlie5 |
| Last Packager: | charlie5 |
| Votes: | 2 |
| Popularity: | 0.000003 |
| First Submitted: | 2021-06-21 23:08 (UTC) |
| Last Updated: | 2026-01-15 07:08 (UTC) |
Currently, this package will not build correctly if it has already been installed.
Use 'sudo pacman -Rc langkit' (to remove the existing package) before building.
hi @tfl5034
Building the docs currently fails (probably due to the new python or a sphinx update).
Traceback
=========
File "/usr/lib/python3.13/pathlib/_local.py", line 515, in stat
return os.stat(self, follow_symlinks=follow_symlinks)
~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
PermissionError: [Errno 13] Permission denied: '/root/theme.toml'
A new version of langkit is expected to be released in the next week or so. Hopefully, the problem will be fixed in the new version. If not I'll investigate more.
Regards.
I see you commented out the step that builds the documentation. This causes the package step to fail to install the docs.
Missing python-setuptools in the makedepends, and texlive-bin isn't required if only the HTML docs are built. Some other makedepends seem to be for testing only. I think it should be:
depends=(
'adasat'
'gnatcoll-iconv'
'gnatcoll-gmp'
'prettier-ada'
'python'
'python-docutils'
'python-e3-core'
'python-funcy'
'python-mako'
'python-pyaml'
)
makedepends=(
'gprbuild'
'python-sphinx'
'python-setuptools'
)
This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
@ManfredGahr
I get the same error. I know very little python and so have asked a friend at Adacore who works on libadalang for advice.
Thanks for reporting.
(Btw, a new version of 'gnatstudio-bin' is out and packaged for archy :) )
langkit also has some Problems with python 3.11 leading to errors in libadalang:
==> Making package: libadalang 2:23.0.0-1 (Di 09 Mai 2023 16:37:05 CEST)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
-> Found libadalang-23.0.0.tar.gz
==> Validating source files with sha256sums...
libadalang-23.0.0.tar.gz ... Passed
==> Extracting sources...
-> Extracting libadalang-23.0.0.tar.gz with bsdtar
==> Starting build()...
Generating source for libadalang...
Lkt processing...
Compiling the lexer...
Compiling the grammar...
Compiling properties...
error: module 'inspect' has no attribute 'getargspec'
Internal error! Exiting
==> ERROR: A failure occurred in build().
Aborting...
:: Unable to build libadalang - makepkg exited with code: 4
Pinned Comments
charlie5 commented on 2025-08-29 12:46 (UTC)
Currently, this package will not build correctly if it has already been installed.
Use 'sudo pacman -Rc langkit' (to remove the existing package) before building.
charlie5 commented on 2023-07-09 16:45 (UTC)
This package is available in the Arch Ada Repository.