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

pmderodat commented on 2017-09-21 07:37

Hello tfl5034,

Could you please try the following instead?

$ gnatmake -P/usr/share/gpr/libadalang.gpr \
-XLIBRARY_TYPE=relocatable \
-XXMLADA_BUILD=relocatable \
test.adb

Unfortunately, Libadalang, GNATcoll and XML/Ada don’t agree on a default for static/shared libraries…

By the way, the use of project files with gnatmake (`gnatmake -P`) is deprecated, so you may want to switch to a project file for your program + using gprbuild for a real project. :-)

tfl5034 commented on 2017-09-21 02:27

I successfully installed libadalang, but when trying to compile an ada source file using the following command:
$ gnatmake -P/usr/share/gpr/libadalang.gpr test.adb

I get the following errors (I'm not sure if user error or not):
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gnatcoll_iconv"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gnatcoll"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_dom"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_input"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_unicode"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_sax"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_schema"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gpr"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "gnatcoll"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_dom"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_input"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_unicode"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_sax"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_schema"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "gpr"
gprbuild: "/usr/share/gpr/libadalang.gpr" processing failed
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gnatcoll_iconv"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gpr"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_schema"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_input"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_unicode"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_sax"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "xmlada_dom"
libadalang.gpr:13:17: shared library project "libadalang" cannot import static library project "gnatcoll"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "gpr"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_schema"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_input"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_unicode"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_sax"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "xmlada_dom"
langkit_support.gpr:11:17: shared library project "langkit_support" cannot import static library project "gnatcoll"
gnatmake: "/usr/share/gpr/libadalang.gpr" processing failed

charlie5 commented on 2017-06-06 18:57

Hi Aphirst,

Thanks for the report.

I've removed the explicit setting of LIBRARY_TYPE from the gnatcoll build. I'll test it some more but I think it may fix the problem, as pmderodat suggests. You will have to rebuild gnatcoll, of course.

pmderodat commented on 2017-06-06 11:23

> gnatcoll.gpr:7:04: value "relocatable" is illegal for typed string "build"

I have the feeling that your gnatcoll was not built in shared library mode. FYI, charlie5 and I are working on gnatcoll’s package, so it could be worth waiting for us to finish work on that first. :-)

aphirst commented on 2017-06-06 09:30

I'm getting the following error when trying to build. I'll investigate it myself later once I have some time, but I'll post it nonetheless in case it turns out to be something not caused by my own setup.

library directory "/tmp/yaourt-tmp-adam/aur-libadalang/src/libadalang/build/lib/gnat/../libadalang.relocatable" created for project libadalang
gnatcoll.gpr:7:04: value "relocatable" is illegal for typed string "build"
gnatcoll_iconv.gpr:8:04: value "relocatable" is illegal for typed string "build"
gprbuild: "/tmp/yaourt-tmp-adam/aur-libadalang/src/libadalang/build/lib/gnat/libadalang.gpr" processing failed
Build failed: error while running gprbuild -m -p -j4 -P/tmp/yaourt-tmp-adam/aur-libadalang/src/libadalang/build/lib/gnat/libadalang.gpr -XBUILD_MODE=dev -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable -cargs:
Command '['gprbuild', '-m', '-p', '-j4', '-P/tmp/yaourt-tmp-adam/aur-libadalang/src/libadalang/build/lib/gnat/libadalang.gpr', '-XBUILD_MODE=dev', '-XLIBRARY_TYPE=relocatable', '-XXMLADA_BUILD=relocatable', '-cargs']' returned non-zero exit status 4
==> ERROR: A failure occurred in build().
Aborting...
==> ERROR: Makepkg was unable to build libadalang.