AUR (en) - libadalang

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: libadalang 2:25.0w-2

Package Actions

Git Clone URL:	https://aur.archlinux.org/libadalang.git (read-only, click to copy)
Package Base:	libadalang
Description:	A high performance semantic engine for the Ada programming language.
Upstream URL:	https://github.com/AdaCore/libadalang
Licenses:	Apache
Submitter:	charlie5
Maintainer:	charlie5
Last Packager:	charlie5
Votes:	5
Popularity:	0.000228
First Submitted:	2017-06-05 06:00 (UTC)
Last Updated:	2025-05-20 10:53 (UTC)

Dependencies (10)

gnatcoll-gmp^AUR (gnatcoll-gmp-git^AUR)
langkit^AUR (langkit-git^AUR)
gpr^AUR (make)
gprbuild^AUR (gprbuild-git^AUR, gprbuild-bootstrap^AUR) (make)
python-docutils (make)
python-e3-core^AUR (make)
python-funcy^AUR (make)
python-mako (make)
python-setuptools (make)
python-sphinx (python-sphinx-git^AUR) (make)

Required by (4)

Sources (1)

https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources-2024/libadalang-25.0w-20240411-16289-src.tar.gz

Pinned Comments

charlie5 commented on 2023-07-09 16:45 (UTC)

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada

charlie5 commented on 2020-11-16 08:53 (UTC) (edited on 2020-11-16 08:55 (UTC) by charlie5)

If build hangs, please ensure you have more than 4Gig of RAM+Swap (8+ Gig is recommended).

Latest Comments

« First ‹ Previous 1 2 3 4 5 Next › Last »

charlie5 commented on 2018-09-11 17:48 (UTC)

@gbabin Hi again,

I've re-submitted all of the Ada related packages with (hopefully) fixes and the mods you suggested in your 'gprbuild' package comment.

Please let me know if you have the same (or any other) problem.

pmderodat commented on 2018-09-11 14:40 (UTC)

Hello gbabin,

libadalang.gpr:8:17: shared library project "libadalang" cannot import static library project "gpr"

This log make me suspect that you need to update your libgpr package (which now builds in shared and static-pic mode). Sorry for the inconvenience, we probably need to put version numbers in package dependencies. Thank you for reporting this!

gbabin commented on 2018-09-09 09:59 (UTC)

I have build and installed gnatcoll-core, gnatcoll-iconv and gprbuild in version 2018-1, but I have this error:

==> Starting build()...
Generating source for libadalang...
Compiling the grammar...
Compiling properties...
File "/home/gbabin/.cache/pacaur/libadalang/src/libadalang-gpl-2018-src/ada/language/ast.py", line 3085, in TypeAccessDef
  line 3088, in TypeAccessDef.type_expr
    Warning: Specified type is TypeExpr, but it could be more specific: SubtypeIndication
Prepare code emission...
File setup...
Generating sources... 
Compiling the quex lexer specification
Generation complete!
Building the generated source code
libadalang.gpr:8:17: shared library project "libadalang" cannot import static library project "gpr"
gnatcoll.gpr:10:17: shared library project "gnatcoll" cannot import static library project "gpr"
gnatcoll_iconv.gpr:11:17: shared library project "gnatcoll_iconv" cannot import static library project "gpr"
langkit_support.gpr:4:17: shared library project "langkit_support" cannot import static library project "gpr"
gprbuild: "/home/gbabin/.cache/pacaur/libadalang/src/libadalang-gpl-2018-src/build/lib/gnat/libadalang.gpr" processing failed
Build failed: error while running gprbuild -p -j4 -P/home/gbabin/.cache/pacaur/libadalang/src/libadalang-gpl-2018-src/build/lib/gnat/libadalang.gpr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable -XLIBADALANG_WARNINGS=true:
    Command '['gprbuild', '-p', '-j4', '-P/home/gbabin/.cache/pacaur/libadalang/src/libadalang-gpl-2018-src/build/lib/gnat/libadalang.gpr', '-XBUILD_MODE=dev', '-XLIBRARY_TYPE=relocatable', '-XXMLADA_BUILD=relocatable', '-XLIBADALANG_WARNINGS=true']' returned non-zero exit status 4
==> ERROR: A failure occurred in build().

pmderodat commented on 2018-07-12 06:13 (UTC)

Hello mindbound,

I believe your report should go to https://aur.archlinux.org/packages/libadalang-git ;-)

Good catch: gnatcoll-gmp-git is indeed missing: I’ll add it. I’ll also edit my instructions below to remove the typo. Thank you!

