Anthony Leonardo Gracio
11672bc929
Update copyright year for GS sources
...
(no-issue-check)
2026-01-05 12:41:13 +00:00
U-EC2AMAZ-RAKCR6H\itmgr
6563481bf0
Use Virtual_String in configuration.
2025-05-21 15:31:04 +00:00
U-EC2AMAZ-RAKCR6H\itmgr
2408f13b6f
Replace by Virtual_String
2025-05-21 15:31:04 +00:00
Vadim Godunko
5408d1e122
Rename Get_Attribute function.
2024-11-13 12:59:34 +00:00
Boulanger
a413c89114
GNATSAS support
...
- Remove switches like compiler-mode
- Separate Run in 2 phases: analyze and then report
- CPL is no longer supported, reuse part of it for GNATSAS
- Handle path not yet transitioned to GNATSAS
- Create Actions and menu for GNATSAS
- Only show Codepeer when GNATSAS is not available
eng/ide/gnatstudio#54
(cherry picked from commit 36079ee283 )
2023-09-26 10:42:26 +00:00
Anthony Leonardo Gracio
41c30ab309
Update copyright year (no-tn-check)
...
Change-Id: Ie2cf22f9729f30d2228572a7296c23889be4c563
2023-01-03 11:39:28 +01:00
Maxim Reznik
ec9caf527c
Minor fix after Spawn code changes
...
Change-Id: I6f15cd01b427d6e3c918103157153ea2efe20651
no-tn-check
Change-Id: Iacd80930843e315dacf017e3e914f2f516113613
2022-12-26 15:59:47 +02:00
Vadim Godunko
18e690af40
V113-076 Use Standard_Paths and System_Environment
...
... to fix issues with non-ASCII characters in paths.
Change-Id: Iada68494d9f9339d3963ddc8002f314a734a023c
2022-01-14 13:17:57 +03: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
Anthony Leonardo Gracio
fdef1887ed
Fix dev build on Windows
...
(no-tn-check)
Change-Id: I2871cead40fb12f7e500c41a6cf8001d932b9e60
2021-11-24 17:14:26 +01:00
Maxim Reznik
10f667472a
TC17-027 Use Spawn to launch HTML browser
...
to avoid breaking the PATH. Replace GPS.Environments with
Spawn.Environments.
Change-Id: I5ae6b0033e5e7b06445ba339f0014f9a0797b096
2021-11-05 09:59:19 +00: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
Andry Ogorodnik
d9993c6c21
S903-025 Rename GPS to GNAT Studio in comments, strings
...
Depends-On: If8db363de9c59b395772b715a838e3a785b568d7
Change-Id: I509eebd12037a49e0ff751220c7f6911b7480694
2020-10-28 12:03:44 +01:00
Adrien Boulanger
1250f52abb
TA14-042: Fix typo
...
Change-Id: I29fa657ef70f50b55000ff061516093d535b5ac9
2020-10-15 17:19:06 +02:00
Adrien Boulanger
4f4904c818
Update Copyright 2019 => 2020.
...
(no-tn-check)
Change-Id: I7b854142151c6fc934c80c14dbe085e8bc7f6bb7
2020-01-07 10:45:26 +01:00
Anthony Leonardo Gracio
1315a69ec0
SA24-042: Display compiler's target in Help/About
...
We now display the compiler's target in the Help/About dialog.
This information can only be retrieved and displayed when using
GCC (-dumpmachine option).
Change-Id: I364492ac4f66ac5c4aa0439116e6d236e5014535
2019-10-29 17:54:52 +01:00
Anthony Leonardo Gracio
cfa4343250
SA26-003: Display SPARK version in Help/About dialog
...
Change-Id: Icbde7c1c6caca1f0c52a435f80c5f21c351265a2
2019-10-29 16:51:58 +01:00
Adrien Boulanger
60432310a6
(no-tn-check) Update GPS references
...
Change-Id: Ic264bc3e5889786f0ff8ae6bed64d38014d21807
2019-10-04 10:23:56 +02: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
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
Adrien Boulanger
25ae2004e8
S910-005: Update Help menus
...
The documentation has been moved/modified so update accordingly
the Help.
Change-Id: Ibb1dbebdf3e487856ce5a7b0fade00867b5de7ca
2019-09-16 10:07:58 +02:00
Nicolas Setton
41095e2018
S910-007 Rename user-visible GPS_* environment variables
...
Change-Id: I66fef53673be7088d2dd833990812a4682262fa0
2019-09-10 16:24:50 +02:00