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

Fix project files of tests using SPARKlib

Browse Source
This commit is contained in:
Claire Dross
2024-10-28 14:53:19 +01:00
parent d2c6152429
commit c9aaace5ac
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/665__c_constant_strings_test/my_sparklib.gpr
View File

@@ -6,5 +6,5 @@ project My_SPARKlib extends "sparklib_internal" is
for Object_Dir use "sparklib_obj";
for Source_Dirs use SPARKlib_Internal'Source_Dirs;
for Source_Files use ("spark.ads", "spark-c.ads", "spark-c-constant_strings.ads", "spark-c-constant_strings.adb");
for Source_Files use ("spark__exec.ads", "spark-c.ads", "spark-c-constant_strings.ads", "spark-c-constant_strings.adb");
end My_SPARKlib;

2
tests/665__c_strings_test/my_sparklib.gpr
View File

@@ -6,5 +6,5 @@ project My_SPARKlib extends "sparklib_internal" is
for Object_Dir use "sparklib_obj";
for Source_Dirs use SPARKlib_Internal'Source_Dirs;
for Source_Files use ("spark.ads", "spark-c.ads", "spark-c-strings.ads", "spark-c-strings.adb");
for Source_Files use ("spark__exec.ads", "spark-c.ads", "spark-c-strings.ads", "spark-c-strings.adb");
end My_SPARKlib;