Arch Linux User Repository

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.

This package is available in the Arch Ada Repository.

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

Hi @folkertk1

I was unaware of the new debug packages. I've updated the package as you suggest. Thanks for the heads-up and the required fix.

Cheers.

Hi,

When installing using debug builds enabled in makepkg.conf (the default since This commit was merged) gprbuild fails since gprbuild-bootstrap-debug conflicts with gprbuild-debug.

Adding gprbuild-bootstrap-debug to the conflicts array in package_gprbuild, package_gprname, and package_gprtools, will fix the issue.

Regards.

@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 :) .

@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.

@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.

@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).

@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 *-;

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

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.

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