Merge branch 'topic/use_private_rules' into 'master'

Allow external rule dirs in gnatcheck driver. See merge request eng/libadalang/langkit-query-language!133
AdaCore · Nov 6, 2023 · 7a953c2 · 7a953c2
2 parents 203be2e + f52496a
commit 7a953c2
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/testsuite/drivers/gnatcheck_driver.py b/testsuite/drivers/gnatcheck_driver.py
@@ -169,7 +169,9 @@ def run(self) -> None:
         # is a copy of the original LKQL repository (which is actually what
         # happens in production: the checkout used for testing is separate
         # from that used for building).
-        gnatcheck_env["LKQL_RULES_PATH"] = ""
+        gnatcheck_env["LKQL_RULES_PATH"] = getattr(
+            self.env, "gnatcheck_rules_path", ""
+        )
         gnatcheck_env["GNATCHECK_WORKER"] = " ".join(
             self.gnatcheck_worker_exe
         )