Package Details: gnatcoll-gnatinspect 1:22.0.0-2

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: xiretza
Votes: 4
Popularity: 0.000132
First Submitted: 2018-09-07 04:07 (UTC)
Last Updated: 2022-05-16 17:12 (UTC)

Latest Comments

Armag67 commented on 2020-05-26 22:10 (UTC) (edited on 2020-05-26 22:10 (UTC) by Armag67)

@xiretza

Need I the 10.1.0-2 version of gcc and gcc-ada?

xiretza commented on 2020-05-26 16:26 (UTC)

I just learned a lesson on why trying to support users of other distros is a huge waste of time. Arch User Repository maintainers are not responsible for your problems with a non-Arch distro, let this also be a reminder to you to not waste their time in the future.

Armag67 commented on 2020-05-26 16:21 (UTC)

Hello xiretza,

Versions of gcc-ada and gcc on my Manjaro distro:

[h2@Toshiba ~]$ pacman -Q gcc-ada
gcc-ada 9.3.0-1
[h2@Toshiba ~]$ pacman -Q gcc
gcc 9.3.0-1

Following your message, I checked the versions on Arch of gcc and gcc-ada and they are at 10.1.0-2... Should I ask at Philip Müller to upgrade them?

xiretza commented on 2020-05-26 11:49 (UTC)

@Armag67: you're using an old gcc. Update and post pacman -Q gcc-ada

Armag67 commented on 2020-05-25 21:18 (UTC)

@xiretza

How can I transmit you the built gnatcoll-core package installed on my system? Is it the gnatcoll-core-2020-1-x86_64.pkg.tar.xz Alpm package built by makepkg? I have uploaded it at: http://armag67.dyndns.org/Ada-JVM-GNAT/gnatcoll/

Thanks

xiretza commented on 2020-05-25 17:39 (UTC)

Those source files are correct, but makepkg always checks their checksums anyway, so they were a very unlikely culprit. The built gnatcoll-core package would be much more interesting because that's what actually gets installed on your system.

Armag67 commented on 2020-05-24 21:04 (UTC) (edited on 2020-05-24 22:52 (UTC) by Armag67)

Hello xiretza,

I have created a git folder in my home, and in this folder I have launch at CLI:

git clone https://aur.archlinux.org/gnatcoll-core.git, then: cd gnatcoll-core followed by makepkg -si, and gnatcoll-core was again reinstalled without trouble.

Then I made the same with gnatcoll-gnatinspect:

git clone https://aur.archlinux.org/gnatcoll-gnatinspect.git
cd gnatcoll-gnatinspect
makepkg -si

makepkg threw the same traceback as in my previous attempts to upgrade gnatcoll-gnatinspect with pamac.

You can download the source files of gnatcoll-core and gnatcoll-gnatinspect fetched by makepkg on my personal server at: http://armag67.dyndns.org/Ada-JVM-GNAT/gnatcoll/

Thank you for your attention.

Edit: I just saw that after the failure of makepkg -si in the gnatcoll-gnatinspect folder, a new folder named pkg appears with strange access permissions:

[h2@Toshiba gnatcoll-gnatinspect]$ ls -dl */
d--x--x--x 2 h2 h2 4096 25 mai   00:12 pkg/
drwxr-xr-x 3 h2 h2 4096 25 mai   00:12 src/

When y chmod this directory it is empty...

The same pkg folder in the gnatcoll-core directory contains a lot of things.

xiretza commented on 2020-05-23 15:02 (UTC)

Ah, no support for other distros or AUR helpers. See https://wiki.archlinux.org/index.php/Arch_User_Repository for information on how to use the AUR.

Armag67 commented on 2020-05-23 14:36 (UTC) (edited on 2020-05-23 14:39 (UTC) by Armag67)

Hello xiretza,

I am using pamac with AUR support on Manjaro to install/update AUR packages but it doesn't hold the sources of AUR packages in the cache. In find only a: /tmp/pamac/aur-h2/gnatcoll-core-2020-1/ directory with a single little desc text file. (h2 is my user name)

In have also (via the AUR snapshot information contained in it's .SRCINFO file) manually downloaded the gnatcoll-core-2020-20200429-19B7C-src.tar.gz archive (1.3 Mio).

I downloaded via the same way the gnatcoll-db-20.2.tar.gz archive (2.3Mio) which contain gnatcoll-gnatinspect.

But I don't know how to install them manually.

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.