Package Details: gnatstudio 1:24.0w-3

Git Clone URL: https://aur.archlinux.org/gnatstudio.git (read-only, click to copy)
Package Base: gnatstudio
Description: GNAT Programming Studio for Ada.
Upstream URL: https://github.com/AdaCore/gps
Licenses: GPL
Conflicts: gnat-gps, gnatstudio-bin
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 22
Popularity: 0.000000
First Submitted: 2023-06-09 07:53 (UTC)
Last Updated: 2024-04-28 09:29 (UTC)

Pinned Comments

charlie5 commented on 2023-07-09 16:42 (UTC)

This package is available in the Arch Ada Repository.

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

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

hi @GaryScottMartin,

'gnat-gps' has been recently deprecated in favour of 'gnatstudio'.

https://aur.archlinux.org/packages/gnatstudio

Regards.

Latest Comments

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

mindbound commented on 2020-11-12 06:01 (UTC) (edited on 2020-11-12 06:01 (UTC) by mindbound)

When trying to compile gnatcoll-bindings, I get the following errors (whether building the package by hand as suggested below or not):

/usr/bin/ld: /path/to/gnatcoll-bindings/src/gnatcoll-bindings-20.0-20191009-1B2EA-src/python/obj/relocatable/python_support.o: warning: relocation against `init_user_module' in read-only section `.text'
/usr/bin/ld: /path/to/gnatcoll-bindings/src/gnatcoll-bindings-20.0-20191009-1B2EA-src/python/obj/relocatable/python_support.o: relocation R_X86_64_PC32 against symbol `init_user_module' can not be used when making a shared object; recompile with -fPIC

Please advise.

xiretza commented on 2020-10-13 13:05 (UTC)

@ccorn: Ah, thanks! It's now merged upstream, I just forgot to git rm it.

ccorn commented on 2020-10-13 11:54 (UTC)

What about 0001-Use-GPR.Sinput.Reference_Name.patch? It is currently unused, but still checked in.

charlie5 commented on 2020-10-13 04:33 (UTC)

@xiretza : :) No worries. You do excellent work ! Much appreciated.

xiretza commented on 2020-10-12 14:59 (UTC)

@charlie5: sorry for reverting your commit, but there were more things wrong with it than just the gobject dependency. It was a lot simpler to revert and redo it than to pick out the things that would still be useful.

Tested this in a clean chroot, should build fine now including docs.

ccorn commented on 2020-10-12 03:29 (UTC)

Chroot build failed today due to missing pygobject.h. I had to replace the dependency python2-gobject with python2-gobject2.

charlie5 commented on 2020-09-27 04:25 (UTC) (edited on 2020-12-22 10:48 (UTC) by charlie5)

Workaround for bad line numbering => Disable 'code folding' in preferences.

To enable 'Find All References' => Append 'GPS.LSP.ADA_SUPPORT=no' to ~/.gnatstudio/traces.cfg.

To enable ptrace in gdb => $ echo 0 | sudo tee /proc/sys/kernel/yama/ptrace_scope.

A version of gcc-ada with Ada runtime exception symbols included is pending. Please visit https://bugs.archlinux.org/index.php?do=details&action=details.addvote&task_id=49895 and vote for a fix.

xiretza commented on 2020-07-25 11:10 (UTC)

@ManfredGahr: if you can reproduce the issue in a clean chroot, *please* send me all the data you can gather (snapshot of the chroot, `.src.tar.gz`, build logs, ...) and I will get right on it. But as it stands right now, I really don't have the time or interest to try to reproduce this on some dirtied system, investigate it, and then patch it.

ManfredGahr commented on 2020-07-13 13:09 (UTC)

Hello xiretza, I don't think I have a broken distribution, on my 2 Arch Linux x86_64 machines I also have to edit the _gpr_opts in gnatcoll-bindings' PKGBUILD.

One is a freshly installed (2 months old, updated weekly, no AUR packages that aren't needed for gnat-gps) VMWare image, the other is my notebook, which has also been updated frequently for the last 4 years.

I'm pretty confident that there are more users, who just don't complain and edit their PKGBUILD, just as I did until I read your answer from 2020-06-09 today, because I was wondering why this hasn't been fixed yet.

Armag67 commented on 2020-06-11 00:18 (UTC)

Hello xiretza,

Now gnat-gps 2020-3 works after rebuilding all his dependencies and building gnatcoll-python2 with Th3Fanbus's advices. But it was a pain in the ass... ;=)