mindbound commented on 2018-07-10 15:34 (UTC) (edited on 2018-07-10 16:24 (UTC) by mindbound)

Instead of lankgit-git there should be langkit-git.

Also, building on 4.17.4-1 x86_64 currently fails with

Generating source for libadalang...
Compiling the grammar...
Compiling properties...
Prepare code emission...
File setup...
Generating sources... 
Warning: Yapf not available, using autopep8 to pretty-print Python code
Compiling the quex lexer specification
Pretty-printing sources for Libadalang...
Pretty-printing failed: error while running gnatpp -P/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/lib/gnat/libadalang.gpr -rnb --insert-blank-lines --syntax-only -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-implementation-c.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-implementation-c.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-debug.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-debug.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-lexer.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-lexer.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-parsers.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-parsers.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-unparsing-implementation.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-unparsing-implementation.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-unparsing.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-unparsing.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-rewriting.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-rewriting.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-iterators.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-iterators.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-introspection.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-introspection.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-implementation.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis-implementation.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-analysis.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-init.adb /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang-init.ads /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/include/libadalang/libadalang.ads:
    [Errno 2] No such file or directory
Pretty-printing failed: error while running gnatpp -P/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/src/mains.gpr -rnb --insert-blank-lines --syntax-only -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable /tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/src/parse.adb:
    [Errno 2] No such file or directory
Generation complete!
Building the generated source code
libadalang.gpr:5:06: unknown project file: "gnatcoll_gmp"
gprbuild: "/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/lib/gnat/libadalang.gpr" processing failed
Build failed: error while running gprbuild -p -j2 -P/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/lib/gnat/libadalang.gpr -XBUILD_MODE=prod -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable -XLIBADALANG_WARNINGS=true -R --config=/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/config.cgpr:
    Command '['gprbuild', '-p', '-j2', '-P/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/build/lib/gnat/libadalang.gpr', '-XBUILD_MODE=prod', '-XLIBRARY_TYPE=relocatable', '-XXMLADA_BUILD=relocatable', '-XLIBADALANG_WARNINGS=true', '-R', '--config=/tmp/yaourt-tmp-mindbound/aur-libadalang-git/src/libadalang/config.cgpr']' returned non-zero exit status 4

This is solved by including gnatcoll-gmp-git among the dependencies (or building it manually before).

pmderodat commented on 2018-06-27 17:38 (UTC) (edited on 2018-07-15 10:39 (UTC) by pmderodat)

Yes, this is indeed what you should do.

By the way, as a workaround you may be interesting in using the *-git packages I maintain myself. That implies recompiling several packages manually (I’m not experienced in packaging, so I’m not sure if I got the dependencies right, there), but this should work:

# Assuming you are using yaourt to install packages for the AUR
$ yaourt -S xmlada-git
$ yaourt -S libgpr-git
$ yaourt -S gprbuild-git
$ yaourt -S gnatcoll-core-git
$ yaourt -S gnatcoll-iconv-git
$ yaourt -S gnatcoll-gmp-git
$ yaourt -S langkit-git
$ yaourt -S libadalang-git

[EDIT: fixed a typo, added gnatcoll-gmp-git]

GaryScottMartin commented on 2018-06-25 23:20 (UTC)

Thanks, just to make sure, should I be looking for the "Last Updated:" date above to change from 2017-07-06 to a current date?

pmderodat commented on 2018-06-25 11:40 (UTC)

Hello,

These compilation errors:

langkit_support-token_data_handlers.ads:29:04: warning: use clause for package "Text_Vectors" has no effect langkit_support-lexical_env.adb:171:07: warning: use clause for package "Referenced_Envs_Arrays" has no effect

Will go away once this package is updated… which should happen quite soon. :-)

GaryScottMartin commented on 2018-06-24 09:06 (UTC)

I get a build failure during 'makepkg -si' as follows:

compilation of langkit_support-token_data_handlers.adb failed

gprbuild: *** compilation phase failed Build failed: error while running gprbuild -m -p -j4 -P/home/gary/libadalang/src/libadalang-gps-src/build/lib/gnat/libadalang.gpr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable -XLIBADALANG_WARNINGS=true -cargs: Command '[u'gprbuild', u'-m', u'-p', u'-j4', u'-P/home/gary/libadalang/src/libadalang-gps-src/build/lib/gnat/libadalang.gpr', u'-XBUILD_MODE=dev', u'-XLIBRARY_TYPE=relocatable', u'-XXMLADA_BUILD=relocatable', u'-XLIBADALANG_WARNINGS=true', u'-cargs']' returned non-zero exit status 4 ==> ERROR: A failure occurred in build(). Aborting...