Package Details: gnatcoll-gnatinspect 1:21.0.0-3

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 (xiretza)
Last Packager: charlie5
Votes: 4
Popularity: 0.102026
First Submitted: 2018-09-07 04:07
Last Updated: 2021-06-21 06:14

Required by (0)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

Armag67 commented on 2020-05-22 22:21

@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

@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

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.