Package Details: libadalang 2018-2

Git Clone URL: https://aur.archlinux.org/libadalang.git (read-only)
Package Base: libadalang
Description: A high performance semantic engine for the Ada programming language.
Upstream URL: https://github.com/AdaCore/libadalang
Licenses: GPL
Conflicts: libadalang-git
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 3
Popularity: 0.004129
First Submitted: 2017-06-05 06:00
Last Updated: 2018-09-30 08:52

Pinned Comments

charlie5 commented on 2019-04-17 05:04

Hi serh,

'python2-funcy' is available in the Archlinux archives, if you would like to manually install it.

<https://archive.archlinux.org/packages/p/python2-funcy>

Latest Comments

« First ‹ Previous 1 2 3 Next › Last »

gbabin commented on 2018-09-09 09:59

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

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

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

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

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

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

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

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.

pmderodat commented on 2017-09-22 07:30

You are welcome! Thank you for confirming. :-)

tfl5034 commented on 2017-09-21 21:00

pmderodat Ah, that fixed it. Thanks! I'm still new to Ada.