Search Criteria
Package Details: gnat_util 2020-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/gnat_util.git (read-only, click to copy) |
---|---|
Package Base: | gnat_util |
Description: | Internal GNAT compiler components used by (at least) ASIS. |
Upstream URL: | https://libre.adacore.com/ |
Licenses: | GPL V3.0 without any Runtime Exception |
Submitter: | aayjaychan |
Maintainer: | charlie5 |
Last Packager: | charlie5 |
Votes: | 6 |
Popularity: | 0.000000 |
First Submitted: | 2013-07-27 09:44 (UTC) |
Last Updated: | 2020-10-13 05:10 (UTC) |
Dependencies (2)
- gcc-ada (gcc-ada-debug, gccrs-ada-git, gcc-ada-git)
- gprbuild (gprbuild-git) (make)
Required by (2)
- asis
- gnatcoverage-git (make)
Latest Comments
zrmyers commented on 2020-03-08 01:06 (UTC)
The source is broken for this repository.
I had to change the source variable in the PKGBUILD so that it used the following instead of the mirrors.cdn.adacore.com link:
'https://community.download.adacore.com/v1/ccd37abcc9fbbe89b782dbe789b77278cb1d3789?filename=gnat_util-2019-20190517-194CA-src'
jockej commented on 2018-04-03 12:37 (UTC)
I had the same issue as guyzmo while building some Ada code of my own. Turns out the problem is with the installation of gprbuild (or gprbuild-bootstrap) which puts the knowledge database in /usr/share while gprconfig looks for it in /share.
I solved it temporarily with a symlink, but the real solution is of course to fix the gprbuild package. I will comment there and see what happens.
guyzmo commented on 2017-03-05 22:41 (UTC)
charlie5 commented on 2016-11-30 08:23 (UTC)
sebmor commented on 2016-11-18 18:43 (UTC)
charlie5 commented on 2016-07-25 09:37 (UTC)
charlie5 commented on 2016-07-24 12:03 (UTC)
fusion809 commented on 2016-07-24 09:32 (UTC)
Visaoni commented on 2016-06-30 05:11 (UTC) (edited on 2016-07-09 07:32 (UTC) by Visaoni)
charlie5 commented on 2016-04-09 06:03 (UTC)
sitquietly commented on 2016-04-08 23:29 (UTC)
charlie5 commented on 2016-04-08 05:34 (UTC)
charlie5 commented on 2016-04-01 05:27 (UTC)
saifikhan commented on 2016-03-31 07:57 (UTC)
charlie5 commented on 2015-12-04 02:14 (UTC)
charlie5 commented on 2015-11-24 01:46 (UTC)
valexey commented on 2015-11-21 18:45 (UTC)
kaptoxic commented on 2015-11-08 04:01 (UTC)
charlie5 commented on 2015-10-18 03:43 (UTC)
kaptoxic commented on 2015-10-17 05:31 (UTC)
charlie5 commented on 2015-10-17 02:28 (UTC)
kaptoxic commented on 2015-10-13 17:18 (UTC)
kaptoxic commented on 2015-10-13 17:17 (UTC)
charlie5 commented on 2015-10-13 10:59 (UTC)
kaptoxic commented on 2015-10-12 22:40 (UTC)
kaptoxic commented on 2014-11-10 06:36 (UTC)