Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: gprtools 1:25.0w-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/gprbuild.git (read-only, click to copy)
Package Base:	gprbuild
Description:	Builder for multi-language systems.
Upstream URL:	https://github.com/AdaCore/gprbuild/
Licenses:	custom, GPL3
Conflicts:	gprbuild-bootstrap
Submitter:	None
Maintainer:	charlie5
Last Packager:	charlie5
Votes:	36
Popularity:	0.058241
First Submitted:	2010-02-03 13:25 (UTC)
Last Updated:	2024-05-31 06:07 (UTC)

Dependencies (4)

gcc-ada (gcc-ada-git^AUR, gcc-ada-debug^AUR, gcc-ada-snapshot^AUR)
xmlada^AUR (xmlada-git^AUR)
gprbuild^AUR (gprbuild-git^AUR, gprbuild-bootstrap^AUR) (make)
python-sphinx (python-sphinx-git^AUR) (make)

Required by (2)

gnoga (make)
gprbuild-toolbox

Sources (4)

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 .. 5 6 7 8 9 10 11 Next › Last »

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!

Sietse commented on 2013-07-19 12:37 (UTC)

@titiwu Please try to recompile your xmlada, that should fix the problem.

titiwu commented on 2013-07-18 16:36 (UTC)

I get the following error building this package: fatal error: file dom.ali is incorrectly formatted make sure you are using consistent versions of gcc/gnatbind 7. | gnatmake: *** bind failed. My System is up to date (x86_64, gcc-ada 4.8.1-1, xmlada 4.1-3) Any suggestions?

Sietse commented on 2013-07-14 10:54 (UTC)

Updated to 2013 version so we can finally use gprinstall!

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