gusthoff
|
ba58acbaf4
|
Test script: updating to GNAT FSF 15 toolchain
Installing GNAT FSF 15 in parallel to GNAT FSF 12 and GNAT FSF 14.
|
2025-06-08 15:05:43 +02:00 |
|
gusthoff
|
afd7e8916f
|
Test script: fix setting main file for SPARK project
Do not set the filename in case of no main file.
|
2025-06-08 12:39:08 +02:00 |
|
gusthoff
|
fb2079c594
|
Test script: use GNATprove 14+ command-line switches as the default
|
2025-06-08 12:37:43 +02:00 |
|
gusthoff
|
bc28bc1da6
|
Test script: only run block in case of language set to Ada
Only run GPRclean/GNATprove for Ada blocks, avoid running them for C.
|
2025-06-08 12:36:20 +02:00 |
|
gusthoff
|
4add4e4f17
|
Test script: using raw strings
|
2025-04-27 12:08:56 +02:00 |
|
gusthoff
|
e429cc205c
|
Sphinx: pass user-defined GNAT switches to gnatchop
|
2025-03-30 01:32:58 +01:00 |
|
gusthoff
|
8ebb1cbe1f
|
Test script: syntax of regular expressions
|
2025-03-22 01:14:06 +01:00 |
|
gusthoff
|
b91caffdaa
|
Test script: updating to latest GNAT-14 version
Updating to GNAT 14.2.0-1.
|
2024-09-27 21:36:03 +02:00 |
|
gusthoff
|
3a73dd57fe
|
Test script: minor update of gprbuild
Updating gprbuild to version 24.0.0-2.
|
2024-08-18 15:53:49 +02:00 |
|
gusthoff
|
534b7ef4ef
|
Test script: separate error handling for gprclean
|
2024-08-18 15:52:32 +02:00 |
|
gusthoff
|
9782c076ea
|
Test script: updating to GNAT-14 toolchain
Installing GNAT-14 in parallel to GNAT-12.
|
2024-08-17 21:11:57 +02:00 |
|
gusthoff
|
ae1d776e35
|
Test script: adding alternate command-line options for gnatprove 14
|
2024-08-17 21:10:32 +02:00 |
|
gusthoff
|
791926bad5
|
Test script: add "c-compile" class to the list
|
2024-08-17 20:29:23 +02:00 |
|
gusthoff
|
043efa0cff
|
Test script: fix check for "run/compile" button
|
2024-08-11 17:53:23 +02:00 |
|
gusthoff
|
16b549741d
|
Test script: fixing check for toolchain version selection and buttons
|
2024-08-11 16:30:51 +02:00 |
|
gusthoff
|
c7c736b42f
|
Test script: display specified toolchain version
|
2024-08-11 15:33:33 +02:00 |
|
gusthoff
|
719921bf17
|
Test script: adding check for toolchain version selection and buttons
Restriction: only allow toolchain version selection when no button is set.
|
2024-08-11 14:57:42 +02:00 |
|
gusthoff
|
489c18fe36
|
Test script: moving code to separate function
|
2024-08-11 14:54:44 +02:00 |
|
gusthoff
|
d2355de231
|
Test script: fix toolchain version initialization for block
|
2024-08-11 14:53:51 +02:00 |
|
gusthoff
|
8cd73559b5
|
Test script: storing toolchain selection mode
Toolchain selection modes: "default", "selected".
|
2024-08-11 03:45:00 +02:00 |
|
gusthoff
|
b70ab11f3b
|
Test script: using new toolchain_info module
|
2024-08-11 02:56:31 +02:00 |
|
gusthoff
|
f8a3fed308
|
Test script: adding module for toolchain information
Adding module to load toolchain information from config file.
|
2024-08-11 02:54:56 +02:00 |
|
gusthoff
|
cb46c39d16
|
Test script: adding configuration file for GNAT toolchains
|
2024-08-11 02:48:26 +02:00 |
|
gusthoff
|
cdf7afd35d
|
Test script: minor fixes
|
2024-08-10 01:22:07 +02:00 |
|
gusthoff
|
3152ad1528
|
Test script: introducing widget classes for "prove" and "compile" cases
|
2024-08-10 01:22:07 +02:00 |
|