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.918154
First Submitted: 2017-06-05 06:00
Last Updated: 2018-09-14 13:27

Latest Comments

1 2 Next › Last »

troisqua commented on 2018-09-16 12:47

Hello, When compiling the package I get the following error

Build Libraries
   [gprlib]       langkit_support.lexch
   [bind SAL]     langkit_support
   [Ada]          b__langkit_support.adb
   [link library] liblangkit_support.so
   [gprlib]       adalang.lexch
   [bind SAL]     adalang
   [Ada]          b__adalang.adb
   [link library] libadalang.so
/usr/bin/ld: /tmp/yaourt-tmp-cyril/aur-libadalang/src/libadalang-gpl-2018-src/build/obj/libadalang.relocatable/quex_lexer.o: 
relocation R_X86_64_PC32 against symbole `quex_LexemeNullObject' can not be used when making un objet partagé; recompilé avec -fPIC
/usr/bin/ld : échec de l'édition de liens finale : bad value
collect2: error: ld a retourné le statut de sortie 1
gprlib: /usr/bin/gcc execution error
gprbuild: could not build library for project libadalang
Build failed: error while running gprbuild -p -j8 -P/tmp/yaourt-tmp-cyril/aur-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', '-j8', '-P/tmp/yaourt-tmp-cyril/aur-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
==> ERREUR : Une erreur s’est produite dans build().
    Abandon…

pmderodat commented on 2018-09-13 06:25

Sure, and thank you for reporting the issue! :-)

gbabin commented on 2018-09-12 18:16

@charlie5 @pmderodat Thank you, it works now.

charlie5 commented on 2018-09-11 17:48

@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

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

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?