From c63bf50b8aa9cf636cb75e484c7d77a7750c5d96 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Stefanesco?= Date: Tue, 8 Apr 2025 14:54:05 +0100 Subject: [PATCH] chore: re-enable native compilation --- lakefile.toml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/lakefile.toml b/lakefile.toml index 13bae6a39c..9b7e8b6b14 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -1,5 +1,5 @@ name = "SSA" -# precompileModules = true # Ensure that reflective code that uses native_decide runs compiled code, not in the ir_interpreter. +precompileModules = true # Ensure that reflective code that uses native_decide runs compiled code, not in the ir_interpreter. defaultTargets = ["SSA"] [[require]] @@ -24,10 +24,6 @@ name = "SSA" name = "AliveExamples" roots = ["SSA.Projects.InstCombine.AliveAutoGenerated"] -[[lean_lib]] -name = "AliveStatements" -roots = ["SSA.Projects.InstCombine.AliveStatements"] - [[lean_lib]] name = "AliveScaling" roots = ["SSA.Projects.InstCombine.ScalingTest"]