Package Details: gprtools 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
Submitter: None
Maintainer: charlie5
Last Packager: charlie5
Votes: 36
Popularity: 0.093036
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

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

gbabin commented on 2018-09-09 08:39 (UTC)

@charlie5 you are correct

I had to build xmlada then libgpr then gprbuild.

You should change the dependency to depends=('libgpr>=2018'), then that would be automatic. The issue is the same for all gnatcoll/gpr/gps 2018 packages.

Also, do not add pkgname to the provides array, as it is done automatically.

Finally, it seems very weird to have the pkgname in the conflicts array.

Thank you for all the Ada-related packages !

charlie5 commented on 2018-09-09 08:05 (UTC)

hi gbabin ... can you try rebuilding and reinstalling xmlada.

gbabin commented on 2018-09-07 19:36 (UTC)

I have the following error when building this package:

==> Starting build()...
gprbuild -p -m   -j4 -XBUILD=production -R gprbuild.gpr -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable -cargs -march=x86-64 -mtune=generic -O2 -pipe -fstack-protector-strong -fno-plt -largs -Wl,-O1,--sort-common,--as-needed,-z,relro,-z,now
Setup
   [mkdir]        object directory for project GPR
   [mkdir]        library directory for project GPR
   [mkdir]        object directory for project Gprbuild
   [mkdir]        exec directory for project Gprbuild
Compile
   [Ada]          gprconfig-main.adb
...
   [Ada]          gprls.adb
Build Libraries
   [gprlib]       gpr.lexch
   [link library] libgpr.so
Bind
   [gprbind]      gprconfig-main.bexch
   [Ada]          gprconfig-main.ali
   [gprbind]      gprbuild-main.bexch
   [gprbind]      gprclean-main.bexch
   [Ada]          gprbuild-main.ali
   [Ada]          gprclean-main.ali
   [gprbind]      gprinstall-main.bexch
   [Ada]          gprinstall-main.ali
error: "dom.ads" and "gprconfig-main.adb" compiled with different GNAT versions             +
error: "dom-core.adb" and "gprconfig-main.adb" compiled with different GNAT versions        + many similar errors
error: "sax.ads" and "gprconfig-main.adb" compiled with different GNAT versions             +
error: "sax-encodings.ads" and "gprconfig-main.adb" compiled with different GNAT versions   +
...
gprbind: invocation of gnatbind failed
...
error: "sax-state_machines.adb" must be compiled                                                     + many similar errors
error: ("/usr/lib/xmlada/xmlada_sax.relocatable/sax-state_machines.ali" is obsolete and read-only)   +
gprbind: invocation of gnatbind failed
   binding of gprconfig-main.adb failed
   binding of gprclean-main.adb failed
   binding of gprbuild-main.adb failed
   binding of gprinstall-main.adb failed
gprbuild: *** post compilation phase failed
make: *** [Makefile:103: build] Error 4

charlie5 commented on 2017-05-09 04:14 (UTC)

Thanks for the tip Chocimier. I've added prepare_gnat_util as a dependency.

Chocimier commented on 2017-05-01 13:56 (UTC)

That package fails to build without prepare_gnat_util installed. Error log is like: gcc -c -fPIC -gnat12 -gnaty -gnatQ -gnata -O2 -gnatn -gnatws -g1 gpr-dect.adb gcc -c -fPIC -gnat12 -gnaty -gnatQ -gnata -O2 -gnatn -gnatws -g1 gpr-nmsc.adb gprlib gpr.lexch gcc -shared -o /path/libgpr/src/gprbuild/gpr/lib/production/relocatable/libgpr.so ... /path/libgpr/src/gprbuild/gpr/libobj/production/relocatable/gpr-com.o ... /usr/bin/ld: cannot find -lgnat-6.3 collect2: error: ld returned 1 exit status gprlib: /usr/bin/gcc execution error gprbuild: could not build library for project gpr make: *** [Makefile:135: libgpr.build.shared] Error 4 ==> ERROR: A failure occurred in build(). Aborting...

charlie5 commented on 2016-11-30 07:18 (UTC)

Georgios, The problem should now be fixed in PKGBUILD.

charlie5 commented on 2016-11-30 06:54 (UTC)

Hi Georgios, Thanks for pointing this out. This error occurs when the 'src' directory already exists. I will try to fix this in the PKGBUILD. In the meantime, doing the following should allow the package to build ... $ rm -fr src/ Regards.

Georgios commented on 2016-11-29 23:44 (UTC)

The package build fails with the following message: ==> Connecting to GIT server.... You are not currently on a branch. Please specify which branch you want to merge with. See git-pull(1) for details. git pull <remote> <branch>

charlie5 commented on 2016-06-06 00:15 (UTC)

The obsolete 'Makefile.archy' file has been removed, along with all references to it. Should build ok now.

ids1024 commented on 2016-06-05 16:37 (UTC)

Makefile.archy needs to be added to the src array in the PKGBUILD.