AUR (en) - libadalang

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: libadalang 2:24.0w-1

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.83
First Submitted:	2017-06-05 06:00 (UTC)
Last Updated:	2023-06-16 09:41 (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 (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/libadalang-24.0w-20230324-164A3-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 »

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...

fintatarta commented on 2017-12-24 23:20 (UTC)

The compilation fails because it does not find gnatcoll-projects.ads. It seems like an option (--enable-projects) missing in the PKGBUILD of gnatcoll. See my comment in the gnatcoll page.