24 Commits

Author SHA1 Message Date
Nicolas Setton
513438ffd6 Call the build mode "Coverage" rather than "cov"
For homogeneity with other modes.
2025-04-25 09:42:14 +00:00
Nicolas Setton
c67b86e41b Add a build mode for coverage information
Initial change to introduce a "cov" build mode.

For #457
2025-04-25 09:42:14 +00:00
Vadim Godunko
130223fa89 Rename GNATdoc executable to gnatdoc3. 2023-09-27 17:16:20 +04:00
Vadim Godunko
dc3a0347a0 Revert "Remove GNATdoc source code."
This reverts commit db73522c8e.
2023-09-27 16:56:34 +04:00
Vadim Godunko
db73522c8e Remove GNATdoc source code. 2023-09-13 10:03:22 +00:00
Nicolas Setton
78b91f191d V317-010 Integration of adareducer
Add a mode to gnatstudio_cli to support adareducer.
Add a dependency from gnatstudio_cli to libadalang,
so that the Python interpreter finds the libadalang dll.

Add a test.

Add menus to help users with the adareducer workflow.

Add the documentation.

Change-Id: I619054f9598ce30b8c74912fdddc55b8dfe22b93
2022-11-22 15:13:00 +00:00
Nicolas Setton
b6badab8cf U514-015 Minor adaptations to support AddressSanitizer mode
Avoids some extraneous recompilations.

Change-Id: I640f555d24a3465ecdda4ac005b956d93f1e7d87
2021-06-30 16:56:28 +02:00
Andry Ogorodnik
2cd6deb874 S904-001 Rename "gps" dir to "gnatstudio".
Change-Id: I11fdb02fbf485caa208efc0471fdfa1007fe8ca9
2019-09-11 14:42:44 +02:00
Anthony Leonardo Gracio
9bd0aab187 S903-024: Rename gps executable to gnatstudio
And do a first basic pass on the documentation
(the GNAT Programming Studio -> GNAT Studio).

Change-Id: I8bd03d5d66278741b0a4716fc41efbe435a7ecb4
2019-09-09 15:05:15 +02:00
Andry Ogorodnik
a6dbc5e8a7 PB02-019 (1/3) Correcting for Documentation_Dir attribute
Also obsolete attribute was removed from IDE package

Change-Id: I432e142960d5f2398db9e88e305473afebcaeea3
2016-11-11 17:48:01 +01:00
Thomas Quinot
12ca3de2af Add dependency on new project gnatcoll_xref
Note: needs to be coordinated with corresponding change in gnatcoll

New submission of change for P620-027 (2/2)

Change-Id: I91ce07697979a3a3a88dfb940e1943ce47629370
2016-08-30 17:36:26 +02:00
Andry Ogorodnik
521ceccf9c Revert "Add dependency on new project gnatcoll_xref"
This reverts commit 7d764aa37a.

Change-Id: I05205e9369c7dd4b0a3ae6029cc6c89f18f96ad5
2016-08-12 20:15:36 +02:00
Thomas Quinot
7d764aa37a Add dependency on new project gnatcoll_xref
P620-027 (2/2)

Change-Id: I6fe43bf30229e81e1de2b09e935ac8aa53b7fe5a
2016-08-12 17:31:42 +02:00
Emmanuel Briot
ea3c90439a Minor rewrite of the project files
Use Switches rather than Default_Switches (which has been obsolete
for a while now).
In shared.gpr, add support for enabling link-time-optimization and
removal of unused subprograms. This is not supported
on Windows for now.

Add a new OS for "osx", since the linker switches are different.

OA15-011 (1/2)


Change-Id: I72371631eefd18cf88442c969c805e0258f4ba6e
2015-10-20 08:54:43 +02:00
Nicolas Setton
5177ac1d61 Rearrange projects and switches
... to make sure that gps_cli and gnatdoc can be invoked without
having to set LD_LIBRARY_PATH or use a wrapper.

(Makefile.in): make clean should also clean up in cli.
(cli/Makefile): add target 'clean'

(cli/cli.gpr): do not import Shared linker switches, not needed,
 and unnecessarily drag the clang dll.

Move the import of libclang from kernel_core to kernel.

Move the gtk+ C switches from shared.gpr to widgets.gpr, since
they are only useful there.

For O924-012.

Change-Id: Id0df3473d968d1f539886f3041cd6c64e11a1e06
2015-09-30 12:30:10 -04:00
Nicolas Setton
2ffc41a37d Add a documentation package and an attribute Ignored_Subproject.
Allowed by the work on J811-002


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@224056 936e1b1b-40f2-da11-902a-00137254ae57
2014-03-04 20:42:28 +00:00
Nicolas Setton
76b8dadde7 MA07-060:
- mechanical rename of "docgen3" to "gnatdoc"
  - rename cli/src/gnatdoc.adb to gnatdoc_main to avoid collision
  - adjust Makefile accordingly
  - disconnect the docgen2 engine from gnatdoc completely


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@217312 936e1b1b-40f2-da11-902a-00137254ae57
2013-10-15 18:29:34 +00:00
Nicolas Setton
04853b5924 Rename docgen to gnatdoc.
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@215490 936e1b1b-40f2-da11-902a-00137254ae57
2013-09-11 20:28:37 +00:00
Nicolas Setton
d0e9e96069 New main: docgen.
For M910-031.


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@215417 936e1b1b-40f2-da11-902a-00137254ae57
2013-09-10 21:55:31 +00:00
Maxim Reznik
687ee23810 Make <project_attribute> customization available in GPS_CLI.
For M719-023


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@213508 936e1b1b-40f2-da11-902a-00137254ae57
2013-07-30 11:37:59 +00:00
Maxim Reznik
3096d6ade4 * gps-cli_scripts.adb
Add process_project_with_docgen() script command

* gps-cli_utils.adb
Add Ada language registration

For M527-048


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@211704 936e1b1b-40f2-da11-902a-00137254ae57
2013-06-20 10:52:54 +00:00
Maxim Reznik
fee4860914 Add builder initialization for M228-028
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@208961 936e1b1b-40f2-da11-902a-00137254ae57
2013-04-30 14:30:58 +00:00
Automatic merge
e06c2a9fec Merge changes from trunk.
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@202977 936e1b1b-40f2-da11-902a-00137254ae57
2013-02-21 16:37:08 +00:00
Automatic merge
903115f263 ------------------------------------------------------------------------
r202907 | reznik | 2013-02-20 17:36:01 +0100 (Wed, 20 Feb 2013) | 2 lines

Add CLI directory and stub files. For LB21_009

------------------------------------------------------------------------


git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/global/gtk3/gps@202908 936e1b1b-40f2-da11-902a-00137254ae57
2013-02-20 16:37:07 +00:00