This package is available in the Arch Ada Repository.
https://wiki.archlinux.org/title/Ada
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) |
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.
Pinned Comments
charlie5 commented on 2023-07-09 16:34 (UTC)
This package is available in the Arch Ada Repository.