Package Details: gprslave 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
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 36
Popularity: 0.158066
First Submitted: 2010-02-03 13:25 (UTC)
Last Updated: 2024-05-31 06:07 (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

1 2 3 4 5 6 .. 11 Next › Last »

charlie5 commented on 2024-07-04 16:01 (UTC)

@goeb

Hi,

All the packages in the gnatstudio dependency stack are from the GNATStudio continuous release 'sources' tarball. This is the only way to build gnatstudio w/o version hell. Even using these requires several patches. These sources are also mostly the most current ones available, which work together well.

Sorry for the delay, I've been ill.

And I appreciate your thanks ! ... There are a lot of Ada packages and maintaining them isn't exactly trivial :) .

charlie5 commented on 2024-07-04 15:53 (UTC)

@gurban @LambdaBeta

Hi,

gurban, if you want to build from source then I'd suggest removing all ada packages (they will have to be rebuilt for the new gcc 14 anyway), clearing out any aur helper caches you may use and try again. I'd recommend 'yay', since that is what I use.

My unofficial ada repo is hosted on a linode and the server is built using AWS. The server sometimes drops out due to broken pipes. I've not had time to investigate and fix this but I usually check that the server is running each morning. I spent a month in hospital recently and perhaps the server died whilst I was there, when you tried.

The server is up and running now, so please try again and let me know the outcome.

LambdaBeta commented on 2024-07-04 05:09 (UTC)

@gurban I have never gotten the Ada repository to work. My AUR helpers always timeout when trying to reach www.orthanc.site:8080. Is there some secret sauce to get them to work? In the meantime, the AUR package still doesn't work for me either.

gurban commented on 2024-07-01 16:31 (UTC)

@LambdaBeta , I checked it again. The problem fixed for me. But if you have the problem, I suggest to switch to ada repository (see my other comment).

gurban commented on 2024-07-01 15:48 (UTC)

@LambdaBeta I switched to Ada repository: https://wiki.archlinux.org/title/Unofficial_user_repositories#ada

IT contains signed packages relating to the Ada and SPARK programming languages and maintained by Rod Kay rodakay5 [at] gmail [dot] com. It has gnatstudio IDE too *-;

LambdaBeta commented on 2024-07-01 00:24 (UTC)

@gurban I have the exact same issue. Have you resolved it? Any fix planned?

goeb commented on 2024-06-03 16:08 (UTC)

Are these version 25 packages final releases, or are these beta/work in progress? I'm asking because on AdaCore's Github pages the latest releases for the individual projects (or - in most cases - the latest tags) are 24.0.0, same on Alire, and the only source I could find for the 25 stuff is in the GNATStudio continuous release (marked as pre-release). Just trying to understand the release process. Thanks for maintaining.

gurban commented on 2024-03-12 02:42 (UTC) (edited on 2024-03-12 02:51 (UTC) by gurban)

I wanna install aur/gprbuild 1:24.0w-6.

gcc is 13.2.1

clang is 17.0.6

I installed gprbuild-bootstrap 1:24.0w-1 successfully. But gprbuild after successfully compiles in static build, fails in relocatable build.

I tried it manually and with the yay. Here is makepkg output.

[gmt@arch ~]$ git clone https://aur.archlinux.org/gprbuild.git
[gmt@arch ~]$ cd gprbuild
[gmt@arch gprbuild]$ makepkg -i
...
...
==> Starting build()...
gprbuild -p -m -j0 -XBUILD=production -R -cargs -march=x86-64 -mtune=generic \
         -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 \
         -fstack-clash-protection -fcf-protection -g \
         -ffile-prefix-map=/home/gmt/gprbuild/src=/usr/src/debug/gprbuild \
         -flto=auto -largs -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
         -flto=auto -gargs gpr/gpr.gpr -XLIBRARY_TYPE=static -XXMLADA_BUILD=static
Setup
   [mkdir]        object directory for project GPR
   [mkdir]        library directory for project GPR
Compile
   [C]            gpr_imports.c
   [Ada]          gpr-sinput.adb
...
...
   [Ada]          gpr-nmsc.adb
   [Ada]          gpr-compilation-slave.adb
Build Libraries
   [gprlib]       gpr-gnat.lexch
   [archive]      libgpr-gnat.a
   [index]        libgpr-gnat.a
gprbuild -p -m -j0 -XBUILD=production -R -cargs -march=x86-64 -mtune=generic \
         -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=2 \
         -fstack-clash-protection -fcf-protection -g \
         -ffile-prefix-map=/home/gmt/gprbuild/src=/usr/src/debug/gprbuild \
         -flto=auto -largs -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now \
         -flto=auto -gargs gpr/gpr.gpr -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable
Setup
   [mkdir]        object directory for project GPR
   [mkdir]        library directory for project GPR
Compile
   [C]            gpr_imports.c
   [Ada]          gpr-sinput.adb
...
...
   [Ada]          gpr-nmsc.adb
   [Ada]          gpr-compilation-slave.adb
Build Libraries
   [gprlib]       gpr-gnat.lexch
   [link library] libgpr-gnat.so
/home/gmt/gprbuild/src/gprbuild-24.0w-20230430-16222-src/gpr/libobj/production/relocatable/gpr_imports.o: file not recognized: file format not recognized
collect2: error: ld returned 1 exit status
gprlib: /usr/bin/gcc execution error
gprbuild: could not build library for project gpr
make: *** [Makefile:142: libgpr.build.shared] Error 4
==> ERROR: A failure occurred in build().
    Aborting...
[gmt@arch gprbuild]$ file /home/gmt/gprbuild/src/gprbuild-24.0w-20230430-16222-src/gpr/libobj/production/relocatable/gpr_imports.o
/home/gmt/gprbuild/src/gprbuild-24.0w-20230430-16222-src/gpr/libobj/production/relocatable/gpr_imports.o: LLVM IR bitcode

slondr commented on 2023-10-30 23:10 (UTC)

@charlie5 Yes, I am using pacaur; this is blocking a regular system update (pacaur -Syu) for me.

charlie5 commented on 2023-10-21 03:19 (UTC)

hi @slondr

Are you using an AUR helper ?