Package Base Details: gprbuild

Git Clone URL: https://aur.archlinux.org/gprbuild.git (read-only, click to copy)
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 35
Popularity: 0.27
First Submitted: 2010-02-03 13:25 (UTC)
Last Updated: 2023-10-17 23:51 (UTC)

Pinned Comments

charlie5 commented on 2023-09-16 01:56 (UTC)

hi @wvxvw

Apologies for these problems.

Can you please try the following ...

$ pamac build gprbuild-bootstrap
$ pamac build xmlada
$ pamac build gprbuild gprbuild-toolbox

I've also redirected the doc build output to a log file.

Also, the Ada packages are now available in an unofficial Arch repository.

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

Thanks for reporting.

Regards.

charlie5 commented on 2023-07-09 16:43 (UTC) (edited on 2023-09-16 01:56 (UTC) by charlie5)

This package is available in the Arch Ada Repository.

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

Latest Comments

« First ‹ Previous 1 .. 4 5 6 7 8 9 10 Next › Last »

charlie5 commented on 2016-02-01 00:32 (UTC)

Hi ids1024, What does this show ? $ gcc --version

ids1024 commented on 2016-01-30 17:56 (UTC)

Trying to use gprbuild, I am getting the error "/usr/bin/ld: cannot find -lgnat-5.3"

charlie5 commented on 2015-11-21 09:09 (UTC)

Source URL is now updated. It seems several of the Adacore packages source URL's have changed. The other packages should be updated now also.

valexey commented on 2015-11-20 20:09 (UTC)

Thanks! It helps.

Dettorer commented on 2015-11-20 18:43 (UTC)

Changing the source url of gprbuild to http://mirrors.cdn.adacore.com/art/564b3e2ec8e196b040fbd13a should fix it.

valexey commented on 2015-11-20 08:57 (UTC)

It looks like url is invalid now: $ makepkg -si ==> Making package: gprbuild 2015-1 (Fri Nov 20 11:56:50 UTC 2015) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Downloading 3c2da2f1d3335d39bc9ebb65a3a58264ddac6d41... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0curl: (22) The requested URL returned error: 404 Not Found ==> ERROR: Failure while downloading 3c2da2f1d3335d39bc9ebb65a3a58264ddac6d41 Aborting...

Georgios commented on 2014-07-29 17:17 (UTC)

Is this truly out of date? Because the 2014 GPL version doesn't build with FSF's gnat.

<deleted-account> commented on 2013-07-28 06:01 (UTC)

fails for other localizations than english. please add this patch: https://gist.github.com/oenone/6097591

aayjaychan commented on 2013-07-27 07:48 (UTC)

The package installs gprbind and gprlib in /usr/libexec/gprbuild. Is it possible to patch it to use /usr/lib/gprbuild instead?

titiwu commented on 2013-07-22 17:56 (UTC)

Thanks, that helped!

« First ‹ Previous 1 .. 4 5 6 7 8 9 10 Next › Last »