ada/learn
0
0
Fork 0
mirror of https://github.com/AdaCore/learn.git synced 2026-02-12 13:00:42 -08:00
Code Issues Packages Projects Releases Wiki Activity

Test script: fix setting main file for SPARK project

Browse Source 
Do not set the filename in case of no main file.
This commit is contained in:
gusthoff
2025-06-08 12:39:08 +02:00
parent fb2079c594
commit afd7e8916f
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
frontend/py_modules/code_projects/extract_projects.py
View File

@@ -365,7 +365,8 @@ def analyze_file(rst_file, extracted_projects_list_file=None):
if block.language == "ada":
block.project_main_file = get_main_filename(block)
if block.run_it:
block.project_main_file = get_main_filename(block)
block.spark_project_filename = write_project_file(block.project_main_file,
block.compiler_switches,
spark_mode=True)