@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?
Search Criteria
Package Details: gnatcoll-gnatinspect 1:25.0w-1
Package Actions
| 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: | 2024-05-31 06:13 (UTC) |
Dependencies (3)
- gnatcoll-readlineAUR
- gnatcoll-xrefAUR
- gprbuildAUR (gprbuild-gitAUR, gprbuild-bootstrapAUR) (make)
Required by (1)
Sources (1)
Latest Comments
xiretza commented on 2020-05-23 10:44 (UTC)
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.
Pinned Comments
charlie5 commented on 2023-07-09 16:34 (UTC)
This package is available in the Arch Ada Repository.