Package Details: gprbuild 1:25.0w-1

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, gprbuild-bootstrap-debug
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 36
Popularity: 0.006727
First Submitted: 2010-02-03 13:25 (UTC)
Last Updated: 2025-02-05 03:16 (UTC)

Dependencies (3)

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

GaryScottMartin commented on 2023-06-15 11:14 (UTC)

@Charlie5,

The clean build generated the same error again. It was able to successfully build and install gprbuild-bootstrap, xmlada, and libgpr, but reported that 

:: gprtools and gprbuild-bootstrap are in conflict. Remove gprbuild-bootstrap? [y/N]

I have been waiting for Pastebin to finish its save of the log file. It just finished and the log is here: https://pastebin.com/TLANzRgY

Regards,

Gary

charlie5 commented on 2023-06-15 11:14 (UTC) (edited on 2023-06-15 11:15 (UTC) by charlie5)

tfl5034

Yep, 'which' is superfluous and now removed. Cheers.

charlie5 commented on 2023-06-15 10:57 (UTC)

@GaryScottMartin

Great news, thanks for the prompt reply.

Gnatstudio should also now builds/installs ok (with all the bells/whistles) from source and using Arch's native python, if you happen to use Gnatstudio.

Also, I am on #ada on 'irc.libera.chat' server, if you happen to like IRC. It's a friendly channel and even has a few Adacore people present :). Also makes for much quicker issue/response times. So please feel free to drop in :).

Regards.

GaryScottMartin commented on 2023-06-15 10:38 (UTC)

@charlie5,

Initially, I got the same result again: incompatibility between gprbuild and gprbuild-bootstrap. However, the build was using the previously built packages from the cache(s) even though they had been uninstalled by Pacman (or yay). I have since uninstalled xmlada and gprbuild-bootstrap and cleared the Pacman and yay caches. Everything is clean building now.

Regards.

charlie5 commented on 2023-06-15 10:12 (UTC)

@GaryScottMartin @tfl5034

Sorry for the delay and inconvenience. We're in the middle of updating all of the gnatstudio package stack to the latest versions (24.0w).

Could you please try this ...

$ yay -Rsc xmlada
$ yay -S gprbuild-toolbox

Regards.

tfl5034 commented on 2023-06-15 05:45 (UTC)

@charlie5, I think you resolved the issue I mentioned earlier. Now I am seeing the same error as @GaryScottMartin.

As a side-note, I think the which dependency is unnecessary as it's pulled in by base-devel which is assumed to be installed.

GaryScottMartin commented on 2023-06-14 00:18 (UTC) (edited on 2023-06-14 00:26 (UTC) by GaryScottMartin)

The gprtools repository is now empty, so after successfully installing xmlada and gprbuild-bootstrap with makepkg and successfully installing libgpr with yay, both yay and makepkg still fail to install gprbuild with the message that gprbuild-bootstrap and gprbuild are in conflict. The complete log for the makepkg attempt is here: https://pastebin.com/A6e6n6Va. The log from the successful build of gprbuild-bootstrap with makepkg is here: https://pastebin.com/YPZA4n49.

GaryScottMartin commented on 2023-06-13 23:29 (UTC) (edited on 2023-06-13 23:49 (UTC) by GaryScottMartin)

I have been trying to reinstall the GNAT packages after removing them a while ago. My attempts with yay all fail because it tells me either that gprbuild conflicts with gprbuild-bootstrap or that gprbuild conflicts with gprtools. Neither removing the conflict nor ignoring it results in a successful build. Consequently, I have fallen back to installing packages from the AUR one at a time with makepkg in order of required dependencies. Installing libgpr with makepkg after successful installs of gprbuild-bootstap and xmlada results in a compile failure:

   compilation of gpr-util.adb failed
   compilation of gpr.adb failed
   compilation of gpr-tree.adb failed

gprbuild: *** compilation phase failed

The complete log is here: https://pastebin.com/sv86KYqJ

I was able to successfully install libgpr with yay. It downloads the gprbuild package, rather than the libgpr package.

charlie5 commented on 2023-06-12 12:20 (UTC)

Hi @tfl5034,

Hmm, I don't see any references to the old filesystem url's in the PKGBUILD on the AUR page. Updating source info showed no change from what has already been committed. Can you pastebin the build log, please?

Regards.

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