Package Details: gnatcoll-gnatinspect 1:24.0w-1

Git Clone URL: https://aur.archlinux.org/gnatcoll-gnatinspect.git (read-only, click to copy)
Package Base: gnatcoll-gnatinspect
Description: GNAT Components Collection - the gnatinspect tool.
Upstream URL: https://github.com/AdaCore/gnatcoll-db
Licenses: custom, GPL3
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 4
Popularity: 0.000000
First Submitted: 2018-09-07 04:07 (UTC)
Last Updated: 2023-06-11 08:14 (UTC)

Pinned Comments

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

This package is available in the Arch Ada Repository.

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

Latest Comments

« First ‹ Previous 1 2

xiretza commented on 2020-05-23 10:44 (UTC)

@Armag67, can't reproduce, sorry. Could you upload your gnatcoll-core-2020-1-x86_64.pkg.tar.* somewhere so I can compare it to mine?

Armag67 commented on 2020-05-22 22:21 (UTC) (edited on 2020-05-22 22:39 (UTC) by Armag67)

@xiretza

My gnatcoll-core package is at 2020-1 version and

pacman -Qo /usr/lib/gnatcoll.static/gnatcoll-arg_lists.ali

returns:

/usr/lib/gnatcoll.static/gnatcoll-arg_lists.ali appartient à gnatcoll-core 2020-1

I have just successfully update gtkada from 2019-2 to 2020-1 version, but gnatcoll-gnatinspect upgrade failed again. I will try to rebuild gnatcoll-core 2020-1.

Edit: gnatcoll-core 2020-1 rebuild was successful, but a new update try of gnatcoll-gnatinspect failed again with the same error messages...

xiretza commented on 2020-05-22 16:42 (UTC) (edited on 2020-05-23 10:37 (UTC) by xiretza)

@Armag67: Looks like you need to update gnatcoll-core, that's where those files come from (for future reference: pacman -Qo /usr/lib/gnatcoll.static/gnatcoll-arg_lists.ali). gnatcoll-readline and its other friends from gnatcoll-bindings are scheduled to be merged into a single split PKGBUILD, so I won't bother updating them (the AUR request should go through in a few days max). I also couldn't find any breakage due to these outdated packages.

Armag67 commented on 2020-05-22 16:37 (UTC)

Hello, I am in trouble for updating gnatcoll-gnatinspect to 2020-1 version, all others gnat-coll packages proposed to update installed fine. gnatcoll-gnatinspect update throw this traceback:

error: "gnatcoll-arg_lists.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-arg_lists.ali" is obsolete and read-only)
error: "gnatcoll-scripts.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-scripts.ali" is obsolete and read-only)
error: "gnatcoll-refcount.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-refcount.ali" is obsolete and read-only)
error: "gnatcoll-storage_pools-headers.adb" has been modified and must be recompiled
error: "gnatcoll-scripts-impl.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-scripts-impl.ali" is obsolete and read-only)
error: "gnatcoll-traces.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-traces.ali" is obsolete and read-only)
error: "gnatcoll-mmap.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-mmap.ali" is obsolete and read-only)
error: "gnatcoll-mmap-system__unix.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-mmap-system__unix.ali" is obsolete and read-only)
error: "gnatcoll-strings.ads" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-strings.ali" is obsolete and read-only)
error: "gnatcoll-strings_impl.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-strings_impl.ali" is obsolete and read-only)
error: "gnatcoll-vfs.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-vfs.ali" is obsolete and read-only)
error: "gnatcoll-io.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-io.ali" is obsolete and read-only)
error: "gnatcoll-io-remote.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-io-remote.ali" is obsolete and read-only)
error: "gnatcoll-io-native.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-io-native.ali" is obsolete and read-only)
error: "gnatcoll-io-remote-unix.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-io-remote-unix.ali" is obsolete and read-only)
error: "gnatcoll-io-remote-windows.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-io-remote-windows.ali" is obsolete and read-only)
error: "gnatcoll-scripts-utils.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-scripts-utils.ali" is obsolete and read-only)
error: "gnatcoll-projects.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-projects.ali" is obsolete and read-only)
error: "gnatcoll-projects-krunch.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-projects-krunch.ali" is obsolete and read-only)
error: "gnatcoll-projects-normalize.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-projects-normalize.ali" is obsolete and read-only)
error: "gnatcoll-vfs_utils.adb" must be compiled
error: ("/usr/lib/gnatcoll.static/gnatcoll-vfs_utils.ali" is obsolete and read-only)
error: "gnatcoll-iconv.adb" must be compiled
error: ("/usr/lib/gnatcoll_iconv.static/gnatcoll-iconv.ali" is obsolete and read-only)
gprbind: invocation of gnatbind failed
gprbuild: unable to bind gnatinspect.adb
make: *** [Makefile:104 : build] Erreur 4
==> ERREUR : Une erreur s’est produite dans build().
    Abandon…

Should I delete all these .ali files?

I noticed that the gnatcol-readline (2019-2) dependency of gnatcoll-gnatinspect was not proposed to update at 2020 version.