Package Details: gnatcoll-gnatinspect 2020-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: GPL
Submitter: charlie5
Maintainer: charlie5 (xiretza)
Last Packager: xiretza
Votes: 3
Popularity: 0.045580
First Submitted: 2018-09-07 04:07
Last Updated: 2020-05-22 13:35

Latest Comments

1 2 Next › Last »

Armag67 commented on 2020-05-26 22:10

@xiretza

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

xiretza commented on 2020-05-26 16:26

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

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

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

Armag67 commented on 2020-05-25 21:18

@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

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

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

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

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

@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?