gpr-query
- Description
- Minor mode for navigating sources using gpr_query
- Latest
- gpr-query-1.0.4.0.20231018.92052.tar (.sig), 2024-Mar-31, 170 KiB
- Maintainer
- Stephen Leake <stephen_leake@member.fsf.org>
- Atom feed
- gpr-query.xml
- Website
- https://elpa.gnu.org/packages/gpr-query.html
- Browse repository
- CGit or Gitweb
- Badge
- Manual
- gpr-query
To install this package from Emacs, use package-install or list-packages.
Full description
Emacs gpr-query version 1.0.4 gpr-query provides an emacs xref backend using the cross-reference information output by the AdaCore GNAT compiler. gpr-query uses a separate executable provided as Ada source code that must be compiled and installed, either directly or using the Alire package tool: cd ~/.emacs.d/elpa/gpr-query-i.j.k ./build.sh ./install.sh install.sh can take an option "--prefix=<dir>" to set the installation directory. Both shell scripts use Alire if the 'alr' executable is found in PATH. See gpr-query.info section Installation for more information on installing; if not using Alire, you may need additional packages.
Old versions
| gpr-query-1.0.3.0.20230128.112055.tar.lz | 2023-Jan-28 | 36.6 KiB |
| gpr-query-1.0.2.0.20230105.140828.tar.lz | 2023-Jan-12 | 37.4 KiB |
| gpr-query-1.0.1.0.20221221.80150.tar.lz | 2022-Dec-21 | 37.4 KiB |
| gpr-query-1.0.1.0.20221213.164029.tar.lz | 2022-Dec-15 | 37.5 KiB |
| gpr-query-1.0.1.0.20221212.224615.tar.lz | 2022-Dec-13 | 37.5 KiB |
| gpr-query-1.0.1.0.20221206.155149.tar.lz | 2022-Dec-07 | 37.5 KiB |
| gpr-query-1.0.1.0.20221106.63937.tar.lz | 2022-Nov-06 | 37.8 KiB |
| gpr-query-1.0.1.0.20221105.22024.tar.lz | 2022-Nov-05 | 37.7 KiB |
News
GNU Emacs gpr-query NEWS -- history of user-visible changes. Copyright (C) 2023 Free Software Foundation, Inc. Please send gpr-query bug reports to bug-gnu-emacs@gnu.org, with 'gpr-query' in the subject. If possible, use M-x report-emacs-bug. * gpr-query 1.0.4 15 Sep 2023 ** Minor fixes, require wisi 4.3.0. * gpr-query 1.0.3 28 Jan 2023 ** Fix Alire build ** ELPA packaging fix. * gpr-query 1.0.2 5 Jan 2023 ** Minor fixes. * gpr-query 1.0.1 1 Nov 2022 ** Split out from ada-mode