284 Commits

Author SHA1 Message Date
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