Package Details: gnatcoll 2017-4

Git Clone URL: https://aur.archlinux.org/gnatcoll.git (read-only)
Package Base: gnatcoll
Description: Gnat components collection.
Upstream URL: http://libre.adacore.com/tools/gnat-component-collection/
Licenses: GPL
Conflicts: gnatcoll
Provides: gnatcoll
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 4
Popularity: 0.772204
First Submitted: 2015-11-07 12:54
Last Updated: 2018-04-26 14:05

Latest Comments

charlie5 commented on 2018-04-26 13:56

Thanks for the heads up sjrogers.

PROJECTS env is now explicitly unset.

sjrogers commented on 2018-04-25 20:17

Build seemingly fails if user has PROJECTS environment variable set. Unsetting PROJECTS env var leads to successful build.

charlie5 commented on 2018-02-09 02:57

The link is fixed and projects are now explicitly enabled.

vidak commented on 2018-02-08 02:49

This important mirror link for installing this package seems to be a broken link:

http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed016

It completely prevents the package from being installed.

fintatarta commented on 2017-12-24 23:17

It seems that there is another problem (maybe a consequence of the change of the sources by adacore?). The call to configure in build() in PKGBUILD is missing the option

--enable-projects

Without this option the compilation of libadalang fails because it cannot find gnatcoll-projects.ads

fintatarta commented on 2017-12-24 22:20

@juanfra

I had the same problem too. It seems that at adacore changed the file (the SHA-1 is different). I copied in PKGBUILD by hand the link and the SHA-1 from the adacore site, namely

http://mirrors.cdn.adacore.com/art/5a15c79cc7a4479a23674c66

in the first entry of the list source and

f7a0862a6fd7ac0c70a56cd3e12b48345d045995

in the first element of the list sha1sums.

DISCLAIMER: (the usual one) for me this substitution worked and allowed me to install the package. I write this because it could be useful to others, but I offer no guarantees. Try to your own risk.

juanfra commented on 2017-12-14 16:32

-> Downloading 591c45e2c7a447af2deed016... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- 0:00:01 --:--:-- 0 curl: (22) The requested URL returned error: 404 Not Found

charlie5 commented on 2017-06-09 02:53

Aphirst,

I think I have found the problem. Any existing git repo (in ~/.cache/pacaur/libgpr) was not being updated, so an old version was being used.

I've added a 'git pull' as part of prepare(), which I hope will fix the problem. I'm testing it, atm.

charlie5 commented on 2017-06-08 12:23

Aphirst,

The prob is not yet fixed, sorry. Working on it, atm.

charlie5 commented on 2017-06-08 09:35

Hi Aphirst,

There was a mixup with git repos for gprbuild & libgpr. If you reinstall, libgpr i believe the prob is now fixed.

All comments