Nicolas Setton
7e7831a467
adareducer: do not interpret backslashes in args
...
When using a directory such as "C:\User", we didn't properly
escape this and Python tried to decode the \U into an unicode
characters.
Use raw strings to avoid this problem.
Augment the adareducer test to check this.
For eng/ide/adareducer#40
2024-05-16 10:59:25 +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
Anthony Leonardo Gracio
41c30ab309
Update copyright year (no-tn-check)
...
Change-Id: Ie2cf22f9729f30d2228572a7296c23889be4c563
2023-01-03 11:39:28 +01: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
Vadim Godunko
82bb203c98
Cleanup unused code.
...
(no-tn-check)
Change-Id: I3f65b1221987c6cf89953b8fd52af7d7807a1bc4
2022-11-17 14:59:28 +00:00
Anthony Leonardo Gracio
363fbebff5
V103-022: Fix warnings on edge
...
Change-Id: I235bde9067e4f28e22d987faea7746063c3151fb
2022-01-10 15:09:38 +00:00
Anthony Leonardo Gracio
af4c8f2d41
Update copyright year
...
(no-tn-check)
(no-precommit-check)
Change-Id: Id71d3f84cd6ab219a37821da1460038f4eea525c
2022-01-03 15:09:31 +01: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
Anthony Leonardo Gracio
63c2e9d9c9
Update copyright year
...
(no-tn-check)
(no-precommit-check)
Change-Id: I50abdaba131d76d914f1df9a53f013ec8f48ca68
2021-01-11 17:22:37 +01:00
Anthony Leonardo Gracio
ae4f64a7a7
T909-006: Fix warnings with current GNAT
...
Change-Id: If0e02b998b8327777d8cac2a7b2436a9eed141cc
2020-09-09 18:05:05 +02:00
Adrien Boulanger
4f4904c818
Update Copyright 2019 => 2020.
...
(no-tn-check)
Change-Id: I7b854142151c6fc934c80c14dbe085e8bc7f6bb7
2020-01-07 10:45:26 +01:00
Adrien Boulanger
95a08d7c89
SA02-038: Add %fo macro to get the list of opened files
...
Move File_Sets type from GPS.Kernel to Basic_Types.
Add a test.
Change-Id: I16123f10a1cc6eb31dcc2f61ab7211a7eca85394
2019-10-29 10:46:51 +01:00
Andry Ogorodnik
380288c874
S904-001 Rename "gps" dir to "gnatstudio". Stage Two.
...
(no-precommit-check)
Change-Id: I6397db3ce8f1cd853cbcad4b7dfa05555d7f1971
2019-09-24 11:20:20 +02:00
Anthony Leonardo Gracio
4889494438
S910-033: Tentative fix for doc
...
Change-Id: Ic43720c319cd70142a19552e3330cf7ad837694d
2019-09-23 15:16:34 +02:00
Nicolas Setton
0a05e5ed97
Revert "Revert "Revert "S904-001 Rename "gps" dir to "gnatstudio". Stage Two."" "
...
This reverts commit 1a0259b874 .
Change-Id: I4385c0fca6e3c0885179b807f9d8d6196cd9186a
2019-09-20 18:37:28 -04:00
Andry Ogorodnik
1a0259b874
Revert "Revert "S904-001 Rename "gps" dir to "gnatstudio". Stage Two.""
...
This reverts commit f670ab5796 .
Change-Id: Ib7385727834f2d4e97a9490ecb7d7fd305b03f95
2019-09-20 11:20:53 +02:00
Anthony Leonardo Gracio
f670ab5796
Revert "S904-001 Rename "gps" dir to "gnatstudio". Stage Two."
...
This reverts commit 8370e8547a .
Change-Id: I49594e47e24de855c933dcf51c170aad49538882
2019-09-19 18:00:51 +02:00
Andry Ogorodnik
8370e8547a
S904-001 Rename "gps" dir to "gnatstudio". Stage Two.
...
(no-precommit-check)
Change-Id: Ide5a0d0f9137888e61a2bb67a0a500aa2690a447
2019-09-19 16:44:27 +02:00
Anthony Leonardo Gracio
b571ffe879
S904-003: Rename .gps directory and keys6.xml file
...
And add a mechanism to copy the old .gps directory to .gnatstudio
the first time. Rename keys6.xml to keys.xml when importing the old
.gpr directory.
Change-Id: I1e1ea2c123ae772a547561737e2309d4c081f239
2019-09-11 18:41:03 +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
Nicolas Setton
d39a93eff9
S904-002 replace GPS by GNAT Studio in file headers
...
Change-Id: Icee628af75e0f1bd471a627c987b8024d999eb4b
2019-09-09 12:39:04 +02:00
Adrien Boulanger
7c1942dc42
RA08-020: Use the libexec gnathub in the build targets
...
Change-Id: I07ca04d749835deefd954ebf756e7d19d7acdb69
2019-08-20 17:27:23 +02:00