Merge branch 'topic/windows_wrong_runtime' into 'master'

Fix 'wrong_runtime' test for Windows systems Closes #187 See merge request eng/libadalang/langkit-query-language!174
AdaCore · Feb 15, 2024 · 7ae1236 · 7ae1236
2 parents 1f10b5d + 075250e
commit 7ae1236
Show file tree

Hide file tree

Showing 8 changed files with 31 additions and 0 deletions.
diff --git a/...s/gnatcheck_errors/wrong_runtime/main.adb → ...check_errors/wrong_runtime/linux/main.adb b/...s/gnatcheck_errors/wrong_runtime/main.adb → ...check_errors/wrong_runtime/linux/main.adb
diff --git a/...ts/gnatcheck_errors/wrong_runtime/prj.gpr → ...tcheck_errors/wrong_runtime/linux/prj.gpr b/...ts/gnatcheck_errors/wrong_runtime/prj.gpr → ...tcheck_errors/wrong_runtime/linux/prj.gpr
diff --git a/...s/gnatcheck_errors/wrong_runtime/test.out → ...check_errors/wrong_runtime/linux/test.out b/...s/gnatcheck_errors/wrong_runtime/test.out → ...check_errors/wrong_runtime/linux/test.out
diff --git a/.../gnatcheck_errors/wrong_runtime/test.yaml → ...heck_errors/wrong_runtime/linux/test.yaml b/.../gnatcheck_errors/wrong_runtime/test.yaml → ...heck_errors/wrong_runtime/linux/test.yaml
@@ -8,3 +8,7 @@ rules:
   - +Rrecursive_subprograms
 extra_args:
   - --RTS=unknown
+control:
+  - [SKIP,
+     "os == 'windows'",
+     "Disable this test on Windows systems due to target formatting"]
diff --git a/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/main.adb b/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/main.adb
@@ -0,0 +1,6 @@
+with Ada.Text_IO;  use Ada.Text_IO;
+
+procedure Main is
+begin
+   Put_Line ("Hello");
+end Main;
diff --git a/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/prj.gpr b/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/prj.gpr
@@ -0,0 +1,2 @@
+project Prj is
+end Prj;
diff --git a/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/test.out b/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/test.out
@@ -0,0 +1,5 @@
+testsuite_driver: No output file generated by gnatcheck
+gnatcheck: kb: warning: can't find a toolchain for the following configuration: language 'Ada', target 'x86_64-windows', runtime 'unknown'
+gnatcheck: "prj.gpr" processing failed
+try "gnatcheck --help" for more information.
+>>>program returned status code 2
diff --git a/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/test.yaml b/testsuite/tests/gnatcheck_errors/wrong_runtime/windows/test.yaml
@@ -0,0 +1,14 @@
+# Expected behavior here is that runtime files for Ada.Text_IO are not found,
+# because libgpr doesn't warn when a runtime doesn't exist, but no runtime
+# files will be found
+
+driver: gnatcheck
+project: prj.gpr
+rules:
+  - +Rrecursive_subprograms
+extra_args:
+  - --RTS=unknown
+control:
+  - [SKIP,
+     "os != 'windows'",
+     "Disable this test on non-Windows systems due to target formatting"]