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
e429cc205c
Sphinx: pass user-defined GNAT switches to gnatchop
2025-03-30 01:32:58 +01:00
gusthoff
1f52004781
Test script: introducing initial support for multiple toolchain installation
2024-08-10 01:22:07 +02:00
gusthoff
b56ffae5db
Test script: consolidated --extracted_projects and --build-dir switches
...
- Tested/fixed usage of either one of those switches or both.
- Tested/fixed special cases.
- Harmonized both scripts.
2023-11-25 00:59:14 +01:00
gusthoff
c1fd655171
Test script: allow reading of previous list of projects
2023-11-25 00:59:14 +01:00
gusthoff
64afd8f78b
Test script: removing useless branch
...
"block.active" is already True by default.
2023-11-25 00:59:14 +01:00
gusthoff
5e9cd3def2
Test script: using dictionary for list of projects
2023-11-25 00:59:14 +01:00
gusthoff
d342e3d7c0
Test script: removing support for default JSON file
2023-11-25 00:59:14 +01:00
gusthoff
6d41652d01
Test script: improving help message for "--extracted_projects"
2023-11-25 00:59:14 +01:00
gusthoff
5242214c3e
Test script: repurposing "-code-block-at" switch
...
- Adding support for deactivating code blocks (JSON entry: "active")
- Using "--code-block-at" to restrict code block activation to a single code
block.
- Only extracting active code blocks.
- Only checking active code blocks.
2023-11-25 00:59:14 +01:00
gusthoff
736bdadfb7
Test script: removing unused function
2023-11-25 00:59:13 +01:00
gusthoff
22cb63a9e2
Test script: removing broken switch: "--code-block"
2023-11-25 00:59:13 +01:00
gusthoff
8d6b283580
Test script: remove deprecated code
2023-11-25 00:59:13 +01:00
gusthoff
e97805e076
Test script: adding support for list of extracted projects
2023-11-25 00:59:13 +01:00
gusthoff
fbf0b6c248
Test script: JSON file was missing when continuing
2023-11-25 00:59:13 +01:00
gusthoff
a8debc638e
Test script: adding draft version of code_projects module
2023-11-25 00:59:12 +01:00
