Arch Linux User Repository

This package is available in the Arch Ada Repository.

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

This package is available in the Arch Ada Repository.

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

@xiretza

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

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.

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?

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

@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

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.

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.

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.

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.