Merge branch 'topic/disable_jit' into 'master'

Disable Truffle compilation. See merge request eng/libadalang/langkit-query-language!227
AdaCore · May 17, 2024 · 2ed3cf1 · 2ed3cf1
2 parents 067cf58 + e596a11
commit 2ed3cf1
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/lkql_jit/cli/src/main/java/com/adacore/lkql_jit/drivers/GNATCheckWorker.java b/lkql_jit/cli/src/main/java/com/adacore/lkql_jit/drivers/GNATCheckWorker.java
@@ -16,6 +16,7 @@
 import org.graalvm.launcher.AbstractLanguageLauncher;
 import org.graalvm.options.OptionCategory;
 import org.graalvm.polyglot.Context;
+import org.graalvm.polyglot.Engine;
 import org.graalvm.polyglot.Source;
 import org.graalvm.polyglot.Value;
 import picocli.CommandLine;
@@ -257,6 +258,12 @@ protected int executeScript(Context.Builder contextBuilder) {
         }
         contextBuilder.option("lkql.ruleInstances", JsonUtils.serializeInstances(instances));
 
+        contextBuilder.engine(
+                Engine.newBuilder()
+                        .allowExperimentalOptions(true)
+                        .option("engine.Compilation", "false")
+                        .build());
+
         // Create the context and run the script in it
         try (Context context = contextBuilder.build()) {
             final Source source = Source.newBuilder("lkql", checkerSource, "checker.lkql").build();